loading
Papers

Research.Publish.Connect.

Paper

Authors: Fazle Rabbi ; Lars Michael Kristensen and Yngve Lamo

Affiliation: Western Norway University of Applied Sciences, Norway

ISBN: 978-989-758-283-7

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

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.212.98

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.