From Core OCL Invariants to Nested Graph Constraints.

Thorsten Arendt Annegret Habel Hendrik Radke Gabriele Taentzer

Published in: ICGT (2014)

Keyphrases

constraint language
random walk
constraint satisfaction
graph structure
graph theory
constraint graph
structured data
planar graphs
graph representation
graph model
constraint networks
constrained optimization
global constraints
spanning tree
case study
weighted graph
connected components
description logics