Compliance checking between business processes and business contracts

Governatori, Guido; Milošević, Zoran; Sadiq, Shazia

doi:10.1109/edoc.2006.22

Cited by 187 publications

(138 citation statements)

References 13 publications

(21 reference statements)

Supporting

Mentioning

137

Contrasting

Unclassified

Order By: Relevance

“…This matter, together with the fact that full compliance checking must consider rules involving the four following aspects of business process: control flow, data, time and resources, makes the full analysis of compliance-aware business process models quite difficult. This is the main reason why most of the existing approaches for compliance checking deal only with control flow issues [1,2,4,9,10,11,12]. However, addressing data aspects is increasingly awaking the interest of researchers [13].…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

Abstract. The last few years have seen the introduction of several techniques for automatically tackling some aspects of compliance checking between business processes and business rules. Some of them are quite robust and mature and are provided with software support that partially or fully implement them. However, as far as we know there is not yet a tool that provides for the complete management of business process compliance in the whole lifecycle of business processes. The goal of this paper is to move towards an integrated business process compliance management system (BPCMS) on the basis of current literature and existing support. For this purpose, we present a description of some compliance-related features such a system should have in order to provide full coverage of the business process lifecycle, from compliance aware business process design to the audit process. Hints about what existing approaches can fit in each feature and challenges for future work are also provided.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Therefore, this requirement should be available both to check for a single rule and to check for the whole set of rules that have to be applied to the business process. Some approaches supporting Yes/No response are described in [1,9,10]. -Explanatory compliance checking.…”

Section: Discussionmentioning

confidence: 99%

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

show abstract

“…SLAs. Key works include [6], [7] and [34]. The study in [34] provides the foundations of the FCL (Formal Contract Language) language focusing on business partner contracts.…”

Section: Approaches Based On Deontic Logicmentioning

confidence: 99%

Formalizing and appling compliance patterns for business process compliance

et al. 2014

View full text Add to dashboard Cite

Document VersionAccepted manuscript including changes made at the peer-review stage Please check the document version of this publication:• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication Citation for published version (APA):Elgammal, A., Turetken, O., van den Heuvel, W., & Papazoglou, M. (2016). Formalizing and appling compliance patterns for business process compliance. Software and Systems Modeling, 15(1), 119-146. DOI: 10.1007/s10270-014-0395-3 General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research.• You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. University, 5000 LE, Tilburg, Netherlands. Email: (w.j.a.m.vdnheuvel, m.p.papazoglou)@uvt.nl Abstract: Today's enterprises demand a high degree of compliance of business processes to meet diverse regulations and legislations. Several industrial studies have shown that compliance management is a daunting task, and organizations are still struggling and spending billions of dollars annually to ensure and prove their compliance. In this paper, we introduce a comprehensive compliance management framework with a main focus on design-time compliance management as a first step towards a preventive lifetime compliance support. The framework enables the automation of compliance related-activities that are amenable to automation, and therefore can significantly reduce the expenditures spent on compliance. It can help experts to carry out their work more efficiently, cut the time spent on tedious manual activities, and reduce potential human errors. An evident candidate compliance activity for automation is the compliance checking, which can be achieved by utilizing formal reasoning and verification techniques. However, formal languages are well-known of their complexity as only versed users in mathematical theories and formal logics are able to use an...

show abstract

“…For example, in [7,8] both processes and contracts are represented in a formal contract language called FCL. FCL is based on a formalism for the representation of contrary-to-duty obligations, i.e., obligations that take place when other obligations are violated as typically applied to penalties in contracts.…”

Section: Related Workmentioning

confidence: 99%

Semantic Web Service Choreography: Contracting and Enactment

Roman

Kifer

2008

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we build upon our previous work where we used Concurrent Transaction Logic (CTR) to model and reason about service contracts. We significantly extend the modeling power of the previous work by allowing iterative processes in the specification of service contracts, and we extend the proof theory of CTR to enable reasoning about such contracts. With this extension, our logic-based approach is capable of modeling general services represented using languages such as WS-BPEL.

show abstract

Compliance checking between business processes and business contracts

Cited by 187 publications

References 13 publications

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Formalizing and appling compliance patterns for business process compliance

Semantic Web Service Choreography: Contracting and Enactment

Contact Info

Product

Resources

About