AGTIVE’03: Summary from the Viewpoint of Graph Transformation Specifications

Abstract

Graphs are a natural means for representing interrelationships on an abstract level. This is one of the reasons for the success of UML that is used for abstract representations, i.e., specifications, of object-oriented programs. And when graphs are well-suited for specifications, graph transformations are particularly appropriate for specifications of dynamic changes. It is, therefore, not astonishing that graph transformation specifications was one of the major applications of graph transformations at this workshop on Applications of Graph Transformations with Industrial Relevance. As the term industrial relevance suggests development of large program systems, one might have expected that specification of program dynamics has dominated the workshop in the same way as UML currently dominates the field of program specification. However, this was not the case. The following briefly summarizes the aspect of graph transformation specifications of the workshop from two different view points: We first look at the areas where graph transformation specifications are currently used. And this shows that graph transformation specifications is not just on program specification. And second, we look at the purposes what graph transformation specifications are used for.