From BPEL Processes to YAWL Workflows
BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL processes. The approach we propose defines a YAWL pattern for each BPEL activity. The translation of a BPEL process reduces then to suitably instantiating and interconnecting the patterns of its activities.
KeywordsBusiness Process Formal Semantic Great Common Divisor Guard Condition BPEL Process
Unable to display preview. Download preview PDF.
- 2.BPEL4WS Coalition. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1, ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
- 3.Brogi, A., Popescu, R.: Service Adaptation through Trace Inspection. In: Gagnon, S., Ludwig, H., Pistore, M., Sadiq, W. (eds.) Proceedings of SOBPI 2005, pp. 44–58 (2005), http://elab.njit.edu/sobpi/sobpi05-proceedings.pdf
- 6.Koshkina, M., van Breugel, F.: Verification of business processes for Web services. Technical Report CS-2003-11, York University (October 2003), http://www.cs.yorku.ca/techreports/2003/CS-2003-11.ps
- 7.Ouyang, C., Verbeek, E., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report 2174, Queensland University of Technology (February 2006), Available from: http://eprints.qut.edu.au/archive/00002174/01/BPM-05-15.pdf
- 8.OWL-S Coalition. OWL-S: Semantic Markup for Web Services Version 1.1, http://www.daml.org/services/owl-s/1.1/overview/
- 12.WSDL Coalition. Web Service Description Language (WSDL) version 1.1, http://www.w3.org/TR/wsdl