Horizontal and vertical business process model integration
H. Decker et al.
|Titel||Horizontal and vertical business process model integration|
|Buchtitel||Database and Expert Systems Applications - Proc. DEXA 2013, Part I|
|Serie||Lecture Notes of Computer Science|
Models of complex systems comprise many different aspects such as the data, functionality, interaction, distribution, context, etc., which all require different models. In addition, models are usually built on different levels of abstraction and the switch from one of these levels to another one may cause mismatches. Horizontal model integration refers to the creation of system models by successive enlargement, whereas vertical model integration refers to the systematic, seamless refinement process of high-level abstract (conceptual) models down to running systems. Our research on horizontal and vertical model integration has concentrated on business process models. With respect to horizontal model integration several submodels have to be defined and integrated: control flow, messages, events, data, actors, interaction and exception handling. We formalise the semantics of each of the constructs by means of Abstract State Machines (ASMs). On grounds of ASMs necessary subtle distinctions and extensions to the control flow model such as counters, priorities, freezing, etc. can be easily integrated in a smooth way. All constructs found in a control flow model are supposed to be executed in parallel for all process instances. Vertical integration is achieved by further refining the involved ASMs in a development process that is targeting the executable specification of a workflow engine that is enriched with components for data and dialogue handling and exception processing. Throughout the process rigorous quality assurance methods have to be applied.