Composition of model transformations: a categorical framework

  • Authors:
  • Christoph Schulz;Michael Löwe;Harald König

  • Affiliations:
  • FHDW Hannover University of Applied Sciences, Hannover, Germany;FHDW Hannover University of Applied Sciences, Hannover, Germany;FHDW Hannover University of Applied Sciences, Hannover, Germany

  • Venue:
  • SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Consistency management in evolving information systems is hard, for two reasons. On the one hand, large databases exist which have to be adjusted. On the other hand, many programs access those data. Data and programs all have to be synchronized in a consistent manner. It cannot be relied upon, however, that no running processes exist during such a migration. Consequently, a restructuring of an information system needs to take care of the migration of object-oriented systems comprising data, programs, and processes. This co-evolution together with the notion of model transformation and instance migration has been introduced in earlier papers. This paper builds upon this exploratory work and analyses under which circumstances composed model transformations are compatible with composed instance migrations. We develop the notion of shortcut paths and show that composition is possible if shortcut paths are reflected by the underlying model transformations.