Towards sound, optimal, and flexible building from megamodels

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The model-driven development of systems involves multiple models, metamodels and transformations. Transformations – which may be bidirectional – specify, and provide means to enforce, desired “consistency” relationships between models. We can describe the whole configuration using a megamodel. As development proceeds, and various models are modified, we need to be able to restore consistency in the  megamodel, so that the consequences of decisions first recorded in one model are appropriately reflected in the others. At the same time, we need to minimise the amount of recomputation needed; in particular, we would like to avoid reapplying a transformation when no relevant changes have occurred in the models it relates. In general, however, different results are obtained depending on which models are allowed to be modified and on the order and direction of transformation application. In this paper we propose using an orientation model to make important choices explicit. We explain the relationship between software build systems and the megamodel consistency problem. We show how to extend the formalised build system pluto to provide a means of restoring consistency in a megamodel that is, in appropriate senses, flexible, sound and optimal.
Original languageEnglish
Title of host publicationProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Subtitle of host publicationOctober 14-19, 2018, Copenhagen, Denmark
PublisherACM
Pages301-311
Number of pages11
ISBN (Print)978-1-4503-4949-9
DOIs
Publication statusPublished - 14 Oct 2018
EventACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Copenhagen, Denmark
Duration: 14 Oct 201819 Oct 2018
http://www.modelsconference.org/

Conference

ConferenceACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS)
Abbreviated titleMODELS'18
Country/TerritoryDenmark
CityCopenhagen
Period14/10/1819/10/18
Internet address

Fingerprint

Dive into the research topics of 'Towards sound, optimal, and flexible building from megamodels'. Together they form a unique fingerprint.

Cite this