Horizontal business process model integration

Authors Klaus-Dieter Schewe
Verena Geist
Christa Illibauer
Felix Kossak
Christine Natschläger
Theodorich Kopetzky
Jan Kubovy
Bernhard Freudenthaler
Thomas Ziebermayr
Editors A. Hameurlain
J. Küng
R. Wagner
H. Decker
L. Lhotska
Title Horizontal business process model integration
Booktitle Transactions in Large-Scale Data and Knowledge-Centered Systems XVIII
Type in collection
Publisher Springer
Series Lecture Notes in Computer Science
Volume 8980
ISBN 978-3-662-46485-4
DOI 10.1007/978-3-662-46485-4_2
Month February
Year 2015
Pages 30-52
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.