Declarative Logical Approaches for the Monitoring and Compliance of Complex Systems

Add to your list(s) Download to your calendar using vCal

• Dr Stefano Bragaglia; Dept. of Electronics, Computer Science and Systems (DEIS), University of Bologna
• Friday 25 May 2012, 12:00-14:00
• Room 503, Level 5, EEE Dept. .

If you have a question about this talk, please contact Faye B Gosling.

Nowadays networks, computers and communications are so large and pervasive that their complexity is typically tackled by decomposing them in smaller, possibly distributed entities. However, because of this fragmentation and the introduction of black-box components, ensuring the compliance of the whole system with respect to some desired properties becomes more difficult every day. In this regard, we propose a methodology based on production rule systems that allows to break down the complexity of the task by developing an efficient, modular solution. The core modules that comprise this approach are an efficient Event Calculus reasoner embedded in a Complex Event Processing pipeline to monitor the domain’s evolution and a framework founded on ECE Rules (an evolution of ECA Rules) to set up expectations on the domain’s behaviour.

Stefano Bragaglia is a Ph.D. student in Artificial Intelligence from the Department of Software Engineering and Computer Science of the University of Bologna. He is currently developing declarative approaches based on forward rules for the monitoring and the compliance of services in a SOA / Cloud context. He is also involved in the European FP7 STREP Project ePolicy applying his methodologies. His research interests also include fuzzy logic, belief theory, probabilistic inductive logic programming and abductive reasoning.

This talk is part of the Featured talks series.

This talk is included in these lists:

• Andrea Picciau's list
• COMMSP & CP list
• COMMSP Seminar
• Featured talks
• Room 503, Level 5, EEE Dept.
• SAP Talks

Note that ex-directory lists are not shown.