DocumentCode :
2242095
Title :
An implementation of bounded obligations
Author :
Feather, Martin S.
Author_Institution :
Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
fYear :
1993
fDate :
20-23 Sep 1993
Firstpage :
114
Lastpage :
122
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location :
Chicago, IL
ISSN :
1068-3062
Print_ISBN :
0-8186-4100-2
Type :
conf
DOI :
10.1109/KBSE.1993.341208
Filename :
341208
Link To Document :
بازگشت