Generation and Transformation of Compliant Process Collaboration Models to BPMN

Bischoff, Frederik; Fdhila, Walid; Rinderle-Ma, Stefanie

doi:10.1007/978-3-030-21290-2_29

Cited by 2 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, the Compliance Management Service serves as a pluggable middleware that may be used to integrate other process execution engines. For testing the framework, we edited choreography and collaboration models in BPMN 2.0 using Signavio 4 and exported them to the C3Pro framework as XML files. Examples are extended with GCR, which are then decomposed into derived assertions using Alg.…”

Section: Implementation and Discussionmentioning

confidence: 99%

“…The interactions of a single partner are described in a public model. The public model thus serves as public (restricted) view on the private model of the partner which "describes the internal logic of a partner including its private activities and interactions" [4]. In this paper, we assume that the choreography y is sound, i.e., structural and behavioral compatibility between public models and consistency between public and private models are given [7].…”

Section: Fundamentals and Transitivity Theoremmentioning

confidence: 99%

See 1 more Smart Citation

Decomposition-based Verification of Global Compliance in Process Choreographies

Fdhila

Rinderle-Ma

Knuplesch

et al. 2020

2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC)

Self Cite

View full text Add to dashboard Cite

The verification of global compliance rules (GCR) in process choreographies (e.g., partner-spanning quality assurance in supply chains) is crucial and challenging due to the restricted visibility of the private processes of the collaborating partners. This paper provides a novel algorithm that decomposes global compliance rules into assertions that can be verified by the partners in a distributed way without revealing any private process details. The decomposition is based on transitivity properties of the underlying GCR specification. This work uses GCR based on antecedent and occurrence patterns and illustrates the transitivity properties based on their specification in first order predicate logic. It is formally shown that the original GCR can be reconstructed from the assertions, which ensures the viability of the approach. The algorithms are prototypically implemented and applied to several scenarios. The ability of checking global compliance constitutes a fundamental pillar of any approach implementing process choreographies with multiple partners.

show abstract

Section: Implementation and Discussionmentioning

confidence: 99%

Section: Fundamentals and Transitivity Theoremmentioning

confidence: 99%

Decomposition-based Verification of Global Compliance in Process Choreographies

Fdhila

Rinderle-Ma

Knuplesch

et al. 2020

2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC)

Self Cite

View full text Add to dashboard Cite

show abstract

“…In contrast, compliance checking for collaborative processes is still sparse in the literature. Few works like [2], [3] that address the compliance checking of collaborative processes still lack full support to address the different phases of the process life cycles, i.e., control, data, time, and resource perspectives at both designs and run time [1]. Considering this, we justify the need to support the automated compliance checking of collaborative processes with varied regulatory requirements at all phases of the process life cycle at both design and runtime.…”

Section: Introductionmentioning

confidence: 99%

Compliance Checking of Collaborative Processes for Sustainable Collaborative Network

Oyekola

Vrieze

2021

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Coronavirus pandemic has changed our lives and is likely to have a lasting impact on our economic development, i.e., industry and services. Most organisations must change their businesses and services to comply with the strategies and rules published by the governments of different countries for providing agility, sustainability, and resilience in the current situation. Noncompliance can result in an organisation paying a considerable sum of money in fines and litigation. In Collaborative Networks 4.0 (CN4.0), the importance of compliance is even more evident as its issue becomes more complicated when it involves collaborative processes due to its design principles for decentralized decision-making. The Collaborative Processes in CN 4.0 imply the collaborative business process and their relevancy in industry 4.0, i.e., the collaborative processes through Enterprise Resource Planning (ERP) and Manufacturing Execution System (MES). In this paper, we adopt two motivating use cases, define some of the regulatory requirements that govern the execution of each process, and then evaluate each process with the current compliance checking approaches. Based on this, we identify the challenges of compliance checking of collaborative processes, formalized as requirements needed to support the compliance checking of collaborative processes at design and running time, respectively. This paper further explores how the FIWARE architecture supports the automated compliance checking solution of collaborative processes in industry 4.0.

show abstract

Generation and Transformation of Compliant Process Collaboration Models to BPMN

Cited by 2 publications

References 18 publications

Decomposition-based Verification of Global Compliance in Process Choreographies

Decomposition-based Verification of Global Compliance in Process Choreographies

Compliance Checking of Collaborative Processes for Sustainable Collaborative Network

Contact Info

Product

Resources

About