Ponder2 has been inspired by some of the concepts derived from our experience with Ponder. Here are the main papers that describe Ponder and its applications for network and systems management.
N. Damianou, N. Dulay, E. Lupu and M. Sloman. The Ponder Policy Specification Language. Policy Workshop 2001, Jan. 2001, Bristol, U.K., Springer-Verlag, LNCS 1995.
N. Dulay, E. Lupu, M. Sloman and N. Damianou. A Policy Deployment Model for the Ponder Language. IFIP/IEEE Symposium on Integrated Network Management, Seattle, USA, 2001, IEEE Press.
N. Damianou, N. Dulay, E. Lupu, M. Sloman and T. Tonouchi. Policy Tools for Domain Based Distributed Systems Management. IFIP/IEEE Symposium on Network Operations and Management. Florence, Italy, Apr. 2002.
Structuring Concepts, Analysis and Refinement
E. Lupu, M. Sloman, N. Dulay and N. Damianou. Ponder: Realising Enterprise Viewpoint Concepts. Fourth International Enterprise Distributed Object Computing Conference (EDOC 2000), Makuhari, Japan, Sept. 2000.
A. Bandara, E. Lupu, A. Russo. Using Event Calculus to Formalise Policy Specification and Analysis. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003). Como, Italy, June 2003.
A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman, P. Flegkas, M. Charalambides, G. Pavlou. Policy Refinement for DiffServ Quality of Service Management. IEEE eTransactions on Network and Service Management. 3(2):2-13, 2006.