Consistency, Independence and Consequences in UML and OCL Models
Lecture Notes in Computer Science - Trang 90-104 - 2009
Tóm tắt
Properties in UML models are frequently formulated as OCL invariants or OCL pre- and postconditions. The UML-based Specification Environment (USE) supports validation and to a certain degree verification of such properties. USE allows the developer to prove the...