Improvements Towards Formalizing UML State Diagrams in CSP.

Wing Lok Yeung Karl R. P. H. Leung Ji Wang Wei Dong

Published in: APSEC (2005)

Keyphrases

modeling language
object oriented
constraint satisfaction problems
constraint satisfaction
unified modeling language
state space
uml diagrams
class diagrams
database
databases
software systems
database design
conceptual modeling
class diagram