| Titre : |
Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems |
| Type de document : |
thèse |
| Auteurs : |
Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur |
| Importance : |
157 p. |
| Note générale : |
NNT 2013ESMA00019
Contents
Introduction
Bibliography
List of figures
List of tables
Relted publications
Résumé étendu
Mots clés |
| Catégories : |
Bases de données:Conception
Ingénierie dirigée par les modèles
Ontologies (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)
|
| Résumé : |
STATE OF THE ART
METAMODELING AND MODEL MANAGEMENT
Introduction
Background on MDE
Metamodeling
Model management
Conclusion
PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT
Introduction
Model repositories and their exploitation languages
Persistent metamodeling and model management systems
The OntoDB/OntoQL PMMS
Conclusion
CONTRIBUTIONS
REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS
Introduction
Requirements for complete PMMS
Synthesis and discussion
Objectives
Conclusion
BeMoRe: MODELING AND FORMAL REPRESENTATION
Introduction
Conceptual extension
Logical extension
Formalization of the conceptual extension
Extension of the algebra of the PMMS exploitation language
Conclusion
BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING
Introduction
Extension of the OntoQL language
The BeMoRe prototype
A preliminary performance evaluation
Conclusion
APPLICATIONS
MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES
Introduction
Background on ontologies
Ontology-based databases (OBDBs)
Encoding the structural semantics of the OWL language
Encoding operations for computing OWL non canonical concepts
Conclusion
ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES
Introduction
The considered OBDB design methodology
Enhancing the OBDB design methodology
Conclusion
MODEL TRANSFORMATION AND MODEL ANALYSIS
Introduction
Motivating example
Supporting AADL and MARTE in PMMS
Transforming models within PMMS
Using operations for model analysis
Conclusion
CONCLUSIONS AND PERSPECTIVES |
| En ligne : |
http://tel.archives-ouvertes.fr/tel-00939900 |
Faire une suggestion Affiner la rechercheExtension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems
