System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Description

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.” Front Matter ....Pages i-xii Front Matter ....Pages 1-1 Generating Test Suites to Validate Legacy Systems (Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas et al.)....Pages 3-23 Front Matter ....Pages 25-25 Deriving Distributed Design Models from Global State Machines Requirements (Mohammad F. Al-hammouri, Gregor V. Bochmann)....Pages 27-43 Generic Graphical Navigation for Modelling Tools (Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle)....Pages 44-60 Protocol Syntax Development Using Domain Specific Modeling Languages (Goran Rajić, Vlado Sruk)....Pages 61-77 Front Matter ....Pages 79-79 Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context (Régis Plateaux, Olivia Penas, Farid Louni)....Pages 81-98 Modeling and Code Generation Framework for IoT (Mohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana’a, Ithar Saleh, Henry Muccini)....Pages 99-115 Process Enactment with Traceability Support for NFV Systems (Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe)....Pages 116-135 Front Matter ....Pages 137-137 On the Structure of Avionics Systems Architecture (Visar Januzaj, Stefan Kugele)....Pages 139-149 Generating Executable Code from High-Level Social or Socio-Ecological Model Descriptions (Themis Dimitra Xanthopoulou, Andreas Prinz, F. LeRon Shults)....Pages 150-162 Towards a Representation of Cellular Automaton Using Specification and Description Language (Pau Fonseca i Casas)....Pages 163-179 Front Matter ....Pages 181-181 Goal Model Integration: Advanced Relationships and Rationales Documentation (Malak Baslyman, Daniel Amyot)....Pages 183-199 Union Models: Support for Efficient Reasoning About Model Families Over Space and Time (Sanaa Alwidian, Daniel Amyot)....Pages 200-218 Facilitating the Co-evolution of Standards and Models (Philip Makedonski, Jens Grabowski)....Pages 219-232 Front Matter ....Pages 233-233 Adapting Integrity Checking Techniques for Concurrent Operation Executions (Xavier Oriol, Ernest Teniente)....Pages 235-248 Eventual Consistency Formalized (Edel Sherratt, Andreas Prinz)....Pages 249-265 Back Matter ....Pages 267-267