Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP.

Islam Abdelhalim Steve A. Schneider Helen Treharne

Published in: ICFEM (2011)

Keyphrases

constraint satisfaction problems
metamodel
conceptual modeling
information systems
case study
parameter estimation
complex systems
conceptual models
activity diagrams
knowledge base
source code
constraint satisfaction
constraint networks