Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse

Authors:
Paolo Bottoni;Francesco Parisi-Presicce;Simone Pulcini;Gabriele Taentzer
Affiliations:
Università di Roma “La Sapienza” -- Italy;Università di Roma “La Sapienza” -- Italy and George Mason University -- USA;Università di Roma “La Sapienza” -- Italy;Technische Universität Berlin -- Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 4
Cited 0

Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
The Java Language Specification

The Java Language Specification
Java(TM) Developer's Guide to Eclipse, The (2nd Edition)

Java(TM) Developer's Guide to Eclipse, The (2nd Edition)
Consistency checking and visualization of OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may occur on both sides. Rather than going through model reingeneering or code regeneration, it would be better to build a full correspondence between the starting models and keep it updated in an incremental way after each evolutionary step. In a series of previous papers, it was shown how distributed graph rewriting could support such updates. Here, we show how to construct a distributed graph from individual models, through the use of synchronized rules. In particular, we discuss the case of Java code and UML models, and propose an Eclipse implementation of the approach.