Business Process Compliance Verification: An Annotation Based Approach with Commitments

Davide D’Aprile (), Laura Giordano (), Alberto Martelli (), Gian Luca Pozzato (), Daniele Rognone () and Daniele Theseider Dupré ()
Additional contact information
Davide D’Aprile: Università del Piemonte Orientale
Laura Giordano: Università del Piemonte Orientale
Alberto Martelli: Università di Torino
Gian Luca Pozzato: Università di Torino
Daniele Rognone: Università del Piemonte Orientale
Daniele Theseider Dupré: Università del Piemonte Orientale

A chapter in Information Systems: Crossroads for Organization, Management, Accounting and Engineering, 2012, pp 563-570 from Springer

Abstract: Abstract In this paper we present a framework to support business process compliance verification. A process model, provided in a Business Process Modeling tool, is annotated with information relevant for compliance verification. In particular, if a condition is mentioned in a regulation, an activity that makes that condition true, or that requires it as a precondition, should be annotated accordingly. In our approach, annotations are defined by specifying the effects of atomic tasks, including the obligations they generate, using Artificial Intelligence techniques for reasoning about actions and the notion of commitment developed in the context of a social approach to agent communication. Verifying the compliance of a business process to a regulation includes checking that, in all executions of the business process, all the obligations triggered by the norms are fulfilled. Such a verification is performed using model checking techniques for Temporal Logics. Two approaches are explored, one based on Colored Petri Nets, and one based on Answer Set Programming.

Keywords: Compliance Verification; Annotated Business Process; Atomic Tasks; Coloured Petri Nets (CPNs); Yet Another Workflow Language (YAWL) (search for similar items in EconPapers)
Date: 2012
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-7908-2789-7_61

Ordering information: This item can be ordered from
http://www.springer.com/9783790827897

DOI: 10.1007/978-3-7908-2789-7_61

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().