Guido Governatori

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 against 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.

Room 5.2, DISI, Bologna, 08/01/2014

Tags:
    

Talk

Thou Shalt is not You Will

— speakers

Guido Governatori

— authors

Guido Governatori

— sort

seminar

— language

wgb.gif

Context

— where

Room 5.2, DISI, Bologna

— when

08/01/2014

Links

— external

SlideShare

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY