Norm Compliance in Business Process Modeling

  • Guido Governatori
  • Antonino Rotolo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6403)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Guido Governatori
    • 1
  • Antonino Rotolo
    • 2
  1. 1.NICTA Queensland Research Lab.Australia
  2. 2.CIRSFID, University of BolognaItaly

Personalised recommendations