Table Of ContentLecture 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
