Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose.

Title:A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose.
Authors: Simon White and Derek Sleeman
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 5(2000): nr 037
URL: http://www.ep.liu.se/ea/cis/2000/037/

Abstract: This paper introduces the notion of fitness-for-purpose, presents a tractable, approximate approach to the recognition of fitness-for-purpose, and describes a working implementation using constraint programming.

The property of fitness-for-purpose states whether running a software component with a supplied set of inputs can satisfy a given goal. Our interest is to assess whether a chosen problem solver, together with one or more knowledge bases, can satisfy a given problem-solving goal. In general, this is an intractable problem. We therefore introduce an effective, practical, approximation to fitness-for-purpose based on the plausibility of the goal. We believe that constraint (logic) programming provides a natural approach to the implementation of such approximations. We took the Common LISP constraints library SCREAMER and extended its symbolic capabilities to suit our purposes.

Keywords:

Intended publication
1999-12-30
Postscript part I -- Checksum
Postscript part II -- Checksum II
Info from authors  
Third-party information  

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se
~