314 search results - page 42 / 63 » An Object-Oriented Approach to GI Web Service Composition |
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
JCIT
2010
13 years 2 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
SWAP
2007
13 years 8 months ago
2007
The use of Semantic Web Services (SWS) for increasing agility and adaptability in process execution is currently investigated in many settings. The common underlying idea is the dy...
ICDCSW
2007
IEEE
13 years 11 months ago
2007
IEEE
Currently, flexible service compositions are invoked in a centralised manner by process execution engines. Although this approach is widely used for orchestrating web services, it...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...