DocumentCode :
3357667
Title :
Using constraint propagation and domain reduction for the generation phase in declarative modeling
Author :
Le Roux, O. ; Gaildrat, V. ; Caubet, R.
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
fYear :
2001
fDate :
2001
Firstpage :
117
Lastpage :
123
Abstract :
This paper presents an oriented object constraint solver based on constraint propagation and domain reduction for the generation phase in declarative modeling. The solver supports generic constraints and heterogeneous parameters via generic domains. This ensures adaptability and efficiency of the resolution process in complex cases. As an application, a declarative system for 3D environment planning is presented
Keywords :
CAD; computer graphics; constraint handling; tree searching; 3D environment planning; CAD; constraint propagation; declarative modeling; declarative system; domain reduction; generic constraints; heterogeneous parameters; object constraint solver; tree searching; Application software; Kernel; Layout; Navigation; Power generation; Process design; Shape; Solid modeling; Space exploration; Uninterruptible power systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Visualisation, 2001. Proceedings. Fifth International Conference on
Conference_Location :
London
Print_ISBN :
0-7695-1195-3
Type :
conf
DOI :
10.1109/IV.2001.942047
Filename :
942047
Link To Document :
بازگشت