Interpreting the Object Constraint Language

Ali Hamie; John Howse; Stuart Kent

Interpreting the Object Constraint Language

Ali Hamie, John Howse, Stuart Kent

School of Arch, Tech and Eng

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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.

Original language	English
Title of host publication	Asia Pacific Conference in Software Engineering
Publisher	IEEE
Pages	182-196
Number of pages	14
Publication status	Published - 1998

Cite this

@inproceedings{9fbf7bfb61c942079c08e2b8c6ed6591,

title = "Interpreting the Object Constraint Language",

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. ",

author = "Ali Hamie and John Howse and Stuart Kent",

year = "1998",

language = "English",

pages = "182--196",

booktitle = "Asia Pacific Conference in Software Engineering",

publisher = "IEEE",

}

TY - GEN

T1 - Interpreting the Object Constraint Language

AU - Hamie, Ali

AU - Howse, John

AU - Kent, Stuart

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

M3 - Conference contribution with ISSN or ISBN

SP - 182

EP - 196

BT - Asia Pacific Conference in Software Engineering

PB - IEEE

ER -

Interpreting the Object Constraint Language

Abstract

Fingerprint

Cite this