Compliance checking between business processes and business contracts

Governatori, Guido, Milosevic, Zoran and Sadiq, Shazia (2006). Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06). 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), Hong Kong, China, (221-232). 16-20 October 2006. doi:10.1109/EDOC.2006.22

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
edoc2006.pdf edoc2006.pdf application/pdf 194.23KB 4112

Author Governatori, Guido
Milosevic, Zoran
Sadiq, Shazia
Title of paper Compliance checking between business processes and business contracts
Conference name 10th International Enterprise Distributed Object Computing Conference (EDOC 2006)
Conference location Hong Kong, China
Conference dates 16-20 October 2006
Proceedings title Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)
Journal name 10th IEEE International Enterprise Distributed Object Computing Conference, Proceedings
Place of Publication Los Alamitos, California , U.S.A
Publisher IEEE
Publication Year 2006
Sub-type Fully published paper
DOI 10.1109/EDOC.2006.22
Open Access Status File (Author Post-print)
ISBN 9780769525587
076952558X
ISSN 1541-7719
Start page 221
End page 232
Total pages 12
Language eng
Abstract/Summary It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper are logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures.
Subjects 280403 Logics and Meanings of Programs
E1
Keyword Business contracts
Deontic logic
Business process modelling
Logic of violations
Compliance
Q-Index Code E1
Additional Notes Copyright (c) 2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 54 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 133 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 03 Nov 2006, 10:00:00 EST by Guido Governatori on behalf of Faculty Of Engineering, Architecture & Info Tech