Typechecking UML static models.

Clark, Tony (1999) Typechecking UML static models. In: «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science . Springer Berlin / Heidelberg. ISBN 9783540667124

Full text is not in this repository.

Abstract

UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking for type consistency of static models involves both inclusion and parametric polymorphism. This paper defines a semantics of type consistency in terms of a type theory for UML static models. The type theory is shown to be correct with respect to a value semantics for OCL. The existence of a consistency checking algorithm for UML static models is established.

Item Type: Book Section
Additional Information: Beyond the Standard Second International Conference, Fort Collins, CO, USA. 28-30 October 1999, proceedings.
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6163
Depositing User: Devika Mohan
Date Deposited: 29 Jun 2010 06:15
Last Modified: 22 Sep 2015 17:21
URI: http://eprints.mdx.ac.uk/id/eprint/6163

Actions (login required)

Edit Item Edit Item