An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern

Dechen Zhan
  • Fonction : Auteur
  • PersonId : 1002394
Lanshun Nie
  • Fonction : Auteur
  • PersonId : 1002393
Xiaofei Xu
  • Fonction : Auteur
  • PersonId : 1002381

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-33068-1_15_Chapter.pdf (209.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01515734 , version 1 (28-04-2017)

Licence

Identifiants

Citer

Jin Li, Dechen Zhan, Lanshun Nie, Xiaofei Xu. An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern. 4th International Working Conference on Enterprise Interoperability (IWEI), Sep 2012, Harbin, China. pp.161-171, ⟨10.1007/978-3-642-33068-1_15⟩. ⟨hal-01515734⟩
55 Consultations
84 Téléchargements

Altmetric

Partager

More