This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999.
The 28 revised full papers presented went through an iterated process of reviewing and revision. Also included are three invited papers, 10 tool demonstrations, a summary of a panel discussion, and lists of graph transformation systems and books on graph transformations. The papers are organized in sections on modularization concepts, distributed systems modeling, software architecture: evolution and reengineering, visual graph transformation languages, visual language modeling and tool development, knowledge modeling, image recognition and constraint solving, process modeling and view integration, and visualization and animation tools.
Author(s): Rinus Plasmeijer, Marko van Eekelen (auth.), Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
Series: Lecture Notes in Computer Science 1779
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 496
Tags: Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science
Term Graph Rewriting and Mobile Expressions in Functional Languages....Pages 1-13
Graph Transformation Modules and Their Composition....Pages 15-30
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions....Pages 31-45
From UML Descriptions of High-Level Software Architectures to LQN Performance Models....Pages 47-63
On a Uniform Representation of Transformation Systems....Pages 63-78
A Note on Modeling Agent Systems by Graph Transformation....Pages 79-86
Compositional Construction of Simulation Models Using Graph Grammars....Pages 87-95
Graph-Based Reverse Engineering and Reengineering Tools....Pages 95-109
Support for Design Patterns through Graph Transformation Tools....Pages 111-126
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution....Pages 127-143
Visual Languages: Where Do We Stand?....Pages 145-164
From Graph Transformation to Rule-Based Programming with Diagrams....Pages 165-180
Using Fujaba for the Development of Production Control Systems....Pages 181-191
A Formal Definition of Structured Analysis with Programmable Graph Grammars....Pages 193-208
Creating Semantic Representations of Diagrams....Pages 209-224
Defining the Syntax and Semantics of Natural Visual Languages....Pages 225-232
G EN GE D A Development Environment for Visual Languages....Pages 233-241
Graph Visualisation in ArchiCAD....Pages 241-246
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling....Pages 247-254
Improving the Publication Chain through High-Level Authoring Support....Pages 255-262
Learning and Rewriting in Fuzzy Rule Graphs....Pages 263-271
A Proof Tool Dedicated to Clean....Pages 271-278
Document Table Recognition by Graph Rewriting....Pages 279-295
Image Structure from Monotonic Dual Graph Contraction....Pages 297-308
Planning Geometric Constraint Decomposition via Optimal Graph Transformations....Pages 309-324
AHEAD: A Graph-Based System for Modeling and Managing Development Processes....Pages 325-339
Formalizing UML-Based Process Models Using Graph Transformations....Pages 341-357
Formal Integration of Software Engineering Aspects Using a Graph Rewrite System - A Typical Experience ?! -....Pages 359-367
Towards Integrating Multiple Perspectives by Distributed Graph Transformation....Pages 369-378
Graph Algorithm Animation with Grrr....Pages 379-394
An L-System-Based Plant Modeling Language....Pages 395-410
TREEBAG — a Short Presentation....Pages 411-417
Tool Support for ViewPoint-Oriented Software Development....Pages 419-425
UPGRADE — A Framework for Graph-Based Visual Applications....Pages 427-432
Generating Diagram Editors with DiaGen ....Pages 433-440
PROgrammed Graph REwriting System PROGRES....Pages 441-448
Testing and Simulating Production Control Systems Using the Fujaba Environment....Pages 449-456
L-Studio/cpfg: A Software System for Modeling Plants....Pages 457-464
DiTo — A Distribution Tool Based on Graph Rewriting....Pages 465-472
A Demonstration of the Grrr Graph Rewriting Programming Language....Pages 473-480
AGG: A Tool Environment for Algebraic Graph Transformation....Pages 481-488
AGTIVE Workshop/Synmposium Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our Dreams....Pages 489-490
Best Presentation and Demonstration Awards....Pages 491-491
