Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday PDF
Preview Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Lecture Notes in Computer Science 5765 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Gregor Engels Claus Lewerentz Wilhelm Schäfer Andy Schürr Bernhard Westfechtel (Eds.) Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday 1 3 VolumeEditors GregorEngels UniversityofPaderborn 33098Paderborn,Germany E-mail:[email protected] ClausLewerentz BrandenburgTechnicalUniversityatCottbus 03046Cottbus,Germany E-mail:[email protected] WilhelmSchäfer UniversityofPaderborn 33098Paderborn,Germany E-mail:[email protected] AndySchürr TechnischeUniversitätDarmstadt 64283Darmstadt,Germany E-mail:[email protected] BernhardWestfechtel UniversityofBayreuth 95447Bayreuth,Germany E-mail:[email protected] Coverillustration: TheillustrationappearingonthecoverofthisbookistheworkofAnnaTait. LibraryofCongressControlNumber:2010939155 CRSubjectClassification(1998):D.2,F.3,D.3,D.2.4,C.2,D.1 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ISSN 0302-9743 ISBN-10 3-642-17321-7SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-17321-9SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©Springer-VerlagBerlinHeidelberg2010 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper 06/3180 Manfred Nagl Preface Manfred Nagl has been a very active, productive researcher with great impact inanumberofdifferentareas,e.g.,graphtransformationsandtheirapplications to a wide range of disciplines, software engineering environments, engineering designprocesses,andsoftwarearchitectures.We—fiveofhisnumerousacademic descendants — were influenced deeply by Manfred’s work. For this reason, we decidedtopreparethisvolume,whichwaseditedinhishonorontheoccasionof his 65thbirthday.A“pre-release”(book ofabstracts)waspresentedtoManfred atacelebrationatRWTHAachenUniversityinJune2009.Thecompletevolume followed when Manfred received an honorary doctorate from the University of Paderbornin November 2010. Altogether, we collected 30 papers. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of fo- cused research areas, essays reflecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. All papers were subject to a thorough quality control process involving at least two reviews for each paper. The editors were assisted by numerous addi- tional reviewers, whose work is gratefully acknowledged. The volume is structured into five parts, each of which was managed by one of the editors: – Graph Transformations — Theory and Applications (Andy Schu¨rr, Darm- stadt University of Technology) – Software Architectures and Reengineering (Claus Lewerentz, Brandenburg University of Technology) – Process Support (Gregor Engels, University of Paderborn) – EmbeddedSystemsEngineering(WilhelmScha¨fer,UniversityofPaderborn) – Engineering Design Applications (Bernhard Westfechtel, University of Bay- reuth) Wewouldliketothankallauthorsforcontributingtothehighqualityofthis volume. Special thanks to Bernhard Rumpe, who inspired and motivated us to edit a Festschrift in honor of Manfred Nagl. November 2010 Gregor Engels Claus Lewerentz Wilhelm Scha¨fer Andy Schu¨rr Bernhard Westfechtel Organization Editors Gregor Engels University of Paderborn Claus Lewerentz BrandenburgUniversityofTechnology,Cottbus Wilhelm Scha¨fer University of Paderborn Andy Schu¨rr Darmstadt University of Technology Bernhard Westfechtel University of Bayreuth Additional Reviewers Uwe Assmann Reiko Heckel Klaus Pohl Simon Becker Dominik Henrich Arend Rensink Dirk Beyer Stefan Jablonski Kurt Schneider Andrea Corradini Matthias Jarke Oliver Sudmann Ju¨rgen Ebert Gabor Karsai Gabriele Taentzer Tobias Eckardt Hans-Jo¨rg Kreowski Jos´ee Tass´e Hartmut Ehrig Sabine Kuske Daniel Varro Wolfgang Emmerich Juan de Lara Heike Wehrheim Carlo Ghezzi Renate L¨offler Andreas Wiesner Holger Giese Jan Meyer Albert Zu¨ndorf Martin Glinz Mark Minas Joel Greenyer Chris Paredis Table of Contents Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl ................................................... 1 Gregor Engels, Claus Lewerentz, Wilhelm Scha¨fer, Andy Schu¨rr, and Bernhard Westfechtel Graph Transformations: Theory and Applications The Edge of Graph Transformation—Graphs for Behavioural Specification .................................................... 6 Arend Rensink Graph Transformation by Computational Category Theory............ 33 Mark Minas and Hans Ju¨rgen Schneider On GS-Monoidal Theories for Graphs with Nesting................... 59 Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Ugo Montanari Stochastic Modelling and Simulation of Mobile Systems............... 87 Reiko Heckel and Paolo Torrini Autonomous Units and Their Semantics – The Concurrent Case ....... 102 Hans-J¨org Kreowski and Sabine Kuske ParallelIndependenceofAmalgamatedGraphTransformationsApplied to Model Transformation ......................................... 121 Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, and Gabriele Taentzer Extended Triple Graph Grammars with Efficient and Compatible Graph Translators ............................................... 141 Felix Klar, Marius Lauder, Alexander Ko¨nigs, and Andy Schu¨rr Controlling Reuse in Pattern-Based Model-to-Model Transformations... 175 Esther Guerra, Juan de Lara, and Fernando Orejas Lessons Learned from Building a Graph Transformation System ....... 202 Gabor Karsai Workflow-DrivenTool Integration Using Model Transformations ....... 224 Andr´as Balogh, Ga´bor Bergmann, Gyo¨rgy Cserta´n, L´aszlo´ Go¨nczy, A´kos Horva´th, Istva´n Majzik, Andra´s Pataricza, Bala´zs Polg´ar, Istva´n R´ath, D´aniel Varro´, and Gergely Varro´ XII Table of Contents Software Architectures and Reengineering The Architecture Description Language MoDeL...................... 249 Peter Klein Towards Managing Software Architectures with Ontologies ............ 274 Marcel Bennicke and Claus Lewerentz Using Role-Play Diagrams to Improve Scenario Role-Play ............. 309 Ju¨rgen Bo¨rstler Reverse Engineering Using Graph Queries........................... 335 Ju¨rgen Ebert and Daniel Bildhauer Graph-Based Structural Analysis for Telecommunication Systems ...... 363 Andr´e Marburger and Bernhard Westfechtel Process Support Do We Really Know How to Support Processes? Considerations and Reconstruction .................................................. 393 Stefan Jablonski A Meta-Method for Defining Software Engineering Methods ........... 411 Gregor Engels and Stefan Sauer Techniques for Merging Views of Software Processes.................. 441 Jos´ee Tass´e, Nazim H. Madhavji, and Amandeep Azad Embedded Systems Engineering Model Checking Programmable Router Configurations................ 473 Luca Zanolin, Cecilia Mascolo, and Wolfgang Emmerich Architectural Issues of Adaptive Pervasive Systems................... 492 Mauro Caporuscio, Marco Funaro, and Carlo Ghezzi Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report............................................ 512 Albert Zu¨ndorf, Leif Geiger, Ralf Gemmerich, Ruben Jubeh, Ju¨rgen Leohold, Dieter Mu¨ller, Carsten Reckord, Christian Schneider, and Sven Semmelrodt Model-Driven Development with Mechatronic UML................ 533 Wilhelm Scha¨fer and Heike Wehrheim Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent ............................................... 555 Holger Giese, Stephan Hildebrandt, and Stefan Neumann Table of Contents XIII Multi-view Modeling to Support Embedded Systems Engineering in SysML ......................................................... 580 Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, and Christiaan J.J. Paredis Engineering Design Applications Requirements Engineering in Complex Domains ..................... 602 Matthias Jarke, Ralf Klamma, Klaus Pohl, and Ernst Sikora Tool Support for Dynamic Development Processes ................... 621 Thomas Heer, Markus Heller, Bernhard Westfechtel, and Ren´e Wo¨rzberger An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries .................... 655 Ri Hai, Manfred Theißen, and Wolfgang Marquardt Integration Tools for Consistency Management between Design Documents in Development Processes .............................. 683 Simon M. Becker and Anne-Th´er`ese Ko¨rtgen Towards Semantic Navigation in Mobile Robotics .................... 719 Adam Borkowski, Barbara Siemiatkowska, and Jacek Szklarski Model Driven Engineering in Operative Industrial Process Control Environments – Overview......................................... 749 Ulrich Epple Author Index.................................................. 767
The list of books you might like
