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. (Full text available)

PDF
Download (66kB)
[img]
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):

Downloads

Downloads per month over past year