103 search results - page 1 / 21 » Transforming BPEL to Petri Nets |
BPM
2005
Springer
13 years 10 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
BPM
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
TSMC
2010
12 years 11 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
IHIS
2005
ACM
13 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
DASFAA
2007
IEEE
13 years 11 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...