Static Analysis of Conformance Preserving Model Transformation Rules

Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo

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 complexity of the graph constraints and model transformation rules, but that it is independent of the size of the input model.

Download


Paper Citation


in Harvard Style

Rabbi F., Kristensen L. and Lamo Y. (2018). Static Analysis of Conformance Preserving Model Transformation Rules.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 152-162. DOI: 10.5220/0006602601520162


in Bibtex Style

@conference{modelsward18,
author={Fazle Rabbi and Lars Michael Kristensen and Yngve Lamo},
title={Static Analysis of Conformance Preserving Model Transformation Rules},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={152-162},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006602601520162},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Static Analysis of Conformance Preserving Model Transformation Rules
SN - 978-989-758-283-7
AU - Rabbi F.
AU - Kristensen L.
AU - Lamo Y.
PY - 2018
SP - 152
EP - 162
DO - 10.5220/0006602601520162