Thou Shalt is not You Will

Relatore
Guido Governatori - Queensland University of Technology, Australia
Data e ora
giovedì 10 ottobre 2013 alle ore 14.30 - 2:45 p.m rinfresco; 2:30 p.m inizio seminario
Luogo
Ca' Vignal 2, Piano terra, Aula Gino Tessari
Referente
Francesco Olivieri
Referente esterno
Data pubblicazione
6 ottobre 2013
Dipartimento
Informatica  

Riassunto

 

Temporal logic has been successfully used for the verification of software and hardware. Business Process Compliance can be seen as special form of verification where the formal specifications for a process are verified again formal specifications for the norms.  Temporal logics have been advanced as a tool for this type of verification as well. In the first part of the presentation we propose an abstract semantics for the normative requirements. In the second part we investigate the suitability of temporal logic to model compliance, and we point out some shortcomings. 

 

 

 






© 2002 - 2021  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234