26 search results - page 1 / 6 » Model-Based Analysis of Obligations in Web Service Choreogra... |
AICT
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
ICIW
2008
IEEE
13 years 10 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
DEXAW
2008
IEEE
13 years 10 months ago
2008
IEEE
Failures during web service execution may depend on a wide variety of causes, such as network faults, server crashes, or application-related errors, such as unavailability of a re...
POPL
2012
ACM
11 years 12 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
WETICE
2005
IEEE
13 years 10 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...