| Using the UML Specication Environment USE (2007) | |||||||||||||||||
Abstract | |||||||||||||||||
| The Object Constraint Language OCL is part of the Unied Modeling Language UML. OCL allows to describe system structure by invariants and system behavior by pre- and postconditions. This paper explains the functionality of the UML Specication Environment USE which allows to validate and verify aspects of formal OCL specications. The paper also uses a new approach to handle UML statecharts by OCL pre- and postconditions. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||