IDEAS home Printed from https://ideas.repec.org/h/spr/sprchp/978-3-7908-2789-7_61.html
   My bibliography  Save this book chapter

Business Process Compliance Verification: An Annotation Based Approach with Commitments

In: Information Systems: Crossroads for Organization, Management, Accounting and Engineering

Author

Listed:
  • 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)

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.

Suggested Citation

  • Davide D’Aprile & Laura Giordano & Alberto Martelli & Gian Luca Pozzato & Daniele Rognone & Daniele Theseider Dupré, 2012. "Business Process Compliance Verification: An Annotation Based Approach with Commitments," Springer Books, in: Marco De Marco & Dov Te'eni & Valentina Albano & Stefano Za (ed.), Information Systems: Crossroads for Organization, Management, Accounting and Engineering, edition 127, pages 563-570, Springer.
    • Handle: RePEc:spr:sprchp:978-3-7908-2789-7_61
    DOI: 10.1007/978-3-7908-2789-7_61
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a search for a similarly titled item that would be available.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprchp:978-3-7908-2789-7_61. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.