DMCA
On the Frame Problem in Procedure Specifications (1993)
| Citations: | 104 - 3 self |
BibTeX
@MISC{Borgida93onthe,
author = {Alex Borgida and John Mylopoulos and Raymond Reiter},
title = {On the Frame Problem in Procedure Specifications},
year = {1993}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly acute in the case of object-oriented specifications with inheritance. We identify the problem as the inability to express that a procedure changes only those things it has to, leaving everything else unmodified, and review some attempts at dealing with this "frame problem" in the Software Specification community. The second part of the paper adapts a recent proposal for a solution to the frame problem in Artificial Intelligence --- the notion of explanation closure axioms --- to provide an approach whereby one can state such conditions succinctly and modularly, with the added advantage of having the specifier be reminded of things that she may have omitted saying in procedure specifications. Since this approach is based on standard Predicate Logic, its semantics is relatively straight-forward...
Keyphrases
frame problem procedure specification object-oriented specification second part state condition formal specification software specification community recent proposal standard pre postcondition style added advantage standard predicate logic artificial intelligence explanation closure axiom
