Skip to main content
SpringerLink
Log in
Book cover

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Pau Fonseca i Casas

    1. Universitat Politècnica de Catalunya, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria-Ribera Sancho

    1. Universitat Politècnica de Catalunya, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Edel Sherratt

    1. Aberystwyth University, Aberystwyth, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11753)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAM 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Keynote Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. 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

  3. Distributed Applications, Metamodeling and Protocols

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Deriving Distributed Design Models from Global State Machines Requirements

      • Mohammad F. Al-hammouri, Gregor V. Bochmann
      Pages 27-43

    3. Generic Graphical Navigation for Modelling Tools

      • Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle
      Pages 44-60

    4. Protocol Syntax Development Using Domain Specific Modeling Languages

      • Goran Rajić, Vlado Sruk
      Pages 61-77

  4. Industry 4.0 Applications

    1. Front Matter

      Pages 79-79
      Download chapter PDF

    2. 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

    3. Modeling and Code Generation Framework for IoT

      • Mohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana’a, Ithar Saleh, Henry Muccini
      Pages 99-115

    4. Process Enactment with Traceability Support for NFV Systems

      • Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
      Pages 116-135

  5. Modeling in Environmental Social and Industrial Systems

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. On the Structure of Avionics Systems Architecture

      • Visar Januzaj, Stefan Kugele
      Pages 139-149

    3. Generating Executable Code from High-Level Social or Socio-Ecological Model Descriptions

      • Themis Dimitra Xanthopoulou, Andreas Prinz, F. LeRon Shults
      Pages 150-162

    4. Towards a Representation of Cellular Automaton Using Specification and Description Language

      • Pau Fonseca i Casas
      Pages 163-179

  6. Interoperability

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Goal Model Integration: Advanced Relationships and Rationales Documentation

      • Malak Baslyman, Daniel Amyot
      Pages 183-199

    3. Union Models: Support for Efficient Reasoning About Model Families Over Space and Time

      • Sanaa Alwidian, Daniel Amyot
      Pages 200-218

    4. Facilitating the Co-evolution of Standards and Models

      • Philip Makedonski, Jens Grabowski
      Pages 219-232

  7. Concurrency, Data Integrity

    1. Front Matter

      Pages 233-233
      Download chapter PDF
Back to top

Other volumes

  1. System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

Keywords

About this book

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.”


Editors and Affiliations

  • Universitat Politècnica de Catalunya, Barcelona, Spain

    Pau Fonseca i Casas, Maria-Ribera Sancho

  • Aberystwyth University, Aberystwyth, UK

    Edel Sherratt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation