Horizontal business process model integration

Autoren Klaus-Dieter Schewe
Verena Geist
Christa Illibauer
Felix Kossak
Christine Natschläger
Theodorich Kopetzky
Jan Kubovy
Bernhard Freudenthaler
Thomas Ziebermayr
Editoren A. Hameurlain
J. Küng
R. Wagner
H. Decker
L. Lhotska
TitelHorizontal business process model integration
BuchtitelTransactions in Large-Scale Data and Knowledge-Centered Systems XVIII
Typin Sammelband
SerieLecture Notes in Computer Science
SCCH ID#1445

Modelling business processes in general is a complex endeavour, as many different aspects such as the control flow, the management of data, event and message handling, actors and interaction, exception handling, etc. have to be taken into account, all of which require different models. This paper focuses on the horizontal integration of models for control flow, message flow, event handling, interaction, actors, data handling and exception handling. The method is based on Abstract State Machines (ASMs), which are used to formally define the semantics of each of the individual models. Throughout the process rigorous quality assurance methods will be applied.