Checking Consistency between UML Class and State Models Based on CSP and B.

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

metamodel
uml models
state space
object oriented
model selection
np complete
statistical models
prior knowledge
query language
constraint satisfaction problems
complex systems
constraint programming
conceptual models