Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Modellierung 2008, 12.-14. Maerz 2008, Berlin P-127, 57-72 (2008).

Gesellschaft fuer Informatik, Bonn


Thomas Kuehne (ed.), Wolfgang Reisig (ed.), Friedrich Steimann (ed.)

Copyright © Gesellschaft fuer Informatik, Bonn


Fully-automatic translation of open workflow net models into simple abstract BPEL processes

Niels Lohmann and Jens Kleine


On the one hand, Petri net models have a successful history in the modeling, simulation, and verification of workflows and business processes. On the other hand, BPEL is the de facto standard for describing and implementing Web service-based business processes. With abstract BPEL processes, BPEL can also be used as modeling language. However, being a complicated language with many syntactic constraints, abstract BPEL processes impede a straightforward modeling. In this paper, we introduce a fully-automatic translation of Petri net models into abstract BPEL processes which can be easily refined to executable BPEL processes. This approach combines strengths of Petri nets in modeling and verification with the ability to execute and port BPEL processes. Furthermore, it completes the Tools4BPEL framework to synthesize BPEL processes which are correct by design.

Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-221-5

Last changed 04.10.2013 18:16:57