CSP: there is more than one way to model it.
Renker, Gerrit; Ahriz, Hatem; Arana, Inés
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)|
|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: https://doi.org/10.1007/978-1-4471-0651-7_28|
|Keywords||Constraint satisfaction problems; CSP Conceptual modelling|
RENKER 2002 CSP - there is more than
You might also like
Predicting permeability based on core analysis.
The use of machine learning algorithms for detecting advanced persistent threats.
Dynamic agent prioritisation with penalties in distributed local search.