scispace - formally typeset
Search or ask a question

Showing papers by "Computer Resources International published in 1986"


Book ChapterDOI
01 Jun 1986
TL;DR: A description not only of how the IDSS functions but also of how humans make decisions is required, since it is the functioning of man and machine together that is in focus.
Abstract: For the purpose of this paper an Intelligent Decision Support System (IDSS) is defined as a computer based system designed to collect, organise, process and present information to support decision making in dynamic process environments. A general system evaluation should include: (1) the quality of the system’s decisions and advice, (2) the correctness of the reasoning techniques, (3) the quality of the human-computer interaction, (4) the system’s efficiency, and (5) its cost-effectivness. I will consider the situation where there is a need to analyse the performance of an IDSS to determine the quality of its functioning, corresponding to (1) and (2) above. To do so will require a description not only of how the IDSS functions but also of how humans make decisions, since it is the functioning of man and machine together that is in focus. It also requires a characterisation of the critical aspects of IDSSs — particularly of what sets them apart from conventional (i.e. non-intelligent) systems.

15 citations


Book ChapterDOI
01 Jan 1986
TL;DR: CODE as mentioned in this paper is a formal language designed and used for implementation of control strategies in sequence control applications, such as found in industrial control, which treats processes as finite state machines (FSM), by defining transition conditions that determine when a state change will occur, and the consequent transition action.
Abstract: CODE (COntrol DEfinition language) is a formal language designed and used for implementation of control strategies in sequence control applications, such as found in industrial control. CODE treats processes as finite state machines (FSM), by defining transition conditions that determine when a state change will occur, and the consequent transition action. A control definition consists of a hierarchical model, each layer of which consists of a number of FSMs. The CODE concept is proposed for use in a formal specification language, that would form part of a specification work bench, including syntax-checking editors, consistency and completeness checks, automatic simulation and documentation systems. This work bench will provide a powerful tool for specification and development of process control and other systems. It will help increase the effectiveness of software designers and engineers; it will also contribute to increased formality in system specification, helping to eliminate a major source of error. The CODE concept is thus part of the current trend towards increased automation of software development. It can be used to develop formal system specification languages that are application-specific, and that can be part of a semi-automatic system generation process, in which the system specification is transformed directly to the implementation. Maintenance is then performed on the specification, which is reimplemented with computer assistance.