Loading...
conference paper
Enhancing OCL for Specifying Pre- and Postconditions
2000
UML 2.0 - The Future of the UML Object Constraint Language (OCL). Workshop of UML 2000 - The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2 - 6, 2000.
This paper proposes a number of enhancements to UML's Object Constraint Language to improve its usability for specifying operations by pre- and postconditions. In particular, we propose notational shortcuts and semantic modifications to OCL so that it can be more effectively used by developers. Also, the paper discusses an approach for specifying, in OCL, events and exceptions which are output and raised by an operation.
Loading...
Name
sendall-2000-eospp.pdf
Access type
openaccess
Size
98.03 KB
Format
Adobe PDF
Checksum (MD5)
ba5083ab3a64c2eb6353ba741a6ae88a