UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.
Jordi CabotRobert ClarisóPatricia de la FuenteDaniel RieraPublished in: JISBD (2007)
Keyphrases
- constraint programming
- uml diagrams
- uml class diagrams
- metamodel
- modeling language
- sequence diagrams
- constraint language
- tool support
- software design
- class diagram
- constraint networks
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- integer programming
- column generation
- symmetry breaking
- global constraints
- software systems
- design patterns
- software engineers
- np hard problems
- search strategies
- constraint solver
- search heuristics
- constraint logic programming
- constraint optimization
- finite domain
- software development
- propositional satisfiability
- arc consistency
- development process
- test cases
- constraint solvers
- constraint solving
- xml schema
- heuristic search
- evolutionary algorithm