دانلود کتاب Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

فهرست مطالب :

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 -