-
题名跨组织业务流程合规性检查与异常行为诊断方法
- 1
-
-
作者
李会玲
刘聪
张在贵
沈晓林
莫启
曾庆田
-
机构
山东理工大学电气与电子工程学院
山东科技大学计算机科学与工程学院
山东理工大学计算机科学与技术学院
济南浪潮数据技术有限公司
云南大学软件学院
-
出处
《计算机集成制造系统》
北大核心
2025年第5期1684-1697,共14页
-
基金
国家重点研发计划资助项目(2022ZD0119501)
国家自然科学基金面上资助项目(62472264,52374221)
+3 种基金
山东省泰山学者工程专项基金资助项目(ts20190936,tsqn201909109)
山东省自然科学基金优秀青年基金资助项目(ZR2021YQ45)
山东省自然科学基金面上资助项目(ZR2022MF319)
山东省高等学校青创科技计划创新团队资助项目(2021KJ031)。
-
文摘
跨组织业务流程中的多个参与组织需要在保证流程业务隐私的同时协作配合完成业务目标,但由于业务不规范或流程变更等原因导致的流程行为异常,给各组织执行跨组织业务流程带来极大的风险与损失。针对该问题,提出一种跨组织业务流程合规性检查与异常行为诊断方法,能够在保证各参与组织业务隐私的前提下检测跨组织业务流程中存在的异常行为。首先,各组织从事件日志中挖掘各自的流程模型,与事件日志进行组织内部合规性检查,其次,各参与组织构造交互事件日志和交互流程模型,再次,由可信第三方将多个交互事件日志与交互流程模型进行集成得到集成交互事件日志与跨组织交互模型以进行跨组织合规性检查,结合组织内部与跨组织合规性检查时出现的异常行为进行异常行为诊断。最后,通过一个跨组织业务流程案例分析验证了本文方法在跨组织业务流程合规性检查中的有效性和可用性。
-
关键词
跨组织业务流程
跨组织交互模型
合规性检查
异常行为诊断
事件日志
-
Keywords
cross-organization business processes
cross-organization interaction model
conformance checking
abnormal behavior diagnosis
event logs
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向跨组织业务流程的角色行为验证方法
- 2
-
-
作者
叶鑫
马俊锋
-
机构
大连理工大学信息与决策技术研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第10期3368-3373,共6页
-
基金
国家自然科学基金项目(71001013)
教育部高等学校博士学科点专项科研基金项目(200801411060)
中央高校基本科研业务费基金项目(DUT09RC(3)060)
-
文摘
为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。
-
关键词
跨组织业务流程管理
角色模型
业务流程分析
PI演算
模型验证
-
Keywords
inter-organizational business process management
role model
business process analysis
Pi-calculus
model checking
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名面向跨组织业务流程的服务组合策略
被引量：1
- 3
-
-
作者
蒋军
冯志勇
-
机构
天津大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第15期3678-3681,共4页
-
基金
天津市重点科技攻关基金项目(04310891R)
-
文摘
动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑。传统的集中规划的组合方式不能很好适应开放环境所提要求。提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口,给出该策略下跨组织流程的开发方式,并以应用实例说明该策略对开放组织之间业务流程开发的有效支持。
-
关键词
网络服务
动态服务组合
层次任务网络
分布式规划
跨组织业务流程
-
Keywords
web service
dynamic service composition
hierarchical task network
distributed planning
cross-organizational business process
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持隐私保护的跨组织消息交互流程相似度计算方法
被引量：6
- 4
-
-
作者
周长红
曾庆田
段华
鲁法明
刁秀丽
刘聪
-
机构
山东科技大学信息科学与工程学院
山东科技大学经济管理学院
山东科技大学电子通信与物理学院
山东科技大学数学与系统科学学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2016年第2期395-405,共11页
-
基金
国家自然科学基金资助项目(61472229
61170079
+6 种基金
61202152)
山东省科技发展资助项目(2014GGX101035)
青岛市科技计划基础研究资助项目(13-1-4-153-jch
2013-01-24)
山东省优秀中青年科学家科研奖励基金资助项目(BS2014DX013)
山东省泰山学者基金资助项目
山东科技大学科研创新团队支持计划资助项目(2015TDJH102)~~
-
文摘
为了有效、快速地构建协作业务流程、推荐合作伙伴,具体研究了组织间消息交互流程的相似度计算方法。给出了扩展消息交互的组织内流程模型转换为面向组织集的公共流程模型的转换规则,充分考虑顺序、选择、并行和循环结构,面向不同组织的公共流程模型保证了各组织隐私保护的个性化需求。在公共流程模型的基础上设计了面向组织集的消息交互流程的构造方法,在突出交互消息相关信息的基础上,从全局结构相似和多元结构相似两方面给出了消息交互流程的相似度计算方法。结合实例验证了所提方法的有效性。
-
关键词
跨组织业务流程
隐私保护
消息交互
相似度计算
-
Keywords
cross-organization business process
privacy preservation
message interaction
similarity computing
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
