Modeling Change Without Breaking Promises

Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change over time due to both contingencies and changes in policy. We define two new kinds of promises that provide temporal scope for a conditional promise. We show that simple temporally-scoped promises can describe common network behaviors such as leasing and failover, and allow an agent to completely control the sequence of sets of promises to which it commits with another agent, over time. This allows agents to adapt to changing conditions by making short-term bilateral agreements rather than the long-term unilateral agreements provided by previous promise constructions.

[1]  Siri Fagernes,et al.  Pervasive Computer Management: A Model of Network Policy with Local Autonomy , 2006 .

[2]  Jan A. Bergstra,et al.  Local and Global Trust Based on the Concept of Promises , 2009, ArXiv.

[3]  Mark Burgess,et al.  Configurable immunity for evolving human-computer systems , 2004, Sci. Comput. Program..

[4]  Alva L. Couch,et al.  On observed reproducibility in network configuration management , 2004, Sci. Comput. Program..

[5]  Mark Burgess,et al.  Modeling Next Generation Configuration Management Tools , 2006, LISA.

[6]  Mark Burgess,et al.  Automated system administration with feedback regulation , 1998, Softw. Pract. Exp..

[7]  Alva L. Couch,et al.  It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes , 1999, LISA.

[8]  Jan A. Bergstra,et al.  A process algebra based framework for promise theory , 2007, ArXiv.

[9]  Mark Burgess,et al.  An Approach to Understanding Policy Based on Autonomy and Voluntary Cooperation , 2005, DSOM.

[10]  Mark Burgess,et al.  A Promise Theory View on the Policies of Object Orientation and the Service Oriented Architecture , 2006 .

[11]  Mark Burgess,et al.  Autonomic Computing Approximated by Fixed-Point Promises , 2006 .

[12]  Mark Burgess.  Automated system administration with feedback regulation , 1998 .

[13]  Mark Burgess,et al.  A Site Configuration Engine , 1995, Comput. Syst..

[14]  Mark Burgess,et al.  Promise theory - a model of autonomous objects for pervasive computing and swarms , 2006, International conference on Networking and Services (ICNS'06).

[15]  Mark Burgess,et al.  Voluntary Cooperation in Pervasive Computing Services , 2005, LISA.

[16]  Mark Burgess,et al.  Distributed resource administration using cfengine , 1997, Softw. Pract. Exp..