Abstract
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.
This work has been partially supported by F.I.R.B. project TOCAI.IT.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arias-Fisteus, J., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76–85. Springer, Heidelberg (2004)
BPEL4WS Coalition. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1, ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
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
Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 214–227. Springer, Heidelberg (2005)
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., et al. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)
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
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
OWL-S Coalition. OWL-S: Semantic Markup for Web Services Version 1.1, http://www.daml.org/services/owl-s/1.1/overview/
Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communication of the ACM 46(10), 24–28 (2003)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Inf. Syst. 30(4), 245–275 (2005)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
WSDL Coalition. Web Service Description Language (WSDL) version 1.1, http://www.w3.org/TR/wsdl
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brogi, A., Popescu, R. (2006). From BPEL Processes to YAWL Workflows. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_7
Download citation
DOI: https://doi.org/10.1007/11841197_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38862-3
Online ISBN: 978-3-540-38865-4
eBook Packages: Computer ScienceComputer Science (R0)