How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software
MetadataShow full item record
This paper explores the possibility of automated support for detecting inconsistencies in software systems and requirements. The inconsistencies are introduced when the environment of software system changes. We refer to the software environment as its context. We review the recent research progress on nonmonotonic logics, pointing out the significance of these results to software maintenance. We explain how a practical implementation of such logics can be obtained via a simple extension to logic programming in the form of an answer procedure that realized the Extended Logic Semantics for nonmonotonic logic programs that have a unique answer set (which is a large and useful class of logic programs). We augment the existing automtaed capabilities of the Computer Aided Prototyping System (CAPS) for rapid prototyping via the extension to logic programming to provide an improved automated capability for detecting certain kinds of inconsistencies created by implicit requirements changes. We illustrate the significance of this capability via an example prototype for a problem originally suggested by Lehman.
Showing items related by title, author, creator and subject.
Alrowaie, Ahmed Ali. (Monterey, California. Naval Postgraduate School, 2011-09);As the discipline of Modeling and Simulation (MandS) becomes more complex, modelers are faced with mounting challenges to design and analyze simulations that effectively address difficult problems across military, industrial, ...
Hendrickson, Mark Robert (Monterey, California: Naval Postgraduate School, 1990-06);A database management system (DBMS) can have numerous errors and inconsistencies in its data. Examples of errors and inconsistencies that may be contained in a DBMS are: Referential integrity violations, logical inconsistencies, ...
Dannecker, John D (1997);There are always differences between theoretical and experimental results in the study of lifting surfaces. Bounding box control volume measurements infrequently yield exact conservation of mass or consistent values for ...