Policy specification and matching for business performance management

Business performance management (BPM) has emerged as a critical discipline to enable enterprise to manage their business solutions in an on demand fashion. BPM applications promote an adaptive means by emphasizing the ability to monitor and control both business processes and IT events. BPM policy governs the BPM behavior of a business entity that takes the environmental stimulus, analyzes it, makes decisions, and renders actions. Business entities are never isolated islands. They tend to interact with one another in order to achieve business functions. Henceforth, BPM policies as a means to govern the monitoring and control behavior of business entities need to be integrated together in a meaningful and scalable fashion. In this paper, we show that how BPM policies can be constructed and weaved into large-scale (e.g. enterprise) policy solutions using formal models. This paper presents a framework for specifying and matching policies based on order-sorted predicate logic; and how this framework can help build scalable enterprise level BPM policies