-
题名基于区块链的跨组织业务流程模型演化和实例迁移
- 1
-
-
作者
孙笑笑
韩世聪
赵辰莹
沈沪军
俞东进
-
机构
杭州电子科技大学计算机学院
-
出处
《计算机集成制造系统》
北大核心
2025年第5期1620-1638,共19页
-
基金
国家自然科学基金资助项目(61472112)
浙江省自然科学基金资助项目(LQ20F020017)
浙江省重点研发资助项目(2020C01165,2021C01031)。
-
文摘
业务流程会由于法律、技术或业务环境的变化而发生改变。因此,在业务流程管理中需要相应地调整流程模型,并提供解决方案以迁移部分按照旧版本流程模型执行但尚未结束的流程实例。针对现有基于区块链的业务流程管理引擎普遍存在的流程演化困难、实例迁移低效等问题,提出一种基于版本控制的流程模型演化和流程实例动态迁移方法(PMEVC-PIMOP)。该方法首先采用赋时编排图来对频繁变更的动态流程进行建模,然后提出基于投票机制的模型版本控制策略用于流程模型演化,并在演化过程中考虑了流程的状态合规性。此外,针对流程实例的动态变更问题,该方法首先提出了基于字典树的候选实例轨迹前缀匹配算法计算得到候选模型集合,之后基于精确图编辑距离在候选模型集合中选择最优模型进行实例的高效迁移。最后,在一家助听器企业的真实数据集上的实验表明,PMEVC-PIMOP能有效应对跨组织业务流程在链上的模型演化和实例迁移。
-
关键词
业务流程管理
智能合约
版本控制
模型演化
实例迁移
-
Keywords
business process management
smart contract
version control
model evolution
instance migration
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名过程感知信息系统中过程的动态演化
被引量：18
- 2
-
-
作者
宋巍
马晓星
胡昊
吕建
-
机构
计算机软件与新技术国家重点实验室(南京大学)
南京理工大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第3期417-438,共22页
-
基金
国家自然科学基金(60736015
60973044
+3 种基金
61003019)
国家重点基础研究发展计划(973)(2009CB320702)
国家高技术研究发展计划(863)(2009AA01Z117)
核高基重大专项(2009ZX01043-001-06)
-
文摘
支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.
-
关键词
过程感知信息系统
过程模型
动态演化
过程实例迁移:正确性
高效性
-
Keywords
process-aware information system
process model
dynamic evolution
process instance migration
correctness
high efficiency
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件演化过程中运行实例的在线可信演化
- 3
-
-
作者
杨帅
张璇
王黎霞
赵倩
刘聪
-
机构
云南大学信息学院
云南大学软件学院
云南大学云南省软件工程重点实验室
云南大学经济学院
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第11期3365-3369,共5页
-
基金
国家自然科学基金资助项目(61262025
61379032
+4 种基金
61262024)
云南省应用基础研究计划面上项目(2012FB118)
云南省教育厅科学研究基金资助项目(2012Y257)
云南省软件工程重点实验室开放基金资助项目(2011SE09)
云南大学中青年骨干教师培养计划专项经费资助项目
-
文摘
为了提高演化的实用性,研究了演化过程实例的在线迁移,并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,在多色集合的相关理论基础上,提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质,用这种方法使不能按原计划一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性。这种改进的过程继承技术提高了迁移的成功率,使过程继承技术适用范围更广,使软件更可信。最后通过一个网上银行支付系统说明方法在实例迁移方面的实用性。
-
关键词
软件演化
过程演化
可信演化
实例迁移
-
Keywords
software evolution process evolution trustworthy evolution instance migration
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
