Mapping OCL Constraints Into CTL-Like Logic and SML for UML Validation

Provided by: RWSoftware
Topic: Software
Format: PDF
The UML (Unified Modeling Language) graphical models miss providing some pertinent elements of specification as constraints over objects and operations. To fill this lack, OCL (Object Constraint Language) has been developed by IBM and integrated to UML as a modern and formal modeling language, which is easy to learn and efficient to use. On the other hand, many works emerged providing a formal semantics to UML dynamic diagrams by using CP-nets (high-level petri nets). The latter are verified based on system properties written in temporal logic.

Find By Topic