Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
The Object Constraint Language (OCL) is part of the Unified Modelling 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 and pre- and postconditions. This chapter explains the functionality of the UML Specification Environment USE, which allows to validate and verify UML and OCL descriptions. The paper shows that central safety properties of the BART system can be expressed with OCL. Test cases embodying central aspects of the BART system can be formulated within the USE system. It can be shown that the safety properties are satisfied by the test cases examined.