Experiments to support model versioningFriday, 13 October 2006, 16:28
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.
- ZNF 0.7.6 core design
- ZNF 0.7.5 core design
- ZNF 0.7.0 core design
- Delta 0.7.0-0.7.5
- Delta 0.7.5-0.7.0 (dual of 0.7.0-0.7.5)
- Delta 0.7.5-0.7.6
- Delta 0.7.6-0.7.5 (dual of 0.7.5-0.7.6)
- Delta 0.7.0-0.7.6
- Delta 0.7.6-0.7.0 (dual of 0.7.0-0.7.6)
XASM sources are also available:
- main.xasm (apply delta differences to generate a new version from an older one)
- mainDualMaker.xasm (generate a delta differences dual)
A technical report will be available shortly.