Formal definition of measures for UML statechart diagrams using OCL.
Luis ReynosoJuan Antonio Cruz-LemusMarcela GeneroMario PiattiniPublished in: SAC (2008)
Keyphrases
- uml diagrams
- uml class diagrams
- software design
- sequence diagrams
- class diagram
- class diagrams
- unified modeling language
- test cases
- constraint language
- metamodel
- software engineers
- design patterns
- object oriented
- modeling language
- regression testing
- software engineering
- uml models
- xml schema
- petri net
- description logics
- tool support
- test suite
- production rules
- database design
- uml profile
- activity diagrams