A formal approach to the cross-language
version management of models;
Proc. 5th Nordic Workshop on Model Driven
Engineering, 27-29 August 2007, Ronneby, Sweden;
Research report, U. Göteborg;
Abstract: This paper presents an approach to formally define version
management related operations and properties for models irrespective
of the modeling language, the underlying data structure, tool or other
technical constraints. The approach transforms models into an extremely
simple format defined both as a meta-metamodel and mathematically.
The operations necessary for version-management tasks are also defined
formally. The approach has been implemented in Prolog and tested
successfully in two large scale industrial projects. An earlier version of the
first part of this paper has been published as .