Modellierung2018-Konferenzband.Pdf
Total Page:16
File Type:pdf, Size:1020Kb
Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl (Hrsg.) Modellierung 2018 21.02.2018 – 23.02.2018 Braunschweig, Deutschland Gesellschaft für Informatik e.V. (GI) Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-280 ISBN 978-3-88579-674-9 ISSN 1617-5468 Volume Editors Prof. Dr.-Ing. Ina Schaefer TU Braunschweig Mühlenpfordtstr. 23, 38106 Braunschweig [email protected] o. Univ.-Prof. Dr. Dimitris Karagiannis Universität Wien Währinger Straße 29, 1090 Wien [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 2018 printed by Köllen Druck+Verlag GmbH, Bonn This book is licensed under a Creative Commons BY-SA 4.0 licence. Vorwort Die derzeit im zweijährigen Rhythmus stattfindende 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 unterschiedlichsten Perspektiven des Themas Modellierung beschäftigen. Sie stellt somit ein zentrales Forum für den Erfahrungsaustausch zu akademischen wie auch praxisbezogenen Modellierungsansätzen dar. Die Fachtagung „Modellierung“ umfasst traditionell ein wissenschaftliches Programm begleitet durch Workshops, Tutorien, Praxisforum, sowie ein Doktorandensymposium und die Präsentation von Tools/Demos. Dabei dienen die Workshops dazu, Spezialthemen der Modellierung im Detail zu beleuchten, während in den Tutorien praktische Anwendungen aktueller Modellierungsansätze vorgestellt werden. Den Tutoriums- Teilnehmerinnen und -Teilnehmern wird dadurch die Möglichkeit eröffnet, nicht nur einen theoretischen Einblick in die Modellierung zu bekommen, sondern den Einsatz der entsprechenden Werkzeuge und Methoden auch in Aktion zu erleben. Abgerundet wird das Programm durch ein Praxisforum zur Vorstellung der Anwendung und Umsetzung von Modellierungsmethoden, -techniken und -werkzeugen in der betrieblichen Praxis sowie ein Doktorandensymposium zur Vorstellung von aktuellen Dissertationsvorhaben. Eine Fokussierung auf die Präsentation von innovativen Werkzeugen wird seit 2016 in dem Tools/Demos Bereich gegeben. Für das wissenschaftliche Programm der Modellierung 2018 wurden von insgesamt 24 Einreichungen die besten 13 Beiträge ausgewählt. Dies entspricht einer Annahmequote von 54%. Jede Einreichung wurde von drei GutachterInnen evaluiert. Die akzeptierten Beiträge behandeln aktuelle wissenschaftliche Erkenntnisse zu einer breiten Palette von Themen in den Bereichen Modellierungssprachen, -methoden und -ansätze, Prozessmanagement, sowie zur Modellierung im Software- und System-Engineering. Im Rahmen der diesjährigen Tagung finden zwei eingeladene Vorträge statt: Prof. Dr. Andy Schürr (TU Darmstadt) spricht über die korrekte Entwicklung von Algorithmen für die Adaption von Netzwerktopologien und Nikolaus Regnat (Siemens AG) berichtet über die Verwendung von Modellierungssprachen, wie SysML in der industriellen Praxis. Wir danken allen Autoren für ihre Beiträge und den Mitgliedern des Programmkomitees und den weiteren Gutachterinnen und Gutachtern für die Begutachtung. Weiterhin bedanken wir uns bei allen Beteiligten aus dem Organisationsteam. Braunschweig, im Februar 2018 Ina Schaefer, TU Braunschweig Dimitris Karagiannis, Universität Wien Christoph Seidl, TU Braunschweig Sponsoren Wir danken den folgenden Unternehmen und Institutionen für die Unterstützung der Konferenz. Querschnittsfachausschuss Modellierung Die Plattform der GI zur Diskussion und zum Erfahrungsaustausch über aktuelle und zukünftige Themen der Modellierungsforschung . Beteiligte GI-Gliederungen: EMISA, Entwicklungsmethoden für Informationssysteme und deren Anwendung FoMSESS Formale Methoden und Modellierung für SichereSysteme ILLS Intelligente Lehr- und Lernsysteme MMB Messung, Modellierung und Bewertung von Rechensystemen OOSE, Objektorientierte Software-Entwicklung PN Petrinetze RE Requirements Engineering ST Softwaretechnik SWA Softwarearchitektur WI-MobIS Informationssystem-Architektur: Modellierung betrieblicher Informationssysteme WI-VM Vorgehensmodelle für die Betriebliche Anwendungsentwicklung WM/KI Wissensmanagement Tagungsleitung Gesamtleitung: Ina Schaefer, TU Braunschweig Leitung des Programmkomitees: Dimitris Karagiannis, Universität Wien Leitung der Organisation: Christoph Seidl, TU Braunschweig Praxisforum: Andreas Vogelsang, TU Berlin Daniel Méndez Fernández, TU München Workshops: Leok Cleophas, TU Eindhoven Michael Felderer, Universität Innsbruck Tutorien: Malte Lochau, TU Darmstadt Timo Kehrer, HU Berlin Tools & Demos: Hans-Georg Fill, Universität Wien Agnes Koschmider, Karlsruher Institut für Technologie Lokale Organisation: Michael Nieke, TU Braunschweig Sven Schuster, TU Braunschweig Programmkomitee Jörg Desel Fernuniversität in Hagen Jürgen Ebert Universität Koblenz Gregor Engels Universität Paderborn Ulrich Frank Universität Duisburg-Essen Holger Giese Hasso-Plattner-Institut Potsdam Martin Glinz Universität Zürich Jan Jürjens TU Dortmund & Fraunhofer ISST Gerti Kappel Technische Universität Wien Thomas Kuehne Victoria University of Wellington Florian Matthes Technische Universität München Heinrich C. Mayr Alpen-Adria-Universität Klagenfurt Jan Mendling Wirtschaftsuniversität Wien Günther Müller-Luschnat iteratec GmbH Friedericke Nickl Swiss Life Markus Nüttgens Universität Hamburg Andreas Oberweis Karlsruher Institut für Technologie Sven Overhage Universität Bamberg Barbara Paech Universität Heidelberg Henderik Proper Luxembourg Institute of Science and Technology Ulrich Reimer Fachhochschule St. Gallen Wolfgang Reisig Humboldt-Universität zu Berlin Anne Remke Universität Münster Matthias Riebisch Universität Hamburg Bernhard Rumpe RWTH Aachen Andy Schürr TU Darmstadt Elmar J. Sinz Universität Bamberg Friedrich Steimann Fernuniversität in Hagen Stefan Strecker Fernuniversität in Hagen Bernhard Thalheim Christian-Albrechts-Universität Kiel Mathias Weske HPI, Universität Potsdam Inhaltsverzeichnis Eingeladene Vorträge Andy Schürr Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms . 15 Nikolaus Regnat Why SysML does often fail – and possible solutions . 17 Wissenschaftliche Beiträge Julian Dörndorfer, Christian Seel A Framework to Model and Implement Mobile Context-Aware Business Applications ................................. 23 Stefan Tomaszek, Erhan Leblebici, Lin Wang, Andy Schürr Model-driven Development of Virtual Network Embedding Algorithms . 39 Benedikt Pittl, Hans-Georg Fill Transforming Enterprise Models to Linked Data . 55 Zoltán Ádám Mann, Andreas Metzger, Stefan Schoenen Towards a run-time model for data protection in the cloud . 71 Ralf Laue Nutzung von Bilddatenbanken zur Erstellung von Symbolen . 87 Andreas Grosche, Burkhard Igel, Olaf Spinczyk Exploiting Modular Language Extensions in Legacy C Code . 103 Tobias Wägemann, Ramin Tavakoli Kolagari, Klaus Schmid Optimal Product Line Architectures for the Automotive Industry . 119 Khanh-Hoang Doan, Marti Gogolla Extending a UML and OCL Tool for Meta-Modeling . 135 Alexander Rauh, Wolfgang Golubski, Stefan Queins Measuring the Quality of System Specifications in Use Case Driven Approaches ................................. 151 Daniel Gritzner, Joel Greenyer Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications ................................ 167 Dilshod Kuryazov, Andreas Winter, Ralf Reussner Collaborative Modeling enabled by Versioning . 183 Peter de Lange, Petru Nicolaescu, Thomas Winkler, Ralf Klamma Enhancing MDWE with Collaborative Live Coding . 199 Tilmann Stehle, Matthias Riebisch Modellierung plattformübergreifender Quellcode-Entsprechungen für die koordinierte Co-Evolution portierter Software-Systeme . 215 Praxisforum – Eingeladene Industriebeiträge Harald Störrle Implementing Knowledge Management in Agile Projects by Pragmatic Modeling .................................. 233 Markus Grabowski, Bernhard Kaiser, Yu Bai Systematic Refinement of CPS Requirements . 245 Oscar Slotosch, Mohammad Abu-Alqumsan Modeling and Safety-Certification of Model-based Development Processes 261 Christian Reuter Controlled Complexity for Future Mobility – Methodology, Guidelines and Tooling ................................... 275 Daniel Ratiu, Holger Nehls, Robert Walter, Jochen Michel Taming the Software Development Complexity with Domain Specific Languages .................................. 281 Tutorials Thomas Thüm, Sebastian Krieter, Thomas Leich Feature Modeling and Development with FeatureIDE . 297 Daniel