Norm Compliance in Business Process Modeling

We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requireme...

Full description

Saved in:
Bibliographic Details
Published inSemantic Web Rules pp. 194 - 209
Main Authors Governatori, Guido, Rotolo, Antonino
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2010
SeriesLecture Notes in Computer Science
Subjects
Business Process
Business Process Model
Business Process Model Notation
Deontic Logic
Norm Compliance
Online AccessGet full text

Cover

More Information
Summary:We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic compliance and structural compliance. This paper focuses on structural compliance, that is we show how PCL can capture obligations concerning the structure of a business process.
ISBN:9783642162886
3642162886
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-16289-3_17