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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Minas, M. (2004). AGTIVE’03: Summary from the Viewpoint of Graph Transformation Specifications. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2003. Lecture Notes in Computer Science, vol 3062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25959-6_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-25959-6_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22120-3
Online ISBN: 978-3-540-25959-6
eBook Packages: Springer Book Archive