An experimental investigation of formality in UML-based development
- Briand, L.C. (Lionel C.)
- Labiche, Y. (Yvan)
- Di Penta, M. (Massimiliano)
- Yan-Bondoc, H. (Han)
Publication date
October 2005
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
The Object Constraint Language (OCL) was introduced as part of the Unified Modeling Language (UML). Its main purpose is to make UML models more precise and unambiguous by providing a constraint language describing constraints that the UML diagrams alone do not convey, including class invariants, operation contracts, and statechart guard conditions. There is an ongoing debate regarding the usefulness of using OCL in UML-based development, questioning whether the additional effort and formali