Interpreting the Object Constraint Language

Hamie, A. and Howse, J. and Kent, S. (1998) Interpreting the Object Constraint Language. In: Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific. IEEE Press pp. 288-295. ISBN 0-8186-9183-2.

PDF
Download (64Kb)	Preview

Abstract

The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of the whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states.

Item Type:	Conference or workshop item (Paper)
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User:	Mark Wheadon
Date Deposited:	22 Aug 2009 18:50
Last Modified:	06 Sep 2011 04:01
Resource URI:	http://kar.kent.ac.uk/id/eprint/21635 (The current URI for this page, for reference purposes)

• Depositors only (login required):