A Pure Graph-Based Solution to the SCG-1 Initiative

@inproceedings{Baget1999APG,
title={A Pure Graph-Based Solution to the SCG-1 Initiative},
author={Jean-François Baget and David Genest and Marie-Laure Mugnier},
booktitle={ICCS},
year={1999}
}

This paper answers the SCG-1 initiative. The room allocation problem provided has been solved in a generic and automatic way. The solution is based on a totally declarative formal model. Basic constructs are simple graphs and the fundamental operation for doing reasonings is the graph morphism known as projection. The other formal constructs are rules and constraints defined in terms of simple graphs. The modeling framework built upon the formal model allows one to describe a problem with… CONTINUE READING