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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00477547
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 2:58:53 PM
Last modification on : Wednesday, September 25, 2019 - 10:20:07 AM
Long-term archiving on : Thursday, September 30, 2010 - 4:17:08 PM

File

Steel07a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00477547, version 1

Citation

Jim Steel, Jean-Marc Jézéquel. On Model Typing. Software and Systems Modeling, Springer Verlag, 2007, 6 (4), pp.401--414. ⟨inria-00477547⟩

Share

Metrics

Record views

548

Files downloads

206