Modellierung 2020
Total Page:16
File Type:pdf, Size:1020Kb
Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr (Hrsg.) Modellierung 2020 19. – 21. Februar 2020 Wien, Österreich Gesellschaft für Informatik e.V. (GI) Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-302 ISBN 978-3-88579-696-1 ISSN 1617-5468 Volume Editors Dr. Dominik Bork Prof. Dr. Dimitris Karagiannis Universität Wien, Fakultät für Informatik, Währinger Strasse 29, 1090 Wien Email: [email protected], [email protected] Prof. Dr.Dr.h.c. Heinrich C. Mayr Alpen-Adria-Universität Klagenfurt, Universitätsstraße 65 – 67, 9020 Klagenfurt Email: [email protected] Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, [email protected]) Torsten Brinda, Universität Duisburg-Essen, Germany Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Infineon, Germany Ulrich Frank, Universität Duisburg-Essen, Germany Michael Goedicke, Universität Duisburg-Essen, Germany Ralf Hofestädt, Universität Bielefeld, Germany Wolfgang Karl, KIT Karlsruhe, Germany Michael Koch, Universität der Bundeswehr München, Germany Thomas Roth-Berghofer, University of West London, Great Britain Peter Sanders, Karlsruher Institut für Technologie (KIT), Germany Andreas Thor, HFT Leipzig, Germany Ingo Timm, Universität Trier, Germany Karin Vosseberg, Hochschule Bremerhaven, Germany Maria Wimmer, Universität Koblenz-Landau, Germany Dissertations Steffen Hölldobler, Technische Universität Dresden, Germany Thematics Andreas Oberweis, Karlsruher Institut für Technologie (KIT), Germany © Gesellschaft für Informatik, Bonn 2020 printed by Köllen Druck+Verlag GmbH, Bonn This book is licensed under a Creative Commons BY-SA 4.0 licence. Vorwort Die Fachtagung „Modellierung“ ist eine Plattform zur inhaltlichen Diskussion für eine große Anzahl von Fachgruppen in der Gesellschaft für Informatik (GI), die sich mit un- terschiedlichsten Perspektiven des Themas Modellierung beschäftigen. Sie stellt somit ein zentrales Forum für den Erfahrungsaustausch zu akademischen wie auch praxisbezogenen Modellierungsansätzen dar. Im Jahr 2020 wurde die Fachtagung „Modellierung“ an der Universität Wien ausgerichtet. Das Programm der Modellierung 2020 umfasste neben den wissenschaftlichen Fachvor- trägen drei Workshops, vier Tutorien sowie ein Praxisforum und die Präsentation von Tools & Demos. Die Workshops behandelten sehr aktuelle Themen und zeigten auf, wie die Modellierung als etablierte Disziplin auch Antworten auf ganz aktuelle Fragestellun- gen liefern kann. Die Titel der drei Workshops waren wie folgt: „Modelle in der KI“, „Conceptual Modeling for Distributed Ledger Technologies“ und „Modellierung in der Hochschullehre“. Die vier Tutorien dienten dazu praktische Anwendungen aktueller Mo- dellierungsansätze vorzustellen und die Teilnehmenden auch aktiv zu involvieren. The- matisch waren die Tutorien wie folgt konzipiert: „Komposition Domänenspezifischer Sprachen unter Nutzung der MontiCore Language Workbench am Beispiel SysML 2“, „Story Driven Modeling with the Fujaba Library“, „Models as Programs“, und „Multi- level Modelling with the FMML and the XModeler“. Für das wissenschaftliche Programm der Modellierung 2020 wurden von insgesamt 23 Einreichungen die besten 11 als Langbeitrag ausgewählt. Dies entspricht einer Annah- mequote von 47,8%. Weitere vier Einreichungen wurden als Kurzbeiträge akzeptiert und gemeinsam mit den Beiträgen zu den Workshops und Tools & Demos als Volume 2542 über CEUR-WS publiziert. Dieser Tagungsband umfasst alle 11 Langbeiträge sowie Kurzbeschreibungen der Tutorien. Die Begutachtung aller Einreichungen erfolgte durch ein doppelt-blindes Beurteilungsverfahren mit jeweils drei Gutachten pro Einreichung. Die akzeptierten Beiträge behandeln aktuelle wissenschaftliche Erkenntnisse zu einer breiten Palette von Themen in den Bereichen Domänenspezifische Modellierung, Modell- konstruktion und kollaborative Modellierung, Modellierungsausbildung & Grundlagen der Modellierung, Modellsimulation und – verifikation, und Model-Driven Development. Im Rahmen der Modellierung 2020 Tagung fand ein eingeladener Vortrag statt. Prof. Dr. Wolfgang Reisig behandelte das Thema „Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme“. Wir danken allen Vortragenden für ihre Beiträge und den Mitgliedern des Programmko- mitees für die zeitgerechte Erstellung der hochwertigen Gutachten. Ein großer Dank geht an die Organisatoren der Workshops und Tutorien, welche wesentlich zur Attraktivität und Vielfältigkeit der Konferenz beigetragen haben. Weiterhin bedanken wir uns bei allen Personen, die an der Organisation der Tagung in ganz unterschiedlichen Rollen beteiligt waren - insbesondere bei Victoria Döller für ihre umfangreiche Unterstützung. Wien, Klagenfurt, im Februar 2020 Dominik Bork, Dimitris Karagiannis und Heinrich C. Mayr Sponsoren Wir danken den folgenden Unternehmen und Institutionen für die Unterstützung der Kon- ferenz. Universität Wien, Fakultät für Informatik Gesellschaft für Informatik Alpen-Adria-Universität Klagenfurt OMiLAB www.omilab.org Querschnittsfachausschuss Modellierung Die Plattform der GI zur Diskussion und zum Erfahrungsaustausch über aktuelle und zu- künftige Themen der Modellierungsforschung . Beteiligte GI-Gliederungen: ARC Architekturen ASE Automotive Software Engineering EMISA Entwicklungsmethoden für Informationssysteme und deren Anwendung FoMSESS Formale Methoden und Software Engineering für Sichere Systeme MMB Messung, Modellierung und Bewertung von Rechensystemen MobIS Modellierung betrieblicher Informationssysteme PN Petrinetze RE Requirements Engineering ST Softwaretechnik WI-VM Vorgehensmodelle für die betriebliche Anwendungsentwicklung WM Wissensmanagement Tagungsleitung Leitung des Programmkomitees: Dimitris Karagiannis, Universität Wien Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt Workshops: Dominik Bork, Universität Wien Judith Michael, RWTH Aachen Praxisforum: Heinz Züllighoven, WPS-Workplace Solutions GmbH Harald Kühn, BOC Products & Services AG DoktorandInnensymposium: Ulrich Frank, Universität Duisburg-Essen Jörg Desel, FernUniversität Hagen Tutorien: Holger Giese, Hasso Plattner Institute for Digital Engi- neering, Universität Potsdam Susanne Leist, Universität Regensburg Tools & Demos: Hans-Georg Fill, University of Fribourg Agnes Koschmider, Christian-Albrechts-Universität zu Kiel Organisationskommittee Dominik Bork, Universität Wien Victoria Döller, Universität Wien Programmkomitee Jörg Desel Fernuniversität Hagen Jürgen Ebert Universität Koblenz-Landau Gregor Engels Universität Paderborn Peter Fettke DFKI, Universität des Saarlandes Hans-Georg Fill University of Fribourg Ulrich Frank Universität Duisburg-Essen Holger Giese Hasso Plattner Institute an der Universität Potsdam Martin Glinz Universität Zürich Florian Johannsen Hochschule Schmalkalden Jan Jürjens Universität Koblenz-Landau Gerti Kappel Technische Universität Wien Dimitris Karagiannis Universität Wien Walter Koch Schaeffler AG Agnes Koschmider Universität Kiel Thomas Kuehne Victoria University of Wellington Florian Matthes Technische Universität München Heinrich C. Mayr Universität Klagenfurt Jan Mendling Wirtschaftsuniversität Wien Judith Michael RWTH Aachen Daniel Moldt Universität Hamburg Günther Müller-Luschnat Friederike Nickl Swiss Life Deutschland Markus Nüttgens Universität Hamburg Andreas Oberweis Karlsruher Institut für Technologie Sven Overhage Universität Bamberg Henderik Proper Luxembourg Institute of Science and Technology Ulrich Reimer FH St. Gallen Wolfgang Reisig Humboldt-Universität zu Berlin Anne Remke Universität Münster Matthias Riebisch Universität Hamburg Stefanie Rinderle-Ma Universität Wien Bernhard Rumpe RWTH Aachen Kurt Sandkuhl Universität Rostock Klaus Schmid Universität Hildesheim Andy Schürr TU Darmstadt Christoph Seidl IT University of Copenhagen Elmar Sinz Universität Bamberg Friedrich Steimann Fernuniversität Hagen Stefan Strecker Fernuniversität Hagen Peter Tabeling gematik, Berlin Bernhard Thalheim Universität Kiel Marina Tropmann-Frick HAW Hamburg Andreas Vogelsang TU Berlin Matthias Weske Hasso Plattner Institute an der Universität Potsdam Manuel Wimmer Johannes Kepler Universität Linz Robert Winter Universität St. Gallen Heinz Züllighoven Universität Hamburg Zusätzliche GutachterInnen Hagen Barth Fernuniversität Hagen Manuela Dalibor RWTH Aachen Victoria Döller Universität Wien Felix Härer University of Fribourg Dominik Huth Technische Universität München Dominik Janssen Universität Kiel Jörg Christian Kirchhof RWTH Aachen Lars Luthmann TU Darmstadt Benjamin Ternes Fernuniversität Hagen Inhaltsverzeichnis Eingeladener Vortrag Wolfgang Reisig Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme ............................................................................................................................11 Wissenschaftliche Beiträge Thorsten Schoormann, Simon Hagen, Jonas Brinker, Sebastian Wildau, Oliver Thomas und Ralf Knackstedt Towards Aligning Business Models with Business Processes: A Tool-based Approach 13 Martin Paczona, Heinrich C. Mayr und Guenter Prochart Model-Based Generation of Software Configurations in Mechatronic Systems ..............29 Michael Wieland und Hans-Georg Fill A Domain-Specific Modeling Method for Supporting the Generation of Business Plans 45 Anne Gutschmidt, Valentina Sauer und Kurt Sandkuhl HCI-Patterns für kollaborative Unternehmensmodellierung am Multi-Touch-Tisch