Publication

Constraint logic programming for fault-tolerant distributed systems

Journal Article (1998)

Journal

Journal of Computer and Systems Sciences International

Pages

689-698

Volume

11488

Doc link

http://www.maik.rssi.ru/cgi-perl/journal.pl?lang=eng&name=compsys&page=online

File

Download the digital copy of the doc pdf document

Authors

Abstract

This paper presents key notions of Constraint Logic Programming (CLP), which is a young programming paradigm oriented toward solving difficult discrete highly combinatorial problems by making active use of constraints on the basis of mechanisms of Logic Programming. Being the subject of intensive research all over the world, CLP has already been used successfully in a large variety of application areas. As one of the important applications where CLP demonstrates its potential, we propose CLP-based procedures of solving the problems of optimal resource and task allocation at the stages of design and operation of Fault-Tolerant Distributed Technical Systems.

Categories

control theory.

Scientific reference

T. Creemers, J. Riera and E. Tourouta. Constraint logic programming for fault-tolerant distributed systems. Journal of Computer and Systems Sciences International, 11488: 689-698, 1998.