Sciweavers

4286 search results - page 21 / 858
» Formalizing Service Interactions
Sort
View
ASWC
2008
Springer
13 years 10 months ago
A Formal Model for Classifying Trusted Semantic Web Services
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...
Stefania Galizia, Alessio Gugliotta, Carlos Pedrin...
IMPERIAL
1994
14 years 16 days ago
An Internal Language for Interaction Categories
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
KESAMSTA
2010
Springer
13 years 6 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 10 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
ER
2010
Springer
135views Database» more  ER 2010»
13 years 7 months ago
Adaptation in Open Systems: Giving Interaction Its Rightful Place
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, J...