Hagenberg Business Process Modelling Method - Towards a homogeneous framework for integrating process, actor, dialogue, and data models

Authors Verena Geist
Felix Kossak
Christine Natschläger
Christa Illibauer
Thomas Ziebermayr
Atif Mashkoor
Editors Atif Mashkoor
Qing Wang
Bernhard Thalheim
Title Hagenberg Business Process Modelling Method - Towards a homogeneous framework for integrating process, actor, dialogue, and data models
Booktitle Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday
Type in book
Publisher College Publications
Series Tributes
Volume 34
ISBN 978-1-84890-276-3
Month April
Year 2018
Pages 220-241
SCCH ID# 17070
Abstract

Due to different aspects, such as data, functionality, communication, and interaction, modelling information systems is a complex and challenging task. Each aspect in general calls for its own model, which has to be integrated in the overall system model. In this paper, we present the Hagenberg Business Process Modelling (H-BPM) method as a novel approach for designing business process management systems, which – in addition to process modelling – integrates several other important aspects for workflow specification like user interaction, data, and organisational modelling. On top of these aspects, we propose the enhanced Process Platform (eP2) architecture to illustrate the static view on formal model integration. We apply the notion of Abstract State Machines (ASMs) to formalise the components, their interfaces and behaviour, and to specify the collaboration of the components in a rigorous and reliable way. Formal semantics for executing the integrated models in a business process management system is provided using ASM ground modelling and refinement. We finally demonstrate the suggested method using the example of processing user tasks and show its usability by a model for ordering supplies.