Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Lecture Notes in Computer Science (5765))

This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of focused research areas, essays reflecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. The volume is structured in five parts: graph transformations, software architectures and reengineering, process support, embedded systems engineering as well as engineering design applications. Front Matter....Pages - Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl....Pages 1-5 The Edge of Graph Transformation — Graphs for Behavioural Specification....Pages 6-32 Graph Transformation by Computational Category Theory....Pages 33-58 On GS-Monoidal Theories for Graphs with Nesting....Pages 59-86 Stochastic Modelling and Simulation of Mobile Systems....Pages 87-101 Autonomous Units and Their Semantics – The Concurrent Case....Pages 102-120 Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation....Pages 121-140 Extended Triple Graph Grammars with Efficient and Compatible Graph Translators....Pages 141-174 Controlling Reuse in Pattern-Based Model-to-Model Transformations....Pages 175-201 Lessons Learned from Building a Graph Transformation System....Pages 202-223 Workflow-Driven Tool Integration Using Model Transformations....Pages 224-248 The Architecture Description Language MoDeL....Pages 249-273 Towards Managing Software Architectures with Ontologies....Pages 274-308 Using Role-Play Diagrams to Improve Scenario Role-Play....Pages 309-334 Reverse Engineering Using Graph Queries....Pages 335-362 Graph-Based Structural Analysis for Telecommunication Systems....Pages 363-392 Do We Really Know How to Support Processes? Considerations and Reconstruction....Pages 393-410 A Meta-Method for Defining Software Engineering Methods....Pages 411-440 Techniques for Merging Views of Software Processes....Pages 441-472 Model Checking Programmable Router Configurations....Pages 473-491 Architectural Issues of Adaptive Pervasive Systems....Pages 492-511 Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report....Pages 512-532 Model-Driven Development with Mechatronic UML....Pages 533-554 Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent....Pages 555-579 Multi-view Modeling to Support Embedded Systems Engineering in SysML....Pages 580-601 Requirements Engineering in Complex Domains....Pages 602-620 Tool Support for Dynamic Development Processes....Pages 621-654 An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries....Pages 655-682 Integration Tools for Consistency Management between Design Documents in Development Processes....Pages 683-718 Towards Semantic Navigation in Mobile Robotics....Pages 719-748 Model Driven Engineering in Operative Industrial Process Control Environments....Pages 749-765 Back Matter....Pages - This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more.