Verifying for Compliance to Data Constraints in Collaborative Business Processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Verifying for Compliance to Data Constraints in Collaborative Business Processes


Production processes are nowadays fragmented across different companies and organized in global collaborative networks. This is the result of the first wave of globalization that, among the various factors, was enabled by the diffusion of Internet-based Information and Communication Technologies (ICTs) at the beginning of the years 2000. The recent wave of new technologies possibly leading to the fourth industrial revolution – the so-called Industry 4.0 – is further multiplying opportunities. Accessing global customers opens great opportunities for organizations, including small and medium enterprises (SMEs), but it requires the ability to adapt to different requirements and conditions, volatile demand patterns and fast-changing technologies. Regardless of the industrial sector, the processes used in an organization must be compliant to rules, standards, laws and regulations. Non-compliance subjects enterprises to litigation and financial fines. Thus, compliance verification is a major concern, not only to keep pace with changing regulations but also to address the rising concerns of security, product and service quality and data privacy. The software, in particular process automation, used must be designed accordingly. In relation to process management, we propose a new way to pro-actively check the compliance of current running business processes using Descriptive Logic and Linear Temporal Logic to describe the constraints related to data. Related algorithms are presented to detect the potential violations.
Fichier principal
Vignette du fichier
488341_1_En_23_Chapter.pdf (588.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02478797 , version 1 (14-02-2020)





John Paul Kasse, Lai Xu, Paul Devrieze, Yuewei Bai. Verifying for Compliance to Data Constraints in Collaborative Business Processes. 20th Working Conference on Virtual Enterprises (PRO-VE), Sep 2019, Turin, Italy. pp.259-270, ⟨10.1007/978-3-030-28464-0_23⟩. ⟨hal-02478797⟩
35 View
13 Download



Gmail Facebook Twitter LinkedIn More