检索结果-维普期刊中文期刊服务平台

基于CORBA实现分布式系统间的异步消息通信被引量：3: 1; 作者唐丽赵强《计算机应用》 CSCD 北大核心 2002年第8期83-95,共13页; 在现有的CORBA产品中 ,多数都不支持异步消息通信。文中基于CORBA ,采用消息队列通信和多线程设计等技术。; 关键词 CORBA 分布式系统异步消息通信程序设计多线程; 在线阅读下载PDF 职称材料

从私有过程提取公共过程构建业务协同的方法被引量：5: 2; 作者莫启代飞 +5 位作者朱锐笪建林雷蕾李彤谢仲文郑明《计算机研究与发展》 EI CSCD 北大核心 2017年第9期1892-1908,共17页; 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协... 展开更多; 关键词业务过程协同异步消息通信业务过程模型基本块抽取规则集接口一致性; 在线阅读下载PDF 职称材料

协同业务过程建模与行为验证: 3; 作者赵莹潘华 +2 位作者张云猛莫启代飞《计算机科学》 CSCD 北大核心 2018年第B11期597-602,共6页; 对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业... 展开更多; 关键词协同业务过程业务过程异步消息通信行为验证模型检测; 在线阅读下载PDF 职称材料

协同业务过程的随机行为分析方法: 4; 作者赵莹潘华 +2 位作者孙金艳莫启代飞《计算机工程与应用》 CSCD 北大核心 2019年第3期245-251,265,共8页; 参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次... 展开更多; 关键词协同业务过程异步消息通信随机行为通信顺序进程(CSP) 马尔科夫链; 在线阅读下载PDF 职称材料

题名基于CORBA实现分布式系统间的异步消息通信被引量：3: 1; 作者唐丽赵强; 机构中国工程物理研究院计算机应用研究所; 出处《计算机应用》 CSCD 北大核心 2002年第8期83-95,共13页; 基金中国工程物理研究院行业预研基金 (编号 :2 0 0 1 0 666); 文摘在现有的CORBA产品中 ,多数都不支持异步消息通信。文中基于CORBA ,采用消息队列通信和多线程设计等技术。; 关键词 CORBA 分布式系统异步消息通信程序设计多线程; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名从私有过程提取公共过程构建业务协同的方法被引量：5: 2; 作者莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明; 机构云南大学软件学院云南省软件工程重点实验室(云南大学) 西南林业大学大数据与智能工程学院淮安开放大学信息工程系; 出处《计算机研究与发展》 EI CSCD 北大核心 2017年第9期1892-1908,共17页; 基金国家自然科学基金项目(61462095 61702442 +4 种基金 61662085 61379032) 云南省中青年学术和技术带头人(C6143002)~~; 文摘业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.; 关键词业务过程协同异步消息通信业务过程模型基本块抽取规则集接口一致性; Keywords business process collaboration asynchronous message communication business process model basic block extraction rules interface consistency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名协同业务过程建模与行为验证: 3; 作者赵莹潘华张云猛莫启代飞; 机构云南电力调度控制中心云南云电同方科技有限公司云南大学软件学院西南林业大学大数据与智能工程学院; 出处《计算机科学》 CSCD 北大核心 2018年第B11期597-602,共6页; 基金国家自然科学基金(61462095 61702442) 云南省自然科学基金(2016FB102)资助; 文摘对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。; 关键词协同业务过程业务过程异步消息通信行为验证模型检测; Keywords Collaborative business process Business process Asynchronous message communication Behavior verification Model checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名协同业务过程的随机行为分析方法: 4; 作者赵莹潘华孙金艳莫启代飞; 机构云南电力调度控制中心云南云电同方科技有限公司云南大学软件学院西南林业大学大数据与智能工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2019年第3期245-251,265,共8页; 基金国家自然科学基金(No.61462095 No.61702442) 云南省自然科学基金(No.2016FB102); 文摘参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Process,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。; 关键词协同业务过程异步消息通信随机行为通信顺序进程(CSP) 马尔科夫链; Keywords collaborative business process asynchronous message communication random behavior Communication Sequential Process(CSP) Markov chain; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于CORBA实现分布式系统间的异步消息通信	唐丽赵强	《计算机应用》 CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
2	从私有过程提取公共过程构建业务协同的方法	莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明	《计算机研究与发展》 EI CSCD 北大核心	2017	5	在线阅读下载PDF 职称材料
3	协同业务过程建模与行为验证	赵莹潘华张云猛莫启代飞	《计算机科学》 CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料
4	协同业务过程的随机行为分析方法	赵莹潘华孙金艳莫启代飞	《计算机工程与应用》 CSCD 北大核心	2019	0	在线阅读下载PDF 职称材料