255 search results - page 20 / 51 » Checking Session-Oriented Interactions between Web Services |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
EPK
2006
14 years 10 days ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
JWSR
2007
13 years 10 months ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
WETICE
2005
IEEE
14 years 4 months ago
2005
IEEE
— 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 ...