关键词: 业务流程管理, 智能合约, 版本控制, 模型演化, 实例迁移

Abstract: Business processes frequently change along with the changes of laws,technology and business environment.Therefore,it is necessary to timely adjust the process model and provide solutions to migrate partially executed process instances based on the old version of the process model.To address the problems of difficult process evolution and inefficient instance migration that commonly exist in the existing blockchain-based business process management engines,a version control-based process model evolution and process instance dynamic migration method named PMEVC-PIMOP was proposed.The timing-choreography was used to model frequent process dynamic changes,and a model version control strategy was proposed based on voting mechanism for process model evolution.At the same time,the state compliance of instances in the evolution process was considered,thereby solved the problem of difficult process model evolution on the chain.In addition,for the problem of dynamic changes of user process instances in operation,a dictionary tree-based candidate instance trajectory prefix matching algorithm was proposed to perform candidate process trajectory matching to obtain candidate model sets.After that,the optimal candidate model version selection algorithm based on the exact graph editing distance was adopted to select the optimal candidate model in the candidate model sets to support efficient migration of instances.

Key words: business process management, smart contract, version control, model evolution, instance migration