期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
跨组织业务过程协同并行建模
被引量：
6
1
作者
莫启
代飞
+4 位作者
朱锐
笪建
林雷蕾
李可
李彤
《计算机集成制造系统》
EI
CSCD
北大核心
2015年第4期1051-1062,共12页
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组...
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。
展开更多
关键词
跨组织业务过程
协同
并行建模
语义
在线阅读
下载PDF
职称材料
业务过程协同中数据恢复策略建模及分析
被引量：
3
2
作者
莫启
代飞
+3 位作者
朱锐
笪建
林雷蕾
李彤
《计算机应用研究》
CSCD
北大核心
2016年第2期462-466,482,共6页
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提...
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。
展开更多
关键词
业务过程协同
“代理端+盟主端”业务过程协同架构
数据恢复通用模型
数据恢复策略模型
数据恢复策略
在线阅读
下载PDF
职称材料
跨组织业务过程协同多视图模型
被引量：
3
3
作者
笪建
莫启
+5 位作者
李彤
代飞
朱锐
骆霄
林雷蕾
程耀坤
《计算机应用研究》
CSCD
北大核心
2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部...
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。
展开更多
关键词
跨组织业务过程
协同
异步通信
上下文无关
PI演算
在线阅读
下载PDF
职称材料
题名
跨组织业务过程协同并行建模
被引量：
6
1
作者
莫启
代飞
朱锐
笪建
林雷蕾
李可
李彤
机构
云南大学软件学院
云南大学云南省软件
工程
重点实验室
淮安市高级职业技术学校信息工程系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2015年第4期1051-1062,共12页
基金
国家自然科学基金资助项目(61262024
61379032
+4 种基金
61462095)
云南省自然科学基金资助项目(2012FD005)
云南省教育厅科学研究基金资助项目(2013Y365)
云南省软件工程重点实验室开放基金资助项目(2012SE307)
第五批云南大学中青年骨干教师培养计划资助项目(XT412003)~~
文摘
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。
关键词
跨组织业务过程
协同
并行建模
语义
Keywords
cross-organization business process
collaboration
parallel modeling
semantics
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
业务过程协同中数据恢复策略建模及分析
被引量：
3
2
作者
莫启
代飞
朱锐
笪建
林雷蕾
李彤
机构
云南大学软件学院
云南大学云南省软件
工程
重点实验室
淮安市高级职业技术学校信息工程系
出处
《计算机应用研究》
CSCD
北大核心
2016年第2期462-466,482,共6页
基金
国家自然科学基金资助项目(61462095
61379032
+4 种基金
61262024)
云南省应用基础研究计划资助项目(2012FD005)
云南省软件工程重点实验室开放基金资助项目(2012SE307)
云南省教育厅科学研究基金资助项目(2013Y365)
第五批云南大学中青年骨干教师培养计划资助项目(XT412003)
文摘
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。
关键词
业务过程协同
“代理端+盟主端”业务过程协同架构
数据恢复通用模型
数据恢复策略模型
数据恢复策略
Keywords
business process collaboration
business process collaboration architecture called ＂ stockholder end ＋ agent end＂
general model for data recovery
model for data recovery strategy
data recovery strategy
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
跨组织业务过程协同多视图模型
被引量：
3
3
作者
笪建
莫启
李彤
代飞
朱锐
骆霄
林雷蕾
程耀坤
机构
淮安市高级职业技术学校信息工程系
云南大学软件学院
云南大学云南省软件
工程
重点实验室
云南大学昆明学院教务处
出处
《计算机应用研究》
CSCD
北大核心
2015年第9期2687-2692,共6页
基金
国家自然科学基金资助项目(61379032
61262024)
+2 种基金
云南省应用基础研究计划项目(2012FD005)
云南省软件工程重点实验室开放基金资助项目(2012SE307)
云南省教育厅科学研究基金资助项目(2013Y365)
文摘
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。
关键词
跨组织业务过程
协同
异步通信
上下文无关
PI演算
Keywords
cross-organization business
collaboration
asynchronous communication
context-free
pi calculus
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
跨组织业务过程协同并行建模
莫启
代飞
朱锐
笪建
林雷蕾
李可
李彤
《计算机集成制造系统》
EI
CSCD
北大核心
2015
6
在线阅读
下载PDF
职称材料
2
业务过程协同中数据恢复策略建模及分析
莫启
代飞
朱锐
笪建
林雷蕾
李彤
《计算机应用研究》
CSCD
北大核心
2016
3
在线阅读
下载PDF
职称材料
3
跨组织业务过程协同多视图模型
笪建
莫启
李彤
代飞
朱锐
骆霄
林雷蕾
程耀坤
《计算机应用研究》
CSCD
北大核心
2015
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
