Abstract
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the help of a semiformal, graphical language such as the Event-driven Process Chains (EPCs) by Scheer. This approach provides a suitable medium for the communication between the participants: the domain experts and the IT specialists. But these models leave room for interpretation and hence ambiguities which makes them less suitable as a basis for the design of information systems. To remedy this we suggest to transform the EPCs into a formal representation (Petri nets) preserving the ambiguities, i.e. all possibly intended behaviour. Now formal techniques can be used to find out whether the possible behaviours comprise sensible behaviour. If so, we call the net relax sound. By not limiting the modeler compared to previous ways (e.g. [8], [3]) we take a pragmatic approach to correctness which only requires that the net represents some valid behaviour. This allows us to draw conclusions on mistakes in the original EPC and to make suggestions for its improvement thereby enhancing both the model’s quality and its suitability for software engineering.
This work is supported by Deutsche Forschungsgemeinschaft (reference WE 1214-3-3a, research group Petri Net Technology)
Chapter PDF
References
Aalst, W. M. P. van der: Verification of Workflow Nets. In: P. Azema and G. Balbo: Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, 1997, pp. 407–426
Aalst, W. M. P. van der: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8 (1) 1998, pp. 21–66
Aalst, W. M. P. van der: Formalization and Verification of Event-driven Process Chains. Computing Science Reports 98/01, Eindhoven University of Technology, Eindhoven, 1998.
Chen, R., Scheer, A.-W.: Modellierung von Prozessketten mittels Petri-Netz-Theorie. Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 107 (in German), University of Saarland, Saarbrücken, 1994
Derks, W., Dehnert, J., Grefen, P. and Jonker, W.: Customized atomicity specification for transactional workflow. In: Cooperative Database Systems for Advanced Applications (CODAS’01), 2001, To appear
Keller, G. and Teufel, T.: SAP R/3 prozeßorientiert anwenden: iteratives Prozeß-Prototyping zur Bildung von Wertschöpfungsketten. Addison-Wesley, Bonn, 1997.
Schmidt, K.: LoLA, a Low Level Petri Net Analyzer. Humboldt-Universität, Berlin. http://www.informatik.hu-berlin.de/~kschmidt/lola.htm
Langner, P., Schneider, C, Wehler, J.: Ereignisgesteuerte Prozessketten und Petrinetze. Report No. 196, Computer Science Department, University of Hamburg, FBI-HH-B-196/97, March 1997.
Moldt, D., Rodenhagen, J.: Ereignisgesteuerte Prozessketten und Petrinetze zur Modellierung von Workflows. In: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, vol. 24/00-I, Münster, 2000, pp. 57–63.
Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proc. of the IEEE, 77 (4) 1989, pp. 541–580
Rittgen, P.: EMC-A Modeling Method for Developing Web-based Applications. International Conference of the International Resources Management Association (IRMA) 2000, Anchorage, Alaska, USA, May 21–24, 2000
Roch, S.: Extended Computation Tree Logic. In: H. D. Burkhard, L. Czaja, A. Skowron and P. Starke: Workshop Concurrency, Specification & Programming, Informatik-Bericht 140, Humboldt-Universität, Berlin, Oct. 2000, pp. 225–234.
Rodenhagen, J.: Darstellung ereignisgesteuerter Prozessketten (EPK) mit Hilfe von Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.
Rump, F.: Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten. Formalisierung, Analyse und Ausführung von EPKs. Teubner, Stuttgart, 1999
Scheer, A.-W.: Business Process Engineering, Reference Models for Industrial Enterprises. Springer, Berlin, 1994
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dehnert, J., Rittgen, P. (2001). Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds) Advanced Information Systems Engineering. CAiSE 2001. Lecture Notes in Computer Science, vol 2068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45341-5_11
Download citation
DOI: https://doi.org/10.1007/3-540-45341-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42215-0
Online ISBN: 978-3-540-45341-3
eBook Packages: Springer Book Archive