Realizing graph transformations by pre- and postconditions and command sequences

Authors:
Fabian Büttner;Martin Gogolla
Affiliations:
Computer Science Department, Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department, Database Systems Group, University of Bremen, Bremen, Germany
Venue:
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Year:
2006

Citing 9
Cited 4

Developing tools with the PROGRES environment

Building tightly integrated software development environments
HOL-OCL: Experiences, Consequences and Design Choices

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Unified Modeling Language Reference Manual, The (2nd Edition)

Unified Modeling Language Reference Manual, The (2nd Edition)
Tool integration at the meta-model level: the Fujaba approach

International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Executable Visual Contracts

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
From UML Models to Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
OCL and graph-transformations: a symbiotic alliance to alleviate the frame problem

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Model checking dynamic states in GROOVE

SPIN'06 Proceedings of the 13th international conference on Model Checking Software

Analysing Graph Transformation Rules through OCL

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
From Graph Transformation to OCL Using USE

Applications of Graph Transformations with Industrial Relevance
On Integrating OCL and Triple Graph Grammars

Models in Software Engineering
Formal Specification and Analysis of Domain Specific Models Using Maude

Simulation

Quantified Score

Hi-index	0.00

Visualization

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.