Skip to Main content Skip to Navigation
New interface
Journal articles

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 metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Thursday, April 29, 2010 - 2:58:53 PM
Last modification on : Friday, February 4, 2022 - 3:17:35 AM
Long-term archiving on: : Thursday, September 30, 2010 - 4:17:08 PM


Files produced by the author(s)


  • HAL Id : inria-00477547, version 1


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



Record views


Files downloads