Formal Specification of Domain-Specific ECA Policy Models

Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-condition-action (ECA) policies at different levels of abstraction and consequently separate domain and policy aspects from each other. Domain-specific concepts are used within policies in their event, condition, and action parts. We present a formal specification of the models by means of a relational algebra. The algebra is used to validate the models at each level. Finally, executable policy code is generated from the low-level models.

[1]  Raphael Romeikat,et al.  Modeling of Domain-Specific ECA Policies , 2011, SEKE.

[2]  Georg Carle,et al.  Policy-driven workflows for mobile network management automation , 2010, IWCMC.

[3]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[4]  Georg Carle,et al.  Automated Real Time Performance Management for Mobile Networks , 2007, 2007 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.

[5]  Raphael Romeikat,et al.  Policy-based coordination and management of SON functions , 2011, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops.

[6]  B. Jennings,et al.  Autonomic Networking: Prototype Implementation of the Policy Continuum , 2006, 2006 1st IEEE International Workshop on Broadband Convergence Networks.

[7]  Milan Milanovic,et al.  Model-Driven Engineering of a General Policy Modeling Language , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[8]  John Strassner,et al.  DEN-ng: achieving business-driven network management , 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

[9]  Raphael Romeikat,et al.  Transformation of Graphical ECA Policies into Executable PonderTalk Code , 2009, RuleML.

[10]  Emil C. Lupu,et al.  Ponder2 - A Policy Environment for Autonomous Pervasive Systems , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[11]  John C. Strassner,et al.  Policy-based network management - solutions for the next generation , 2003, The Morgan Kaufmann series in networking.