Validation sémantique d'objets à l'aide d'un modèle de référence et de contraintes

Abstract : In this paper, we account for the use of a set of reference domain (meta)models in order to check the semantic consistency of a set of instances. MDE techniques constitute the core of the validating process and allow a synchronized browsing of the domain metamodel and its related models. We come with a real case study within the field of temporal, periodical information management in web applications.
Mots-clés : Validation IDM sémantique
Document type :
Conference papers
IRIT - UMR 5505 - CNRS-INP-UPS-UTI. IDM 2011, Jun 2011, Lille, France. pp.109-113, 2011
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00600692
Contributor : Cyril Faucher <>
Submitted on : Thursday, June 16, 2011 - 11:08:10 AM
Last modification on : Thursday, February 9, 2017 - 4:58:37 PM
Document(s) archivé(s) le : Saturday, September 17, 2011 - 2:21:02 AM

File

20110502_FaucherEtAl_IDM11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00600692, version 1

Collections

L3I

Citation

Cyril Faucher, Samnang Chea, Frédéric Bertrand, Jean-Yves Lafaye. Validation sémantique d'objets à l'aide d'un modèle de référence et de contraintes. IRIT - UMR 5505 - CNRS-INP-UPS-UTI. IDM 2011, Jun 2011, Lille, France. pp.109-113, 2011. <hal-00600692>

Share

Metrics

Record views

229

Document downloads

156