Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.
The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.

The events whose papers are included in this volume are:

•  BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering
•  GCM 2017: 8th International Workshop on Graph Computation Models
• GRAND 2017: 1st International Workshop on Grand Challenges in Modeling
• MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering
• OCL 2017: 17th International Workshop in OCL and Textual Modeling
• STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation

Table of Contents

Chapter 1. Injecting Execution Traces into a Model-Driven Framework for Program Analysis
Chapter 2. Introduction of an OpenCL-Based Model Transformation Engine
Chapter 3. Collaborative Modelling with Version Control
Chapter 4. A Java Bytecode Metamodel for Composable Program Analyses
Chapter 5. Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness
Chapter 6. Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation
Chapter 7. Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars
Chapter 8. Checking Graph Programs for Confluence
Chapter 9. Loose Graph Simulations
Chapter 10. Models, More Models, and Then a Lot More
Chapter 11. On the Need for Temporal Model Repositories
Chapter 12. On the Need for Artifact Models in Model-Driven Systems Engineering Projects
Chapter 13. Cognifying Model-Driven Software Engineering
Chapter 14. Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation
Chapter 15. Some Narrow and Broad Challenges in MDD
Chapter 16. Modelling by the People, for the People
Chapter 17. From Building Systems Right to Building Right Systems
Chapter 18. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages
Chapter 19. Toward Product Lines of Mathematical Models for Software Model Management
Chapter 20. Model-Driven Interaction Design for Social Robots
Chapter 21. Towards Integration of Context-Based and Scenario-Based Development
Chapter 22. (An Example for) Formally Modeling Robot Behavior with UML and OCL
Chapter 23. Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
Chapter 24. Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments
Chapter 25. A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive Systems
Chapter 26. Workshop in OCL and Textual Modelling
Chapter 27. Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph
Chapter 28. Translating UML-RSDS OCL to ANSI C
Chapter 29. Mapping USE Specifications into Spec#
Chapter 30. Deterministic Lazy Mutable OCL Collections
Chapter 31. Step 0: An Idea for Automatic OCL Benchmark Generation
Chapter 32. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Chapter 33. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)
Chapter 34. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems
Chapter 35. Mobile Health ID Card
Chapter 36. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction
Chapter 37. DEIS: Dependability Engineering Innovation for Cyber-Physical Systems