Formal definition of measures for UML statechart diagrams using OCL.

Luis Reynoso Juan Antonio Cruz-Lemus Marcela Genero Mario Piattini

Published 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