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

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

Abstract

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.

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: https://doi.org/10.1007/978-1-4471-0651-7_28

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002)
• Start Date: Dec 10, 2002
• End Date: Dec 12, 2002
• Acceptance Date: Dec 10, 2002
• Online Publication Date: Dec 31, 2003
• Publication Date: Dec 31, 2003
• Deposit Date: Jan 27, 2009
• Publicly Available Date: Jan 27, 2009
• Publisher: Springer
• Peer Reviewed: Peer Reviewed
• Pages: 395-408
• ISBN: 9781852336745
• DOI: https://doi.org/10.1007/978-1-4471-0651-7
• Keywords: Constraint satisfaction problems; CSP Conceptual modelling
• Public URL: http://hdl.handle.net/10059/299
• Contract Date: Jan 27, 2009