Flexible Control Mechanism in a Consistency Maintenance System

Citation: G. Nakano and Sanjay Bhansali. (1993) Flexible Control Mechanism in a Consistency Maintenance System. In KSL-93-27, 1993.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	G. Nakano and Sanjay Bhansali
title	Flexible Control Mechanism in a Consistency Maintenance System
number	KSL-93-27
institution	Knowledge Systems, AI Laboratory
year	1993
Bibtex more
note	March.
Access Paper
abstract	We are interested in developing an intelligent software development environment that extends the capabilities of current CASE tools. Our approach is based on identifying and representing knowledge from multiple domains and using that knowledge to assist software designers in designing software systems. A prototype system called KASE is currently being developed that is based on this approach. We describe the consistency checking mechanism in KASE which can be used to assist software developers in ensuring the correctness and completeness of a software design. Three new features are introduced for the consistency checking mechanism: integrated consistency checking, flexible control of consistency checking and automatic remedy generation. In this paper we focus on flexible control of consistency checking. We believe that these features can overcome some of the limitations of current CASE tools.

KSL Technical Report ID: KSL-93-27

Abstract	We are interested in developing an intelli … We are interested in developing an intelligent software development environment that extends the capabilities of current CASE tools. Our approach is based on identifying and representing knowledge from multiple domains and using that knowledge to assist software designers in designing software systems. A prototype system called KASE is currently being developed that is based on this approach. We describe the consistency checking mechanism in KASE which can be used to assist software developers in ensuring the correctness and completeness of a software design. Three new features are introduced for the consistency checking mechanism: integrated consistency checking, flexible control of consistency checking and automatic remedy generation. In this paper we focus on flexible control of consistency checking. We believe that these features can overcome some of the limitations of current CASE tools. of the limitations of current CASE tools.
Author	G. Nakano and Sanjay Bhansali +
Bibtype	techreport +
Has author	G. Nakano and Sanjay Bhansali +
Has identifier	KSL-93-27 +
Has publishing details	1993 +
Has title	Flexible Control Mechanism in a Consistency Maintenance System +
Has where published	KSL-93-27 +
Has year	1993 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-93-27 +
Note	March.
Number	KSL-93-27 +
Process note	YES +
Title	Flexible Control Mechanism in a Consistency Maintenance System +
Year	1993 +