Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems

The standardization and broad adoption of Service Oriented Architectures, Web Services, and Cloud Computing is raising the complexity of ICT systems. Hence, assuring correct system behavior with regard to established design and business constraints is of the utmost importance. Run-time monitoring, where the outcomes of an observed system are continuously checked against what is expected of it, is one possible approach to providing the required oversight. In this paper, we discuss this notion of rule expectations, their violation and/or fulfillment, and use these concepts to define the concept of an Event-Condition-Expectation (ECE-) rule, a variation of the traditional Event-Condition-Action rule pattern. To demonstrate these concepts, we present extensions to the syntax used by the production rule engine, Drools, and describe their use in a medical case study. The clinical decision support system being developed monitors rule evaluations and expectations, detects constraint violations and is able to take recovery/ compensation actions as appropriate.

[1]  Evelina Lamma,et al.  Mapping deontic operators to abductive expectations , 2006, NORMAS.

[2]  Maurizio Memo,et al.  Mitochondria-targeted antioxidant effects of S(-) and R(+) pramipexole , 2010, BMC pharmacology.

[3]  Paola Mello,et al.  Social Commitments in Time: Satisfied or Compensated , 2009, DALT.

[4]  Guido Governatori,et al.  Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[5]  Frank P. Coyle.  Review of 'The power of events: An introduction to complex event processing in distributed enterprise systems,' by David Luckham, Addison Wesley Professional, May 2002 , 2003, UBIQ.

[6]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[7]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[8]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[9]  Paola Mello,et al.  Declarative specification and verification of service choreographiess , 2010, TWEB.

[10]  P. Mello,et al.  Enhancing a production rule engine with predictive models using pmml , 2011, PMML '11.

[11]  Guido Governatori,et al.  Norm Compliance in Business Process Modeling , 2010, RuleML.

[12]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[13]  Mehmet A. Orgun,et al.  AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings , 2007, Australian Conference on Artificial Intelligence.

[14]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[15]  Munindar P. Singh,et al.  Representing and Reasoning about Commitments in Business Processes , 2007, AAAI.

[16]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[17]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[18]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[19]  Marco Colombetti,et al.  A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..

[20]  Guido Governatori,et al.  On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic , 2010 .

[21]  Munindar P. Singh,et al.  Commitment-Based Service-Oriented Architecture , 2009, Computer.

[22]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[23]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[24]  Evelina Lamma,et al.  Modelling Interactions via Commitments and Expectations , 2009, Handbook of Research on Multi-Agent Systems.

[25]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[26]  Walter Ricciardi,et al.  The effectiveness of computerized clinical guidelines in the process of care: a systematic review , 2010, BMC health services research.