Gerrit Renker
CSP: there is more than one way to model it.
Renker, Gerrit; Ahriz, Hatem; Arana, In�s
Authors
Contributors
Max Bramer
Editor
Alun Preece
Editor
Frans Coenen
Editor
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 |
Files
RENKER 2002 CSP - there is more than
(157 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
You might also like
An introduction to interval-based constraint processing.
(2006)
Journal Article
Stoch-DisPeL: exploiting randomisation in DisPeL.
(2006)
Presentation / Conference Contribution
Escaping local optima with penalties in distributed iterative improvement search.
(2005)
Presentation / Conference Contribution
Framework for detecting APTs based on steps analysis and correlation.
(2022)
Book Chapter
Downloadable Citations
About OpenAIR@RGU
Administrator e-mail: publications@rgu.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search