The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic Programming have been extensively exploited to as-sess compliance. In this work we review the LTL and the Abductive Logic Programming frameworks in the light of compliance evaluation, and formally investigate the relationship between the two approaches. We define a notion of compliance within each approach, and then we show that an arbitrary LTL formula can be expressed in SCIFF, by pro-viding an automatic translation procedure from LTL to SCIFF which preserves compliance.

Evaluating compliance: from LTL to abductive logic programming

GAVANELLI, Marco;LAMMA, Evelina
Penultimo
;
2015

Abstract

The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic Programming have been extensively exploited to as-sess compliance. In this work we review the LTL and the Abductive Logic Programming frameworks in the light of compliance evaluation, and formally investigate the relationship between the two approaches. We define a notion of compliance within each approach, and then we show that an arbitrary LTL formula can be expressed in SCIFF, by pro-viding an automatic translation procedure from LTL to SCIFF which preserves compliance.
2015
Linear Temporal Logic, Abductive Logic Programming, Compliance Verification, Business Process Management
File in questo prodotto:
File Dimensione Formato  
paper8.pdf

accesso aperto

Descrizione: versione editoriale
Tipologia: Full text (versione editoriale)
Licenza: Creative commons
Dimensione 369.71 kB
Formato Adobe PDF
369.71 kB Adobe PDF Visualizza/Apri

I documenti in SFERA 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/11392/2330745
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact