Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics

Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, Austria, 24.- 25. October 2005 P-75, 222-235 (2005).



Jörg Desel, Ulrich Frank (eds.)


Incremental development of business process models

C. Simon


The purpose of formal and so called semi-formal approaches to business process modeling is to provide a general technique for the development of workflow based information systems. For this, a concise and repeatable transformation of initial requirements into the final system must be achieved. Moreover, there is also a need for complex models to include justifications that explain the meaning and purpose of each component of the entire model. However, this is not sufficiently supported by current graphical methods. This paper therefore introduces a formal language for process modeling which allows incremental development, graphical visualization of the model, and adding justifications to the model.

Full Text: PDF

ISBN 3-88579-404-7

Last changed 24.01.2012 21:52:44