20 search results - page 3 / 4 » Compatibility Analysis and Mediation-Aided Composition for B... |
ACMICEC
2005
ACM
15 years 5 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
107
Voted
ICWS
2008
IEEE
15 years 26 days ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
84
Voted
AIPS
2006
15 years 25 days ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
77
Voted
WWW
2006
ACM
16 years 3 days ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...