Authors:
Fazle Rabbi
;
Lars Michael Kristensen
and
Yngve Lamo
Affiliation:
Western Norway University of Applied Sciences, Norway
Keyword(s):
Formal Methods for Model Driven Software Engineering, Formal Correctness of Model Transformations, Meta-modelling, Domain-specific Modeling Languages.
Related
Ontology
Subjects/Areas/Topics:
Constraint Modeling and Languages
;
Languages, Tools and Architectures
;
MetaModeling
;
Model Transformation
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Reasoning about Models
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
Model transformation is a core element in model driven software engineering and is used for several purposes,
including model migration, model synthesis, and code generation. Application of conformance preserving
transformation rules guarantee that produced output models will conform to its underlying metamodel. Conformance
persevering rules are therefore important in order to ensure the formal correctness of transformations.
However, to determine if a rule is conformance preserving requires sophisticated analysis techniques.
The contribution of this paper is a new algorithm for checking conformance preserving rules with respect to a
set of graph constraints and to prove the soundness of the algorithm. We apply our technique to homogeneous
model transformations where input and output models must conform to the same meta-model. The algorithm
relies on locality of a constrained graph to reduce the computational cost. We show that the performance of
our algorithm depends on the complexi
ty of the graph constraints and model transformation rules, but that it
is independent of the size of the input model.
(More)