Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Proceedings of the 1998 Asia Pacific Software Engineering Conference. IEEE, pp. 288-295. ISBN 0-8186-9183-2. (doi:10.1109/APSEC.1998.733731) (KAR id:21635)
|
PDF
Language: English |
|
|
Download this file (PDF/91kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: https://doi.org/10.1109/APSEC.1998.733731 |
|
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: | Book section |
|---|---|
| DOI/Identification number: | 10.1109/APSEC.1998.733731 |
| Uncontrolled keywords: | unified modeling language; computer aided software engineering; robustness; formal specifications; kernel; electrical capacitance tomography; logic design |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
|
| Depositing User: | Mark Wheadon |
| Date Deposited: | 22 Aug 2009 18:50 UTC |
| Last Modified: | 20 May 2025 10:09 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21635 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
