Gerrit Renker
CSP: there is more than one way to model it.
Renker, Gerrit; Ahriz, Hatem; Arana, In�s
Authors
Dr Hatem Ahriz h.ahriz@rgu.ac.uk
Principal Lecturer
Dr Ines Arana i.arana@rgu.ac.uk
Associate Dean for ESCD
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
Conference Name | 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002) |
---|---|
Conference Location | Cambridge, UK |
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 |
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 |
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
Detection of false command and response injection attacks for cyber physical systems security and resilience.
(2020)
Conference Proceeding
Predicting permeability based on core analysis.
(2020)
Conference Proceeding
The use of machine learning algorithms for detecting advanced persistent threats.
(2019)
Conference Proceeding
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 © 2024
Advanced Search