From BPEL Processes to YAWL Workflows Export

@incollection{citeulike:3280636, 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.}, author = {Brogi, Antonio and Popescu, Razvan}, citeulike-article-id = {3280636}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11841197_7}, doi = {10.1007/11841197_7}, journal = {Web Services and Formal Methods}, keywords = {2006, bpel, formal-process, yawl}, pages = {107--122}, posted-at = {2008-09-17 16:11:38}, priority = {1}, title = {From BPEL Processes to YAWL Workflows}, url = {http://dx.doi.org/10.1007/11841197_7}, year = {2006} }

TY - CHAP ID - citeulike:3280636 L3 - citeulike-article-id:3280636 N2 - 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. JF - Web Services and Formal Methods EP - 122 TI - From BPEL Processes to YAWL Workflows SP - 107 KW - 2006 KW - bpel KW - formal-process KW - yawl AU - Brogi, Antonio AU - Popescu, Razvan PY - 2006/// UR - http://dx.doi.org/10.1007/11841197_7 ER -