Incollection,

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences

, and .
(2006)
DOI: 10.1007/11841883_28

Abstract

This paper studies two realizations of graph transformations which are based on a UML class diagram. The first realization achieves a representation in terms of descriptive pre- and postconditions. The second one yields an operationally executable command sequence in terms of basic commands for object and link creation, attribute modification, and object and link destruction. Our aim for realizing graph transformations in terms of target languages offering different views, i.e., descriptive or operational, is to take advantage of both views and to utilize the benefits which both views provide.

Tags

Users

  • @leonardo

Comments and Reviews