Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Front Matter ....Pages I-XXIV
Front Matter ....Pages 1-1
 Injecting Execution Traces into a Model-Driven Framework for Program Analysis  (Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu)....Pages 3-13
 Introduction of an OpenCL-Based Model Transformation Engine  (Tamás Fekete, Gergely Mezei)....Pages 14-19
 Collaborative Modelling with Version Control  (Steven Kelly)....Pages 20-29
 A Java Bytecode Metamodel for Composable Program Analyses  (Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit)....Pages 30-40
Front Matter ....Pages 41-41
 Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness  (Ernst Althaus, Andreas Hildebrandt, Domenico Mosca)....Pages 43-59
 Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation  (Alexandru Burdusel, Steffen Zschaler)....Pages 60-75
 Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars  (Berthold Hoffmann, Mark Minas)....Pages 76-91
 Checking Graph Programs for Confluence  (Ivaylo Hristakiev, Detlef Plump)....Pages 92-108
 Loose Graph Simulations  (Alessio Mansutti, Marino Miculan, Marco Peressotti)....Pages 109-126
Front Matter ....Pages 127-127
 Models, More Models, and Then a Lot More  (Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit)....Pages 129-135
 On the Need for Temporal Model Repositories  (Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser)....Pages 136-145
 On the Need for Artifact Models in Model-Driven Systems Engineering Projects  (Arvid Butting, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann)....Pages 146-153
 Cognifying Model-Driven Software Engineering  (Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard)....Pages 154-160
 Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation  (Antonio Garcia-Dominguez, Nelly Bencomo)....Pages 161-171
 Some Narrow and Broad Challenges in MDD  (Martin Gogolla, Frank Hilken, Andreas Kästner)....Pages 172-177
 Modelling by the People, for the People  (Steven Kelly)....Pages 178-183
 From Building Systems Right to Building Right Systems  (Vinay Kulkarni, Sreedhar Reddy)....Pages 184-192
 The Tool Generation Challenge for Executable Domain-Specific Modeling Languages  (Tanja Mayerhofer, Benoit Combemale)....Pages 193-199
 Toward Product Lines of Mathematical Models for Software Model Management  (Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum)....Pages 200-216
Front Matter ....Pages 217-217
 Model-Driven Interaction Design for Social Robots  (Gary Cornelius, Nico Hochgeschwender, Holger Voos)....Pages 219-224
 Towards Integration of Context-Based and Scenario-Based Development  (Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss)....Pages 225-231
 (An Example for) Formally Modeling Robot Behavior with UML and OCL  (Martin Gogolla, Antonio Vallecillo)....Pages 232-246
 Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications  (Daniel Gritzner, Joel Greenyer)....Pages 247-262
 Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments  (Norman Köster, Sebastian Wrede, Philipp Cimiano)....Pages 263-279
 A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive Systems  (Christopher Werner, Sebastian Götz, Uwe Aßmann)....Pages 280-294
Front Matter ....Pages 295-295
 Workshop in OCL and Textual Modelling  (Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink)....Pages 297-301
 Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph  (Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickaël Clavreul)....Pages 302-316
 Translating UML-RSDS OCL to ANSI C  (Kevin Lano, Sobhan Yassipour-Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz-Rahimi)....Pages 317-330
 Mapping USE Specifications into Spec#  (Jagadeeswaran Thangaraj, SenthilKumaran Ulaganathan)....Pages 331-339
 Deterministic Lazy Mutable OCL Collections  (Edward D. Willink)....Pages 340-355
 Step 0: An Idea for Automatic OCL Benchmark Generation  (Hao Wu)....Pages 356-364
Front Matter ....Pages 365-365
 SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools  (Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez et al.)....Pages 367-374
 Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)  (Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio et al.)....Pages 375-384
 Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems  (Simos Gerasimou, Dimitris Kolovos, Richard Paige, Michael Standish)....Pages 385-393
 Mobile Health ID Card  (Malgorzata Zofia Goraczek, Michael Sachs, Oliver Terbu, Lei Zhu, Birgit Scholz, Georg Egger-Sidlo et al.)....Pages 394-402
 SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction  (Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson et al.)....Pages 403-408
 DEIS: Dependability Engineering Innovation for Cyber-Physical Systems  (Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud)....Pages 409-416
Back Matter ....Pages 417-418