Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.
Peter PadawitzPublished in: UML (2000)
Keyphrases
- state machines
- constraint solving
- class diagrams
- sequence diagrams
- petri net
- constraint propagation
- constraint satisfaction problems
- class diagram
- intermediate representation
- constraint satisfaction
- test cases
- regression testing
- constraint programming
- uml class diagrams
- dependency graph
- temporal constraints
- software maintenance
- state machine
- high level