7 search results - page 1 / 2 » Validation and verification of Web services choreographies b... |
49
Voted
JLP
2011
14 years 4 months ago
2011
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
61
Voted
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
AICT
2006
IEEE
15 years 3 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...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...