Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

✍ Scribed by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 447
• Series: Communications in Computer and Information Science 580
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015.

The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.

✦ Table of Contents

Front Matter....Pages I-XV
Front Matter....Pages 1-1
Safety Case Development with SBVR-Based Controlled Language....Pages 3-17
Front Matter....Pages 19-19
Realizing a Conceptual Framework to Integrate Model-Driven Engineering, Software Product Line Engineering, and Software Configuration Management....Pages 21-44
Composition of Heterogeneous Modeling Languages....Pages 45-66
A Model-driven Approach for the Generation of Customizable Model Migrations....Pages 67-81
Parallel Application Development Using Architecture View Driven Model Transformations....Pages 82-96
Runtime Translation of Model-Level Queries to Persistence-Level....Pages 97-111
Integration of Handwritten and Generated Object-Oriented Code....Pages 112-132
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration....Pages 133-154
A Textual Domain-Specific Language Based on the UML Testing Profile....Pages 155-171
Metamodel and Model Composition by Integration of Operational Semantics....Pages 172-189
Computability Assurance for UML Template Binding....Pages 190-212
Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study....Pages 213-229
Meta Model Extensibility of BPMN: Current Limitations and Proposed Improvements....Pages 230-247
An Approach to Define and Apply Collaboration Process Patterns for Software Development....Pages 248-262
An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration....Pages 263-277
Using Model Driven Engineering to Support Multi-paradigms Security Analysis....Pages 278-292
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec....Pages 293-308
Front Matter....Pages 311-311
Knowledge Modeling in the Health Care Domain: Capturing Semantics to Bridge the Gap Between Complex Data Models and Object Models....Pages 311-327
The Interface-Modular Method for Global System Behaviour Specification....Pages 328-338
Front Matter....Pages 339-355
Identifying Code Generation Candidates Using Software Categories....Pages 311-311
Front Matter....Pages 356-372
Model-in-the-Loop Testing of a Railway Interlocking System....Pages 375-375
Model Transformation Configuration and Variability Management for User Interface Design....Pages 375-389
Sustainable Enterprise Interoperability in Dynamic Collaborative Environments: A Knowledge Link Approach....Pages 390-404
Services for Business Knowledge Representation and Capture....Pages 405-420
Back Matter....Pages 421-436
....Pages 437-438

✦ Subjects

Software Engineering; Simulation and Modeling