On Model Typing

Jim Steel 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this modelbased paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels asmodel types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. We suggest extensions to existing type system formalisms to support these concepts and theirmanipulation. Using a simple examplewe show how this extended approach permits more flexible reuse, while preserving type safety.
Type de document :
Article dans une revue
Journal of Software and Systems Modeling (SoSyM), Springer, 2007, 6 (4), pp.401--414
Liste complète des métadonnées

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

Contributeur : Didier Vojtisek <>
Soumis le : jeudi 29 avril 2010 - 14:58:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:17:08


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00477547, version 1


Jim Steel, Jean-Marc Jézéquel. On Model Typing. Journal of Software and Systems Modeling (SoSyM), Springer, 2007, 6 (4), pp.401--414. 〈inria-00477547〉



Consultations de la notice


Téléchargements de fichiers