Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
Hendrik RadkeThorsten ArendtJan Steffen BeckerAnnegret HabelGabriele TaentzerPublished in: ICGT (2015)
Keyphrases
- constraint language
- constraint networks
- constrained optimization
- graph theory
- constraint satisfaction
- graph structure
- weighted graph
- random graphs
- bipartite graph
- random walk
- object oriented
- metamodel
- semi supervised
- directed acyclic graph
- directed graph
- global constraints
- test cases
- linear constraints
- global consistency
- planar graphs