24 search results - page 1 / 5 » Semantics Based Verification and Synthesis of BPEL4WS Abstra... |
ICWS
2004
IEEE
13 years 5 months ago
2004
IEEE
WWW
2005
ACM
13 years 10 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
AICT
2006
IEEE
13 years 10 months ago
2006
IEEE
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...
GLVLSI
2007
IEEE
13 years 8 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
BPM
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...