Sciweavers

RULEML
2010
Springer

Norm Compliance in Business Process Modeling

13 years 2 months ago
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 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.
Guido Governatori, Antonino Rotolo
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where RULEML
Authors Guido Governatori, Antonino Rotolo
Comments (0)