Research On Compliance Verification Method For Business Processes Integrated With IoT Services

Business Process Management(BPM)is a critical component of a Process-Aware Information System(PAIS)and plays a significant role in promoting collaboration within enterprises.With the advancement of IoT technology,there has been a gradual integration of BPM and IoT big data with PAIS,enabling the incorporation of IoT services into business processes.By providing specific business logic for IoT services,business processes can accurately capture changes in the physical world and facilitate precise decision-making.The integration of IoT services into BPM is achieved by adding a new class of extended Business Process Model and Notation(BPMN)elements that bind IoT services.In this study,we propose using task elements with boundary non-interrupted IoT events as an extension element class to integrate IoT services.Although the integration of IoT services into business processes enhances decision-making capabilities,it also presents challenges for verifying compliance with these processes.At the process model level,business processes need to be transformed into corresponding formal descriptions,but formalizing the extended BPMN elements used to integrate IoT services is difficult.Furthermore,traditional compliance verification methods for business processes do not support the verification of processes that integrate IoT services.To address the aforementioned challenges,this paper focuses on researching a business process compliance verification method for integrating IoT services.The research conducted in this paper is outlined as follows:1.A method is proposed to formalize the business process of integrating IoT services in this paper.Based on the formalization of the basic elements in BPMN as Petri nets,according to the execution semantics of the extended BPMN elements used to integrate IoT services,the extended elements are formalized into corresponding extended Petri net structures,so that the process The model is formalized as an extended Petri net model.Based on this formal method,a deadlock verification algorithm that supports the process model of integrated IoT services is proposed,which can effectively detect the deadlock structure of the process model of integrated IoT services.2.This paper proposes a method for compliance verification of business processes integrating IoT services.Con Dec,a constraint modeling language that supports graphical modeling,is used to model the constraint rules in the business domain and convert it into the corresponding formalized Büchi automaton model.The constructed process model is also converted into an automaton model,and the automata-based model checking method is used to verify whether the process model constructed by the user satisfies the corresponding domain constraint rules.3.Designed and implemented a functional prototype system.The system primarily comprises two aspects: tools for modeling business domain constraint rules and business process verification tools that integrate IoT services.The business domain constraint rule modeling tool uses an easy-to-understand graphical method to model business rules,and converts them into a formal model for final verification through a black box method,which reduces the difficulty of modeling rules for users.The compliance verification tool that integrates IoT services uses model checking to verify the formalized process model and business rule model to ensure that the user-built and adjusted process model does not violate the constraints in the business domain.Finally,the compliance verification is carried out through the case of LNG marine transportation scene,which shows the productivity of the compliance verification method provides in this article,and the evaluation index of compliance verification is used to evaluate the verification results.