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. [Book Section] (doi:10.1007/3-540-46852-8_36)
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: | 13 Oct 2016 14:20 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6163 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)