On Model Typing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2007

On Model Typing

Résumé

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.
Fichier principal
Vignette du fichier
Steel07a.pdf (880.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00477547 , version 1 (29-04-2010)

Identifiants

  • HAL Id : inria-00477547 , version 1

Citer

Jim Steel, Jean-Marc Jézéquel. On Model Typing. Software and Systems Modeling, 2007, 6 (4), pp.401--414. ⟨inria-00477547⟩
663 Consultations
308 Téléchargements

Partager

Gmail Facebook X LinkedIn More