Applications of Graph Transformations With Industrial Relevance: International Workshop, Agtive'99, Kerkrade, the Netherlands, September 1-3, 1999 : Proceedings

by Agtive'9 (1999 Kerkrade, Netherlands); Nagl, Manfred; Schurr, Andreas; Munch, Manfred

• ISBN13: 9783540676584
• ISBN10: 3540676589
• Format: Paperback
• Copyright: 2000-06-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Modularization Concepts
Term Graph Rewriting and Mobile Expressions in Functional Languages (Invited Paper)	1	(14)
R. Plasmeijer
M. van Eekelen
Graph Transformation Modules and Their Composition	15	(16)
F. Drewes
P. Knirsch
H.-J. Kreowski
S. Kuske
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions	31	(16)
M. Grosse-Rhode
F. Parisi-Presicce
M. Simeoni
G. Taentzer
Distributed System Modelling
From UML Descriptions of High-Level Software Architectures to LQN Performance Models	47	(16)
D.C. Petriu
X. Wang
On a Uniform Representation of Transformation Systems	63	(16)
P. Bottoni
F. Parisi-Presicce
M. Simeoni
A Note on Modeling Agent Systems by Graph Transformation	79	(8)
P. Knirsch
H.-J. Kreowski
Compositional Construction of Simulation Models Using Graph Grammars	87	(8)
L. Ribeiro
B. Copstein
Software Architectures: Evolution and Reengineering
Graph-Based Reverse Engineering and Reengineering Tools	95	(16)
K. Cremer
Support for Design Patterns Through Graph Transformation Tools	111	(16)
A. Radermacher
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution	127	(18)
T. Mens
Visual Graph Transformation Languages
Visual Languages: Where Do We Stand? (Invited Paper)	145	(20)
S. Levialdi
From Graph Transformation to Rule-Based Programming with Diagrams	165	(16)
B. Hoffmann
Using FUJABA for the Development of Production Control Systems	181	(12)
J. Niere
A. Zundorf
Visual Language Modeling and Tool Development
A Formal Definition of Structured Analysis with Programmable Graph Grammars	193	(16)
L. Baresi
M. Pezze
Creating Semantic Representations of Diagrams	209	(16)
M. Minas
Defining the Syntax and Semantics of Natural Visual Languages	225	(8)
D. Blostein
GenGEd: A Development Environment for Visual Languages	233	(8)
R. Bardohl
M. Niemann
M. Schwarze
Tool Development and Knowledge Modeling in Different Applications
Graph Visualization in ArchiCAD	241	(6)
J. Szuba
E. Grabska
A. Borkowski
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling	247	(8)
S. Gruner
Improving the Publication Chain Through High-Level Authoring Support	255	(8)
F. Gatzemeier
O. Meyer
Learning and Rewriting in Fuzzy Rule Graphs	263	(8)
I. Fischer
M. Koch
M. R. Berthold
A Proof Tool Dedicated to Clean - The First Prototype	271	(8)
M. de Mol
M. van Eekelen
Image Recognition and Constraint Solving
Document Table Recognition by Graph Rewriting (Invited Paper)	279	(18)
M. A. Rahgozar
Image Structure from Monotonic Dual Graph Contraction	297	(12)
R. Englert
W. Kropatsch
Planning Geometric Constraint Decompositions via Optimal Graph Transformations	309	(16)
C. M. Hoffmann
A. Lomonosov
M. Sitharam
Process Modeling and View Integration
AHEAD: A Graph-Based System for Modeling and Managing Development Processes	325	(16)
D. Jager
A. Schleicher
B. Westfechtel
Formalizing UML-Based Process Models Using Graph Transformations	341	(18)
A. Schleicher
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!	359	(10)
A. Zamperoni
G. Engels
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation	369	(10)
M. Goedicke
B. Enders
T. Meyer
G. Taentzer
Visualization and Animation Tools
Graph Algorithm Animation with Grrr	379	(16)
P. J. Rodgers
N. Vidal
An L-System-Based Plant Modeling Language	395	(16)
P. Prusinkiewicz
J. Hanan
R. Mech
Tool Demonstrations
Treebag - a Short Presentation	411	(8)
F. Drewes
P. Knirsch
Tool Support for ViewPoint-oriented Software Development	419	(8)
M. Goedicke
B. Enders
T. Meyer
G. Taentzer
Upgrade - A Framework for Graph-Based Visual Applications	427	(6)
D. Jager
Generating Diagram Editors with DiaGen	433	(8)
M. Minas
O. Koth
PROgrammed Graph REwriting System Progres	441	(8)
M. Munch
Testing and Simulating Production Control Systems Using the Fujaba Environment	449	(8)
J. Niere
A. Zundorf
L-studio/cpfg: A Software System for Modeling Plants	457	(8)
P. Prusinkiewicz
R. Karwowski
R. Mech
J. Hanan
DiTo - A Distribution Tool Based on Graph Rewriting	465	(8)
A. Radermacher
A Demonstration of the Grrr Graph Rewriting Programming Language	473	(8)
P. J. Rodgers
N. Vidal
ACG: A Tool Environment for Algebraic Graph Transformation	481	(8)
G. Taentzer
Summary of the Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our Dreams	489	(2)
A. Schurr
Best Presentation and Demonstration Awards	491	(2)
B. Westfechtel
Author Index	493	(2)
Books on Graph Transformation	495