Skip to main content

Research Repository

Advanced Search

CSP: there is more than one way to model it.

Renker, Gerrit; Ahriz, Hatem; Arana, Inés


Gerrit Renker

Hatem Ahriz

Inés Arana


Max Bramer

Alun Preece

Frans Coenen


In this paper, we present an approach for conceptual modelling of con- straint satisfaction problems (CSP). The main objective is to achieve a similarly high degree of modelling support for constraint problems as it is already available in other disciplines. The approach uses diagrams as operational basis for the development of CSP models. To facilitate a broader scope, the use of available mainstream modelling languages is adapted. In particular, the structural aspects of the problem are visually expressed in UML, complemented by a textual representation of rela- tions and constraints in OCL. A case study illustrates the expositions and deployment of the approach.

Start Date Dec 10, 2002
Publication Date Dec 31, 2002
Publisher Springer (part of Springer Nature)
Pages 395-408
ISBN 9781852336745
Institution Citation RENKER, G., AHRIZ, H. and ARANA, I. 2003. CSP: there is more than one way to model it. In Bramer, M., Preece, A. and Coenen, F. (eds.) Research and development in intelligent systems XIX: proceedings of the 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK. London: Springer [online], pages 395-408. Available from:
Keywords Constraint satisfaction problems; CSP Conceptual modelling


You might also like

Downloadable Citations