Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns

Elgammal, Amal; Türetken, Oktay; Heuvel, Willem‐Jan van den; Papazoglou, Michael P.

doi:10.1007/978-3-642-17358-5_2

Cited by 38 publications

(45 citation statements)

References 21 publications

(42 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, OPAL [2] applies model-checking algorithms to check business process compliance and, in case of violations, it returns counterexamples to demonstrate the existence of such problems. Root-cause analyses can be used to explain compliance violations as well [16]. -Corrective advising.…”

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

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%

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

“…In case of violations, the root cause analysis approach that we have proposed in [52] and [53] may be conducted to analyse and reason about the root causes of design-time compliance violations and provide the user with suggestive guidelines of how to resolve the compliance anomalies. The business experts then alter the process specifications taking these guidelines into consideration, which is followed by the automated re-mapping of the BPEL specification into their formal forms (GA and Promela) and re-verifying against the set of applicable formal compliance rules.…”

Section: Design-time Business Process Compliance Managementmentioning

confidence: 99%

“…Invoke, Receive, and Reply) via the 'partnerLink' attribute. approach we previously proposed in [52], [53]. SPIN implements exhaustive state search as well as multiple optimized evaluation algorithms, e.g.…”

Section: Web Service Analysis Tool (Wsat)mentioning

confidence: 99%

Formalizing and appling compliance patterns for business process compliance

et al. 2014

Self Cite

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

“…Smith et al [10] extended this set into templates, allowing them to be customized according to cardinality and other fine-grained options. Elgammal et al [11] produced an expanded pattern set with a framework that enables atomic patterns to be composed together, and includes a set of basic composite patterns. Since our focus is on transactional requirements instead of general compliance, we produce a set of temporal logic templates highly specialized and more appropriate towards that use.…”

Section: Related Workmentioning

confidence: 99%

“…These approaches offer significant improvements towards the verification of transactional requirements, but tend to lead to state space explosion when verified [8] or restrict the transactional requirements that can be verified. A method to specify transactional requirements that, to the best of our knowledge, is yet to be explored, is the adaptation of temporal logic patterns [9][10][11]. These are frequently used structures of temporal logic properties [12], that can be implemented to specify sophisticated requirements.…”

Section: Introductionmentioning

confidence: 99%

Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates

Bourne

Szabo

Sheng

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Ensuring reliability in Web service compositions is of crucial interest as services are composed and executed in long-running, distributed mediums that cannot guarantee reliable communications. Towards this, transactional behavior has been proposed to handle and undo the effects of faults of individual components. Despite significant research interest, challenges remain in providing an easy-to-use, formal approach to verify transactional behavior of Web service compositions before costly development. In this paper, we propose the use of temporal logic templates to specify component-level and composition-level transactional requirements over a Web service composition. These templates are specified using a simple format, configured according to scope and cardinality, and automatically translated into temporal logic. To verify design conformance to a set of implemented templates, we employ model checking. We propose an algorithm to address state space explosion by reducing the models into semantically equivalent Kripke structures. Our approach facilitates the implementation of expressive transactional behavior onto existing complex services, as demonstrated in our experimental study.

show abstract

Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns

Abstract: Root-cause analysis of design-time compliance violations on the basis of property patterns Elgammal, Amal; Türetken, O.; van den Heuvel, Willem-Jan; Papazoglou, Mike

Cited by 38 publications

References 21 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

Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates

Contact Info

Product

Resources

About