Article thumbnail

Validating OCL Specifications with the USE Tool An Example Based on the BART Case Study

By Paul Ziemann and Martin Gogolla

Abstract

AbstractThe Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants as well as pre- and postconditions. This paper explains the functionality of the UML Specification Environment USE which allows to validate UML and OCL descriptions.The paper shows that central safety properties of the train system described in the well-known BART case study can be expressed with OCL. Test cases embodying central aspects of this train system can be formulated within the USE system. It can be shown that the safety properties are satisfied by the test cases examined

Publisher: Published by Elsevier B.V.
Year: 2003
DOI identifier: 10.1016/S1571-0661(04)80816-8
OAI identifier:

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.