Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Hi-index | 0.00 |
With the tool USE, UML class diagrams with additional OCL constraints can be validated and properties can be formally checked. Constraints may be class invariants and operation pre- and postconditions. USE builds system states with object diagrams and expresses system evolution with operations employing basic state manipulations by creating and destroying objects (nodes) and links (edges) and by modifying attributes.