Sciweavers

Share
MODELS
2015
Springer

A Diagrammatic Approach to Model Completion

5 years 7 months ago
A Diagrammatic Approach to Model Completion
Metamodelling plays an important role in model-driven engineering as it can be used to define domain-specific modelling languages. During the modelling phase, software designers encode domain knowledge into models which may include both structural and behavioural aspects of a system. In this paper we propose a diagrammatic approach to aid the software designer to complete partial models and thereby reduce modelling effort. We introduce a declarative approach where we define completion rules that are executed by the use of model transformations. We also study the termination of such model transformation systems and provide sufficient conditions for termination by generalizing existing work on termination of model transformation systems.
Fazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristense
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Fazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristensen
Comments (0)
books