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

Keynote.- Generating Test Suites to Validate Legacy Systems.- Distributed Applications, Metamodeling and Protocols.- Deriving Distributed Design Models from Global State Machines Requirements.- Generic Graphical Navigation for Modelling Tools.- Protocol syntax development using domain specific modeling languages.- Industry 4.0 Applications.- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context.- Modeling and code generation framework for IoT.- Process Enactment with Traceability Support for NFV Systems.- Modeling in Environmental Social and Industrial Systems.- On the Structure of Avionics Systems Architecture.- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions.- Towards a representation of Cellular Automaton using Specification and Description Language.- Interoperability.- Goal Model Integration: Advanced Relationships and Rationales Documentation.- Union Models: Support for Efficient Reasoning about Model Families over Space and Time.- Facilitating the Co-Evolution of Standards and Models.- Concurrency, Data Integrity.- Adapting Integrity Checking Techniques for Concurrent Operation Executions.- Eventual Consistency Formalized.