Thalheim, BernhardStein, SebastianSpeck, AndreasFischer, StefanMaehle, ErikReischuk, Rüdiger2020-01-282020-01-282009978-3-88579-248-2https://dl.gi.de/handle/20.500.12116/31431Business process models are a key issue of modern computer science. Business processes are driving the development of commercial information systems, such as ERP systems, e-commerce systems and many more which are constantly used in our every day life and interacting in a direct or indirect way with us. Due to this great relevance numerous models and implementation techniques have been developed. However, this research area is far from being settled. New technologies, followed by new modeling concepts and new requirements of the users are constantly evolving. The goal of the workshop is to present and discuss the latest results and their potential application in industrial systems. Business process models must be easy to understand making them comprehensible for many people (computer scientists and non computer scientists). Hence, there are different model types capturing different levels of abstraction. An overall concept should link these different model types in a consistent model space. In order to achieve this goal several problems have to be overcome: The models of different abstraction levels have to be kept consistent in order to derive one model of a certain model type from one or more models of another type. The model types need a formal foundation. Only a formal base allows the automated handling of models, such as the transformation and synthesizing of models or the validation of model quality.enText/Conference Paper1617-5468