default search action
11th SAM 2019: Munich, Germany
- Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt:
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings. Lecture Notes in Computer Science 11753, Springer 2019, ISBN 978-3-030-30689-2
Keynote Talk
- Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov:
Generating Test Suites to Validate Legacy Systems. 3-23
Distributed Applications, Metamodeling and Protocols
- Mohammad F. Al-hammouri, Gregor von Bochmann:
Deriving Distributed Design Models from Global State Machines Requirements. 27-43 - Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle:
Generic Graphical Navigation for Modelling Tools. 44-60 - Goran Rajic, Vlado Sruk:
Protocol Syntax Development Using Domain Specific Modeling Languages. 61-77
Industry 4.0 Applications
- Régis Plateaux, Olivia Penas, Farid Louni:
Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context. 81-98 - Mohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana'a, Ithar Saleh, Henry Muccini:
Modeling and Code Generation Framework for IoT. 99-115 - Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
Process Enactment with Traceability Support for NFV Systems. 116-135
Modeling in Environmental Social and Industrial Systems
- Visar Januzaj, Stefan Kugele:
On the Structure of Avionics Systems Architecture. 139-149 - Themis Dimitra Xanthopoulou, Andreas Prinz, F. LeRon Shults:
Generating Executable Code from High-Level Social or Socio-Ecological Model Descriptions. 150-162 - Pau Fonseca i Casas:
Towards a Representation of Cellular Automaton Using Specification and Description Language. 163-179
Interoperability
- Malak Baslyman, Daniel Amyot:
Goal Model Integration: Advanced Relationships and Rationales Documentation. 183-199 - Sanaa A. Alwidian, Daniel Amyot:
Union Models: Support for Efficient Reasoning About Model Families Over Space and Time. 200-218 - Philip Makedonski, Jens Grabowski:
Facilitating the Co-evolution of Standards and Models. 219-232
Concurrency, Data Integrity
- Xavier Oriol, Ernest Teniente:
Adapting Integrity Checking Techniques for Concurrent Operation Executions. 235-248 - Edel Sherratt, Andreas Prinz:
Eventual Consistency Formalized. 249-265
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.