期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
跨组织业务过程协同并行建模
被引量：
6
1
作者
莫启
代飞
+4 位作者
朱锐
笪建
林雷蕾
李可
李彤
《计算机集成制造系统》
EI
CSCD
北大核心
2015年第4期1051-1062,共12页
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组...
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。
展开更多
关键词
跨组织业务过程
协同
并行建模
语义
在线阅读
下载PDF
职称材料
一种多视角的跨组织业务过程建模方法
被引量：
7
2
作者
代飞
莫启
+3 位作者
林雷蕾
李彤
顾思雅
朱锐
《计算机集成制造系统》
EI
CSCD
北大核心
2015年第11期3001-3016,共16页
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方...
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。
展开更多
关键词
业务
过程
建模
跨组织业务过程
私有
过程
公共
过程
协作
过程
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
职称材料
题名
一种多视角的跨组织业务过程建模方法
被引量：
7
2
作者
代飞
莫启
林雷蕾
李彤
顾思雅
朱锐
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2015年第11期3001-3016,共16页
基金
国家自然科学基金资助项目(61262024
61379032
+5 种基金
61462095)
云南省自然科学基金资助项目(2012FD005)
云南省教育厅科学研究基金资助项目(2013Y365)
云南省科技厅后备人才培养计划资助项目(C6143002)
云南省软件工程重点实验室开放基金资助项目(2012SE307)
第五批云南大学"中青年骨干教师培养计划"资助项目(XT412003)~~
文摘
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。
关键词
业务
过程
建模
跨组织业务过程
私有
过程
公共
过程
协作
过程
PETRI网
Keywords
business process modeling
inter-organizational business process
private processes
public process
collaboration process
Petri nets
分类号
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
一种多视角的跨组织业务过程建模方法
代飞
莫启
林雷蕾
李彤
顾思雅
朱锐
《计算机集成制造系统》
EI
CSCD
北大核心
2015
7
在线阅读
下载PDF
职称材料
3
跨组织业务过程协同多视图模型
笪建
莫启
李彤
代飞
朱锐
骆霄
林雷蕾
程耀坤
《计算机应用研究》
CSCD
北大核心
2015
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
