Typechecking UML static models.

Book chapter

Clark, T. 1999. Typechecking UML static models. in: «UML»’99 — The Unified Modeling Language Springer Berlin. Heidelberg.
Chapter titleTypechecking UML static models.
AuthorsClark, T.
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.

Research GroupResearch Group on Development of Intelligent Environments
SensoLab group
Book title«UML»’99 — The Unified Modeling Language
PublisherSpringer Berlin. Heidelberg
SeriesLecture Notes in Computer Science
ISBN
Hardcover9783540667124
Publication dates
Print1999
Publication process dates
Deposited29 Jun 2010
Output statusPublished
Additional information

Beyond the Standard Second International Conference, Fort Collins, CO, USA. 28-30 October 1999, proceedings.

Digital Object Identifier (DOI)https://doi.org/10.1007/3-540-46852-8_36
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/82xz4

Log in to edit
  • 43
    total views
  • 0
    total downloads
  • 1
    views this month
  • 0
    downloads this month

Export as