Formal semantics and analysis of control flow in WS-BPEL

Ouyang, Chun; Verbeek, Eric; Aalst, Wil M. P. van der; Breutel, Stephan; Dumas, Marlon; Hofstede, Arthur H. M. ter

doi:10.1016/j.scico.2007.03.002

Cited by 287 publications

(189 citation statements)

References 7 publications

Supporting

Mentioning

174

Contrasting

Unclassified

Order By: Relevance

“…Some advocate the use of finite state machines [18,19], others process algebras [16,26], and yet others abstract state machines [14,15] or Petri nets [33,30,38,40]. For a detailed analysis of BPEL based on the workflow patterns [7] we refer to [45].…”

Section: Related Workmentioning

confidence: 99%

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

Lassen

Aalst

2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

View full text Add to dashboard Cite

Abstract. This paper presents WorkflowNet2BPEL4WS a tool to automatically map a graphical workflow model expressed in terms of Workflow Nets (WF-nets) onto BPEL. The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes and is supported by an increasing number of systems (cf. the IBM WebSphere Choreographer and the Oracle BPEL Process Manager). While being a powerful language, BPEL is difficult to use. Its XML representation is very verbose and only readable for the trained eye. It offers many constructs and typically things can be implemented in many ways, e.g., using links and the flow construct or using sequences and switches. As a result only experienced users are able to select the right construct. Some vendors offer a graphical interface that generates BPEL code. However, the graphical representations are a direct reflection of the BPEL code and not easy to use by end-users. Therefore, we provide a mapping from WF-nets to BPEL. This mapping builds on the rich theory of Petri nets and can also be used to map other languages (e.g., UML, EPC, BPMN, etc.) onto BPEL. To evaluate WorkflowNet2BPEL4WS we used more than 100 processes modeled using Protos (the most widely used business process modeling tool in the Netherlands), automatically converted these into CPN Tools, and applied our mapping. The results of these evaluation are very encouraging and show the applicability of our approach.

show abstract

Section: Related Workmentioning

confidence: 99%

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

Lassen

Aalst

2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

View full text Add to dashboard Cite

show abstract

“…As shown [21,30,45] there are solutions to translate a BPEL Managing special cases of a process by introducing policies.…”

Section: Discussionmentioning

confidence: 99%

“…Especially if during the execution of a CWS there is the choice between two paths that can run for a long time, then the knowledge whether The model-aware middleware aims to enhance the already existing language to implement CWSs, which is BPEL. There are already works, which investigates how to translate the process in BPEL into Petri Nets formalism (for example in: [21], [30], [45]). Therefore this thesis focuses more on the runtime aspects of using the CPN.…”

Section: Application Areasmentioning

confidence: 99%

Model Aware Execution of Composite Web Services

Zurowska

Deters

2009

2009 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

In the Service Oriented Architecture (SOA) services are computational elements that are published, discovered, consumed and aggregated across platform and organizational borders. The most commonly used technology to achieve SOA are Web Services (WSs). This is due to standardization process (WSDL, SOAP, UDDI standards) and a wide range of available infrastructure and tools. A very interesting aspect of WSs is their composeability. WSs can be easily aggregated into complex workflows, called Composite Web Services (CWSs). These compositions of services enable further reuse and in this way new, even more complex, systems are built.Although there are many languages to specify or implement workflows, in the service-oriented systems BPEL (Business Process Execution Language) is widely accepted. With this language WSs are orchestrated and then executed with specialized engines (like ActiveBPEL). While being very popular, BPEL has certain limitations in monitoring and optimizing executions of CWSs. It is very hard with this language to adapt CWSs to changes in the performance of used WSs, and also to select the optimal way to execute a CWS.To overcome the limitations of BPEL, I present a model-aware approach to execute CWSs. To achieve the model awareness the Coloured Petri Nets (CPN) formalism is considered as the basis of the execution of CWSs. This is different than other works in using formal methods in CWSs, which are restricted to purposes like verification or checking of correctness. Here the formal and unambiguous notation of the CPN is used to model, analyze, execute and monitor CWSs. Furthermore this approach to execute CWSs, which is based on the CPN formalism, is implemented in the model-aware middleware. It is also demonstrated how the middleware improves the performance and reliability of CWSs.ii

show abstract

“…Some advocate the use of finite state machines [7], others process algebras [6], and yet others abstract state 6 like x + z > y = f alse ∧ z + x < y = f alse =⇒ x + z = y machines [5] or Petri nets [20,17,27]. Another branch of work concerning the area of "adapting Golog for composition of semantic web services" is carried out by Sheila McIlraith and others [?].…”

Section: Related Workmentioning

confidence: 99%

A semantical framework to engineering WSBPEL processes

Rouached

Fdhila

Godart

2008

Inf Syst E-Bus Manage

View full text Add to dashboard Cite

Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprise application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web Services, and uses a formal logic to model their dynamic behaviour thus enabling their formal analysis and the inference of relevant properties of the systems being built.

show abstract

Formal semantics and analysis of control flow in WS-BPEL

Cited by 287 publications

References 7 publications

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

Model Aware Execution of Composite Web Services

A semantical framework to engineering WSBPEL processes

Contact Info

Product

Resources

About