Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proc [Paperback]

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.Modularization Concepts.- Term Graph Rewriting and Mobile Expressions in Functional Languages.- Graph Transformation Modules and Their Composition.- Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.- Distributed System Modelling.- From UML Descriptions of High-Level Software Architectures to LQN Performance Models.- On a Uniform Representation of Transformation Systems.- A Note on Modeling Agent Systems by Graph Transformation.- Compositional Construction of Simulation Models Using Graph Grammars.- Software Architectures: Evolution and Reengineering.- Graph-Based Reverse Engineering and Reengineering Tools.- Support for Design Patterns through Graph Transformation Tools.- Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution.- Visual Graph Transformation Languages.- Visual Languages: Where Do We Stand?.- From Graph Transformation to Rule-Based Programming with Diagrams.- Using Fujaba for the Development of Production Control Systems.- Visual Language Modeling and Tool Development.- A Formal Definition of Structured Analysis with Programmable Gl3.