4286 search results - page 33 / 858 » Formalizing Service Interactions |
COORDINATION
2007
Springer
14 years 2 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
IFM
1999
Springer
14 years 22 days ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
ENTCS
2007
13 years 8 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...