On Model Typing - Inria - Institut national de recherche en sciences et technologies du numérique
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⟩
702 Consultations
321 Téléchargements

Partager

More