Sciweavers

173 search results - page 4 / 35
» Notations for the Specification and Verification of Composit...
Sort
View
BPM
2006
Springer
139views Business» more  BPM 2006»
13 years 9 months ago
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
Stephen Gorton, Stephan Reiff-Marganiec
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
13 years 9 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
ENTCS
2006
146views more  ENTCS 2006»
13 years 5 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
13 years 11 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...
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
14 years 5 months ago
A snapshot of public web services
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
Jianchun Fan, Subbarao Kambhampati