Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel

• Record Nr.: UNINA9910484056803321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
• ISBN: 1-280-39051-4; 9786613568434; 3-642-17322-5
• Edizione: [1st ed. 2010.]
• Descrizione fisica: 1 online resource (XIV, 768 p. 328 illus.)
• Collana: Programming and Software Engineering ; ; 5765
• Disciplina: 005.1028
• Soggetti: Software engineering; Computer logic; Programming languages (Electronic computers); Computer communication systems; Computer programming; Mathematical logic; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Programming Techniques; Mathematical Logic and Formal Languages; Aufsatzsammlung
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by ; Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments.