Skip to main content.

View news

Experiments to support model versioning

Friday, 13 October 2006, 16:28
Category: Articles

The ZNF project has been selected as a case-study in a research work of the Departement of Computer Science, University of L'Aquila (Italy), about Model Driven Developement (MDD).

In a first work it is proposed to leverage conflict detection and resolution by adopting design-oriented descriptions endowed with custom conflict specification. Moreover, using ZNF as running example, it is shown how to deal with a semantic problem which in general is not covered by current detection techniques.

Currently a second work is in progress, with the objective of verifying the expressiveness of a Domain Specific Modeling Language (DSML) for specifying model differences, using the class diagram of the ZNF core design. Moreover the Abstract State Machine (ASM) transformation engine has been developed to generate both a newer version from an older one and viceversa.

The versions analyzed are 0.7.0, 0.7.5 and 0.7.6, change documents formalizing the modifications which took place in our models are available in EPS format.

XASM sources are also available:

A technical report will be available shortly.