Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers

✍ Scribed by Slimane Hammoudi; Luís Ferreira Pires; Bran Selić

• Publisher: Springer Nature
• Year: 2020
• Tongue: English
• Leaves: 412
• Category: Library

✦ Synopsis

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019. The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.

✦ Table of Contents

Preface
Organization
Contents
Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering
1 Introduction
2 Overview
3 Example Workflow
4 Integration of UML and ALF
4.1 Overview of the Tool Chain
4.2 The ALF Model System
4.3 Generation of Java Source Code
4.4 The Kernel Model-to-Model Transformation
4.5 The Integrated User Interface
5 Discussion
6 Related Work
7 Conclusion
References
A Model-Based Combination Language for Scheduling Verification
1 Introduction
2 Our Approach
3 Model Combination Language
3.1 Specification
3.2 Combination Patterns
3.3 Abstract Syntax of Combination Language
3.4 Meta Symbol and Notations Rule Expression
3.5 Abstract Syntax of Rule Expression in EBNF
3.6 Operators and Semantics
4 Transformation Rule Library
4.1 Functional View
4.2 Physical View
5 Case Study
5.1 Train Traction Control System
5.2 Model Transformation
5.3 Schedule Verification
6 Related Work
7 Conclusions and Future Work
References
The Understandability of Models for Behaviour
1 Introduction
2 Background
3 State-Based Diagrams
4 Experimental Context
5 Experimental Tasks and Results
5.1 Calibration
5.2 Simple, Nested Model
5.3 Non-nested LLFSM
5.4 Nested LLFSMs
5.5 Subsumption and Delegation Results
5.6 Randomised Diagrams (Australia)
5.7 Randomised Diagrams (Spain)
6 Analysis
6.1 Lesson Learned
6.2 Threats to Validity
7 Asymmetric Semantics
8 Conclusions
References
A Role Modeling Based Approach for Cyber Threat Analysis
1 Introduction
2 Cyber Security Context
2.1 Cyber Threat Analysis
2.2 Cyber Threat Modeling
3 Modeling Context
3.1 Model Interoperability
3.2 Role Modeling
4 Framework for Interoperability
4.1 Role4All Framework
4.2 Viewpoint Definition
4.3 Federation with Role4All
4.4 Interpretation Viewpoint in Role4All
5 Role Modeling for Cyber Threat Analysis
5.1 Modeling Space
5.2 Role Models for the Generation of Federated Viewpoint
6 Simulation for Cyber Threat Analysis
6.1 Interpretation Using Roles
6.2 Dynamic Update of the Federated Models
7 Lessons Learned
8 Conclusion
References
Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications
1 Introduction
2 Optimizing Compilation of UML/SysML Models
3 Related Work on Static Data-Flow Model Analysis
4 Static Data-Flow Model Analysis
4.1 The Control-Flow Graph for a Functional View
4.2 The Control-Flow Graph Analysis
4.3 The Performance Gain of the CIBW Algorithm
4.4 Discussion
5 Case Study
5.1 The Application of the CIBW Algorithm to Individual Activities
5.2 The Application of the CIBW Algorithm to Complete Applications
6 Conclusions and Future Work
References
Umple-TL: A Model-Oriented, Dependency-Free Text Emission Tool
Abstract
1 Introduction
2 Other Text Emission Tools
3 Challenges
3.1 Challenges Relating to the Source Language
3.2 Challenges Relating to Both Source and Target
3.3 Challenges Relating to Text Generation
3.4 Modelling Support in Text Generation Technology
3.5 Additional Challenges
4 Main Concepts of Umple-TL
4.1 Usage of the Various Blocks
4.2 Emitter Methods
5 UML Constructs and Generation Templates
5.1 Declarative Examples
5.2 Traits and Aspect Orientation
6 Demonstration of Practical Value
7 Performance Measures
8 A Comparison of Templating Tools for Text Generation
8.1 Tool Discussion
8.2 Umple Discussion
9 Conclusions
Acknowledgments
References
Dataset Management Using Metadata
1 Introduction
2 Objectives
3 Background
3.1 Data
3.2 Data Standards
3.3 SNOMED CT
3.4 Fast Healthcare Interoprability Resources (FHIR)
3.5 International Classification of Diseases (ICD)
3.6 OpenEHR - ISO EN 13606
3.7 OMOP CDM
3.8 LOINC
3.9 NHS Data Dictionary
3.10 ISO11179
4 Methodology
4.1 Motivational Example
4.2 Key Issues Highlighted by ISO11179
5 Results
5.1 MDML - Metadata Modelling Language
5.2 User Traction
6 Discussion
7 Related Work
8 Conclusion
References
The Art of Bootstrapping
1 Introduction
2 Terminology
3 Language Workbenches
3.1 EMF
3.2 MPS
3.3 LanguageLab
3.4 DMLA
4 Bootstrap
4.1 The Bootstrap of EMF
4.2 The Bootstrap of MPS
4.3 The Bootstrap of LanguageLab
4.4 The Bootstrap of DMLA
5 Dynamic Semantics
5.1 Executing Specifications
5.2 Compiling Specifications
5.3 Semantics in the Case Languages
5.4 Changeability
6 Conclusion
References
A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems
1 Introduction
2 Related Work
3 Basic Concepts
3.1 Timed Data Flow
3.2 Modeling Tool
4 Integration of Analog Components
4.1 Representing Analog Components
4.2 Connecting AMS Components to the MPSoC
4.3 Solving Causality Problems
4.4 MPSoC Virtual Prototype
4.5 Simulation of the Virtual Prototype
4.6 Trace Generation
5 Case Study
5.1 Partitioning
5.2 Software Design
5.3 Modeling Sensors
5.4 Interaction of Analog Blocks with the Software Design Level
5.5 Deployment
5.6 Running the Application
6 Conclusion and Perspectives
References
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol
1 Introduction
2 Overview of the Language Server Protocol
3 Case Study: Language Server Protocol with Xtext DSLs
3.1 Language Server Implementation of an Entity-DSL
3.2 Building a Development-Tool Extension for the Theia IDE
3.3 Building a Development-Tool Extension for the Eclipse IDE
3.4 Experimental Results of Implementing the Entity-DSL
3.5 Analysis of the Potential of the Language Server Protocol
4 Utilization of the Language Server Protocol
4.1 LSP-Based Xtext Solutions in Practice
4.2 Eclipse TMF (Xtext) Forum Analysis
5 Discussion
6 Related Work
7 Conclusions
References
Executing Scenario-Based Specification with Dynamic Generation of Rich Events
1 Introduction
2 Background
2.1 Scenario-Based Modeling
2.2 Constraint Solvers
3 New Extension Mechanisms
3.1 Formal Definitions of the New Event Generation Mechanism
3.2 Extension of the Request/Block Semantics of SBP
4 Implementation Infrastructure
5 Modeling with the New Composition Principles
5.1 Constructing Rich Multi-variable Events
5.2 Rich Constraint Specifications
5.3 Enhanced Incrementality
5.4 Rich Constraint-Composition Semantics
5.5 Combining ``Stories'' with Constraints
5.6 Specifying Targeted Constraints
5.7 Real-Time Reactivity
5.8 Event Construction with Optimization
6 Related Work
7 Conclusion
References
Evaluating the Multi-variant Model Transformation of UML Class Diagrams to Java Models
1 Introduction
2 Motivation
2.1 Graph Product Line
2.2 Requirements
3 Overview
3.1 Correctness
3.2 Error Measurement
3.3 Existing Approaches
4 Evaluation Framework
4.1 Architectural Overview
4.2 Runtime Measurement
5 Example
5.1 Setup
5.2 Graph Product Line
5.3 Home Automation System (HAS)
5.4 Threats to Validity
6 Discussion
7 Related Work
8 Conclusion
References
Modeling and Analysis of Partitions on Functional Architectures Using EAST-ADL
1 Introduction
2 Preliminaries
2.1 EAST-ADL
2.2 Partitioning Algorithms
3 Our Approach
4 EAST-ADL Partitioning Extension
5 Partitioning Analysis
5.1 Parameters for the Analysis
5.2 EAST-ADL Analysis Level
5.3 EAST-ADL Design Level
6 Case Study - Brake-by-Wire System Example
7 Related Work
8 Conclusion and Further Research
References
A Framework for Flexible Program Evolution and Verification of Distributed Systems
1 Introduction
2 Language Setting
3 History-Based Specification
3.1 A Bank Example
3.2 Reasoning About Late Binding and Static Binding
4 Proof Obligations
4.1 Verification of the Bank Example
5 Evolutionary Program Changes
5.1 Reasoning in Presence of Unverified Classes
5.2 Examples of Software Changes on BANK
6 Related Work
7 Conclusion
References
Classifying Approaches for Constructing Single Underlying Models
1 Introduction
2 Related Work
3 Running Example and Terminology
4 Classification Criteria
4.1 Design Criteria
4.2 Selection Criteria
4.3 Technical Design Decisions
5 Orthographic Software Modeling
5.1 Design Objectives
5.2 Application to the Running Example
5.3 Classification Based on the Criteria
6 Vitruvius
6.1 Design Objectives
6.2 Application to the Running Example
6.3 Classification Regarding the Criteria
7 RSUM
7.1 Design Objectives
7.2 Application to the Running Example
7.3 Classification Regarding the Criteria
8 MoConseMI
8.1 Design Objectives
8.2 Application to the Running Example
8.3 Classification Regarding the Criteria
9 Discussion and Comparison of SUM Approaches
9.1 Design Criteria
9.2 Selection Criteria
9.3 Technical Design Decisions
9.4 Process for Approach Selection
9.5 Combination of SUM Approaches
10 Conclusion
References
TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control
1 Introduction
2 Problem Statement
3 Related Work
4 Technological Overview
4.1 IEC 61850
4.2 IoT Communication Protocols
5 Solution Design: TRILATERAL
6 Implementation
7 Evaluation and Validation
7.1 Evaluation
7.2 Validation
7.3 Lessons Learned
8 Conclusion
References
Author Index