Modeling and Validating Mondex Scenarios Described in UML and OCL with USE (2008)
Mirco Kuhlmann, Martin Gogolla
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pre- and...