Typechecking UML static models.

Book chapter

Clark, T. 1999. Typechecking UML static models. in: «UML»’99 — The Unified Modeling Language Springer Berlin. Heidelberg.

ISBN
Chapter title	Typechecking UML static models.
Authors	Clark, 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 Group	Research Group on Development of Intelligent Environments
	SensoLab group
Book title	«UML»’99 — The Unified Modeling Language
Publisher	Springer Berlin. Heidelberg
Series	Lecture Notes in Computer Science
Hardcover	9783540667124
Publication dates
Print	1999
Publication process dates
Deposited	29 Jun 2010
Output status	Published
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
Language	English

Export as