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.
Type de document :
Communication dans un congrès
Marten Sinderen; Pontus Johnson; Xiaofei Xu; Guy Doumeingts. 4th International Working Conference on Enterprise Interoperability (IWEI), Sep 2012, Harbin, China. Springer, Lecture Notes in Business Information Processing, LNBIP-122, pp.161-171, 2012, Enterprise Interoperability. 〈10.1007/978-3-642-33068-1_15〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01515734
Contributeur : Hal Ifip <>
Soumis le : vendredi 28 avril 2017 - 09:58:35
Dernière modification le : vendredi 28 avril 2017 - 10:00:56
Document(s) archivé(s) le : samedi 29 juillet 2017 - 12:49:42

Fichier

978-3-642-33068-1_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jin Li, Dechen Zhan, Lanshun Nie, Xiaofei Xu. An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern. Marten Sinderen; Pontus Johnson; Xiaofei Xu; Guy Doumeingts. 4th International Working Conference on Enterprise Interoperability (IWEI), Sep 2012, Harbin, China. Springer, Lecture Notes in Business Information Processing, LNBIP-122, pp.161-171, 2012, Enterprise Interoperability. 〈10.1007/978-3-642-33068-1_15〉. 〈hal-01515734〉

Partager

Métriques

Consultations de la notice

31

Téléchargements de fichiers

20