Title :
An implementation of bounded obligations
Author :
Feather, Martin S.
Author_Institution :
Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
Abstract :
An implementation of bounded obligations is demonstrated. Bounded obligations facilitate the expression of requirements such as `a user must return a book on or before its due date´. The implementation translates a simple, declarative form of a bounded obligation into the equivalent data structures and operations necessary to ensure its adherence. Incremental development and exploration is achieved by modifying a `strict´ bounded obligation to become `violatable´ together with a way of recognizing when it has been violated. Again, a simple declaration to this effect is appropriately translated by the implementation. Finally, response to such violations can also be declared and automatically translated into running code. The implementation is described and illustrated on examples drawn from a simple library system
Keywords :
data structures; formal specification; bounded obligations; data structures; declarative form; incremental development; running code; simple library system; Books; Contracts; Data structures; Feathers; Libraries; Logic; Programming; Prototypes; US Government;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-4100-2
DOI :
10.1109/KBSE.1993.341208