Towards Formalizing UML State Diagrams in CSP.

Muan Yong Ng Michael J. Butler

Published in: SEFM (2003)

Keyphrases

constraint satisfaction problems
class diagrams
special case
state space
modeling language
uml diagrams
unified modeling language
artificial intelligence
software development
metamodel
formal methods