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.
CITATION STYLE
Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., … Zavattaro, G. (2006). Web Services and Formal Methods. (M. Bravetti, M. Núñez, & G. Zavattaro, Eds.), WS-FM (Vol. 4184, pp. 38–57). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/11841197
Mendeley helps you to discover research relevant for your work.