Abstract. ManyemergingapplicationsinBusinessProcessManagement,Clini- cal Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains, ap- parently unrelated, all ask for a suitable tradeoff between flexibility and regula- tion. In this light, compliance checking emerged as an effective way to under- stand whether an observed course of interaction agrees with what is expected by a model of the system. In this paper, we single out a non exhaustive list of desiderata and challenges for compliance checking applied at runtime. We then argue that methods, tools and techniques of Computational Logic, and Abductive Reasoning in particular, can be fruitfully exploited to tackle all such challenges in a formally grounded, computationally effective way.

Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation

CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO
2017

Abstract

Abstract. ManyemergingapplicationsinBusinessProcessManagement,Clini- cal Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains, ap- parently unrelated, all ask for a suitable tradeoff between flexibility and regula- tion. In this light, compliance checking emerged as an effective way to under- stand whether an observed course of interaction agrees with what is expected by a model of the system. In this paper, we single out a non exhaustive list of desiderata and challenges for compliance checking applied at runtime. We then argue that methods, tools and techniques of Computational Logic, and Abductive Reasoning in particular, can be fruitfully exploited to tackle all such challenges in a formally grounded, computationally effective way.
2017
Foundations of Intelligent Systems - Lecture Notes in Computer Science
3
16
Chesani, Federico; Mello, Paola; Montali, Marco
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/604892
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact