Sciweavers

255 search results - page 2 / 51
» Checking Session-Oriented Interactions between Web Services
Sort
View
CSAC
2006
13 years 6 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
GCC
2003
Springer
13 years 10 months ago
Interaction Compatibility: An Essential Ingredient for Service Composition
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...
Jun Han
ESWS
2005
Springer
13 years 10 months ago
Optimally Distributing Interactions Between Composed Semantic Web Services
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
Ion Constantinescu, Walter Binder, Boi Faltings
APCCM
2006
13 years 6 months ago
ServiceMosaic project: modeling, analysis and management of web services interactions
This paper provides an overview of ServiceMosaic, which is a platform for model-driven analysis and management of service interactions. In particular, in this paper, we focus on b...
Boualem Benatallah, Hamid R. Motahari Nezhad
ENTCS
2006
206views more  ENTCS 2006»
13 years 4 months ago
An Overview of Semantic Web Services Composition Approaches
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...
Yasmine Charif, Nicolas Sabouret