Modal Logic-Based Policy Management for Distributed Networked Systems and Application

In the last few years, policy-based management has begun to emerge as the dominant paradigm for developing network and systems management functions, primarily, since it can reduce complexity in management applications. Although attempts are underway to standardize policy-based management, significant research challenges remain. Collaboration and state maintenance are two hot spots of the research. A modal logic- based policy definition language is proposed and its syntax, execution model is defined. Modal logic-based policy management (MLPM) supports collaborative management operations based on system's states. A large scale distributed management system is divided into many management domains to autonomous management. Global state view is acquired through resource pool and the corresponding triggering update mechanism. Administrator can use modal logic-based policy to describe system's goal and decision functions. Finally, modal logic-based policy network monitoring and management model is presented to show that MPLM can meet the requirements of distributed networked systems and applications.