| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern
Abstract : The correctness of model transformation is an import research field in model-driven architecture. Syntactic correctness and semantic consistency are hot topics in the field of model transformation. Syntactic correctness has many mature solutions. However the validation of semantic consistency has some problems. Therefore, how to validate semantic consistency of model transformation is a major problem in model-driven development. In this paper, we propose a validation approach for semantic consistency of model transformation, which is based on pattern. We analyze some patterns in models and make these patterns as transformation pattern. We define transformation rule with transformation pattern and analyze three parts of semantic transformation. We present two theorems to validate semantic consistency of model transformation. Finally, we give a case to illustrate the effectiveness of our approach.
Cited literature [11 references]
https://hal.inria.fr/hal-01515734
Contributor : Hal Ifip <>
Submitted on : Friday, April 28, 2017 - 9:58:35 AM
Last modification on : Friday, April 28, 2017 - 10:00:56 AM
Long-term archiving on: : Saturday, July 29, 2017 - 12:49:42 PM
Contributor : Hal Ifip <>
Submitted on : Friday, April 28, 2017 - 9:58:35 AM
Last modification on : Friday, April 28, 2017 - 10:00:56 AM
Long-term archiving on: : Saturday, July 29, 2017 - 12:49:42 PM
File
978-3-642-33068-1_15_Chapter.p...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License