Association for Computing Machinery
Model transformations are frequently applied in Business Process Modeling to bridge between languages on a different level of abstraction and formality. In this paper, the authors define a transformation between yEPCs which is an extension to the popular Event-driven Process Chain (EPC) and YAWL, a formal workflow language that is able to capture all of the 20 workflow patterns reported in. They illustrate the transformation challenges and present a suitable transformation algorithm. The benefit of the transformation is threefold. It clarifies the semantics of yEPCs via a mapping to YAWL. Then, the deployment of yEPC Business Process Models as workflows is simplified. Finally, yEPC models can be analyzed with YAWL verification tools.