Formally Defining and Iterating Infinite Models

Benoit Combemale 1, * Xavier Thirioux 2 Benoit Baudry 1
* Auteur correspondant
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Abstract : The wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime. These new uses cases for MDE raise challenges that had been unforeseen by the time standard modeling framework were designed. This paper proposes a formal definition of an infinite model, as well as a formal framework to reason on queries over infinite models. This formal query definition aims at supporting the design and verification of operations that manipulate infinite models. First, we precisely identify the MOF parts which must be refined to support infinite structure. Then, we provide a formal coinductive definition dealing with unbounded and potentially infinite graph-based structure.
Type de document :
Communication dans un congrès
R.B. France et al. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. Springer-Verlag Berlin Heidelberg, 7590, pp.119-133, 2012, LNCS. 〈10.1007/978-3-642-33666-9_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00716623
Contributeur : Benoit Combemale <>
Soumis le : mercredi 11 juillet 2012 - 01:26:26
Dernière modification le : vendredi 13 janvier 2017 - 14:21:32
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 21:44:28

Fichier

models12-infinitemodel.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Benoit Combemale, Xavier Thirioux, Benoit Baudry. Formally Defining and Iterating Infinite Models. R.B. France et al. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. Springer-Verlag Berlin Heidelberg, 7590, pp.119-133, 2012, LNCS. 〈10.1007/978-3-642-33666-9_9〉. 〈hal-00716623〉

Partager

Métriques

Consultations de
la notice

514

Téléchargements du document

191