This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.
Author(s): Jana Koehler, Thomas Gschwind, Jochen Küster, Cesare Pautasso, Ksenia Ryndina (auth.), Andy Schürr, Manfred Nagl, Albert Zündorf (eds.)
Series: Lecture Notes in Computer Science 5088 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 594
Tags: Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Data Structures; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science
Front Matter....Pages -
Combining Quality Assurance and Model Transformations in Business-Driven Development....Pages 1-16
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts....Pages 17-31
Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report....Pages 32-43
Using Graph Transformation to Support Collaborative Ontology Evolution....Pages 44-58
Modelling of Longitudinal Information Systems with Graph Grammars....Pages 59-65
A Generic Layout Algorithm for Meta-model Based Editors....Pages 66-81
Domain Specific Languages with Graphical and Textual Views....Pages 82-97
Generating Domain-Specific Model Editors with Complex Editing Commands....Pages 98-103
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation....Pages 104-119
Defining Abstract Graph Views as Module Interfaces....Pages 120-135
Programmed Graph Rewriting with DEVS....Pages 136-151
Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture....Pages 152-167
Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD....Pages 168-183
A Single-Step Term-Graph Reduction System for Proof Assistants....Pages 184-200
Shaped Generic Graph Transformation....Pages 201-216
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code....Pages 217-232
Graph Rewriting for Hardware Dependent Program Optimizations....Pages 233-248
Transforming Timeline Specifications into Automata for Runtime Monitoring....Pages 249-264
Visualization, Simulation and Analysis of Reconfigurable Systems....Pages 265-280
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing....Pages 281-296
Efficient Graph Matching with Application to Cognitive Automation....Pages 297-312
Checking and Enforcement of Modeling Guidelines with Graph Transformations....Pages 313-328
Aspect Diagrams for UML Activity Models....Pages 329-344
Model-Driven Software Development with Graph Transformations: A Comparative Case Study....Pages 345-360
Verification and Synthesis of OCL Constraints Via Topology Analysis....Pages 361-376
State of the Art of QVT: A Model Transformation Language Standard....Pages 377-393
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database....Pages 394-409
Applying a Grouping Operator in Model Transformations....Pages 410-425
Modeling Successively Connected Repetitive Subgraphs....Pages 426-441
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages....Pages 442-455
Recursive Graph Pattern Matching....Pages 456-470
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching....Pages 471-486
AGTIVE 2007 Graph Transformation Tool Contest....Pages 487-492
Ludo: A Case Study for Graph Transformation Tools....Pages 493-513
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools....Pages 514-539
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools....Pages 540-565
The EMF Model Transformation Framework....Pages 566-567
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool....Pages 568-569
The Modelling Platform GroIMP and the Programming Language XL....Pages 570-572
Metamodeling with MOFLON....Pages 573-574
The Graph Rewriting Language and Environment PROGRES....Pages 575-576
Algorithm and Tool for Ontology Integration Based on Graph Rewriting....Pages 577-582
Generating Eclipse Editor Plug-Ins Using Tiger....Pages 583-584
From Graph Transformation to OCL Using USE....Pages 585-586
Introducing the VMTS Mobile Toolkit....Pages 587-592
Back Matter....Pages -
