On model typing

Steel, Jim and Jezequel, Jean-Marc (2007) On model typing. Software and Systems Modeling, 6 4: 401-413. doi:10.1007/s10270-006-0036-6

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Steel, Jim
Jezequel, Jean-Marc
Title On model typing
Journal name Software and Systems Modeling   Check publisher's open access policy
ISSN 1619-1366
Publication date 2007-12
Sub-type Article (original research)
DOI 10.1007/s10270-006-0036-6
Volume 6
Issue 4
Start page 401
End page 413
Total pages 12
Editor Robert France
Bernhard Rumpe
Lionel Briand
Geri Georg
Place of publication Heidelberg, Germany
Publisher Springer
Language eng
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.
Keyword MDA
Type systems
Model transformation
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ
Additional Notes Communicated by Dr. Lionel Briand. Guest editorial: Lionel Briand and Geri Georg.

Document type: Journal Article
Sub-type: Article (original research)
Collections: ERA 2012 Admin Only
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 37 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 69 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 16 Mar 2011, 12:30:41 EST