Sciweavers

Share
27 search results - page 1 / 6
» Model-Based Analysis of Obligations in Web Service Choreogra...
Sort
View
AICT
2006
IEEE
210views Communications» more  AICT 2006»
9 years 5 months ago
Model-Based Analysis of Obligations in Web Service Choreography
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...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICIW
2008
IEEE
9 years 5 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
DEXAW
2008
IEEE
161views Database» more  DEXAW 2008»
9 years 5 months ago
Model-Based QoS-Enabled Self-Healing Web Services
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...
Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria...
POPL
2012
ACM
7 years 7 months ago
Deciding choreography realizability
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...
Samik Basu, Tevfik Bultan, Meriem Ouederni
WETICE
2005
IEEE
9 years 5 months ago
Towards a formal framework for Choreography
— 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 ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
books