返回Google圖書搜尋

The Frame Problem in Object-oriented Specificiations: an Exhibition of Problems and Approaches

Rutgers University. Laboratory for Computer Science ResearchAlexander Borgida

出版	Rutgers University, Department of Computer Science, Laboratory for Computer Science Research, 1992
URL	http://books.google.com.hk/books?id=xPnUHwAACAAJ&hl=&source=gbs_api

註釋Abstract: "We present first a series of examples involving the development of information systems, which suggest a number of desirable features for object-oriented specification techniques, especially those supporting inheritance. Most of these features have difficulties with the so-called frame axioms -- assertions which state what values have been left unchanged by some procedure. We then examine the benefits and disadvantages of a variety of proposals for dealing with the frame problem, some of which are based on ideas presented earlier in the literature, while others are novel. The approaches are grouped into two families: one which introduces notational conventions/abbreviation for stating frame axioms, and one which embeds them into the language semantics.