By Topic

An implementation of bounded obligations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
M. Feather ; Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA

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

Published in:

Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth

Date of Conference:

20-23 Sep 1993