QUT ePrints

On model typing

Steel, Jim & Jézéquel, Jean-Marc (2007) On model typing. Software & Systems Modeling, 6(4), pp. 401-413.

View at publisher

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 model- based 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 as model 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 their manipulation. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety.

Impact and interest:

38 citations in Scopus
Search Google Scholar™
17 citations in Web of Science®

Citation countsare sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

83 since deposited on 05 Oct 2010
33 in the past twelve months

Full-text downloadsdisplays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 37729
Item Type: Journal Article
Keywords: Metamodelling, Type Systems, Typing, Model Transformation, Model-Driven Architecture, Meta-Object Facility
DOI: 10.1007/s10270-006-0036-6
ISSN: 1619-1366
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Software Engineering (080309)
Divisions: Past > QUT Faculties & Divisions > Faculty of Built Environment and Engineering
Copyright Owner: Copyright 2007 Springer
Copyright Statement: The original publication is available at www.springerlink.com
Deposited On: 06 Oct 2010 07:37
Last Modified: 29 Feb 2012 23:57

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page