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

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

协同业务过程的建模及正确性修正被引量：5: 2; 作者莫启代飞 +3 位作者笪建朱锐谢仲文李彤《软件学报》 EI CSCD 北大核心 2020年第10期3147-3166,共20页; 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在... 展开更多; 关键词协同业务过程正确性修正简单路径核协调映射; 在线阅读下载PDF 职称材料

参与组织需求与协同业务过程一致性验证方法被引量：1: 3; 作者莫启代飞 +5 位作者朱锐笪建郑明李彤林雷蕾戴翼超《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1608-1620,共13页; 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建... 展开更多; 关键词参与组织需求协同业务过程一致性模型检测迹等价; 在线阅读下载PDF 职称材料

正确性保证的私有过程建模方法被引量：1: 4; 作者莫启笪建 +3 位作者代飞朱锐林雷蕾李彤《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页; 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 展开更多; 关键词私有过程基本块精化规则接口一致性正确性; 在线阅读下载PDF 职称材料

业务协同中组织需求的建模与一致性验证被引量：1: 5; 作者笪建莫启 +2 位作者程耀坤张毅李彤《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页; 验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组... 展开更多; 关键词组织需求协同业务过程一致性模型检测迹等价; 在线阅读下载PDF 职称材料

题名从私有过程提取公共过程构建业务协同的方法被引量：5: 1; 作者莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明; 机构云南大学软件学院云南省软件工程重点实验室(云南大学) 西南林业大学大数据与智能工程学院淮安开放大学信息工程系; 出处《计算机研究与发展》 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 职称材料

题名协同业务过程的建模及正确性修正被引量：5: 2; 作者莫启代飞笪建朱锐谢仲文李彤; 机构云南大学软件学院云南省软件工程重点实验室(云南大学) 西南林业大学大数据与智能工程学院淮安开放大学信息工程系; 出处《软件学报》 EI CSCD 北大核心 2020年第10期3147-3166,共20页; 基金国家自然科学基金(61862065,61702442,61662085) 云南省应用基础研究计划(2018FB105) +3 种基金云南省基础研究面上项目(202001BB050031)。; 文摘由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.; 关键词协同业务过程正确性修正简单路径核协调映射; Keywords collaborative business processes correctness repairing simple routes core coordination mapping; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名参与组织需求与协同业务过程一致性验证方法被引量：1: 3; 作者莫启代飞朱锐笪建郑明李彤林雷蕾戴翼超; 机构云南大学软件学院云南大学云南省软件工程重点实验室西南林业大学大数据与智能工程学院淮安开放大学信息工程系; 出处《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1608-1620,共13页; 基金国家自然科学基金资助项目(61462095 61702442 +7 种基金 61662085 61379032) 2018FB105) 2016SE202) 云南省教育厅科学研究基金资助项目(2017ZZX227)~~; 文摘为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。; 关键词参与组织需求协同业务过程一致性模型检测迹等价; Keywords requirements of participating organizations collaborative business process consistency model checking trace equivalence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名正确性保证的私有过程建模方法被引量：1: 4; 作者莫启笪建代飞朱锐林雷蕾李彤; 机构云南大学软件学院云南省软件工程重点实验室淮安开放大学信息工程系西南林业大学大数据与智能工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页; 基金国家自然科学基金(No.61462095 No.61862065 +8 种基金 No.61702442 No.61662085 No.61379032) No.2018FB105) No.2016SE202) 云南省教育厅科学研究基金资助性项目(No.2017ZZX227); 文摘私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.; 关键词私有过程基本块精化规则接口一致性正确性; Keywords private process basic block refinement rule interface consistency correctness; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名业务协同中组织需求的建模与一致性验证被引量：1: 5; 作者笪建莫启程耀坤张毅李彤; 机构云南大学软件学院淮安开放大学信息工程系江苏联合职业技术学院淮安分院现代教育技术中心云南大学云南省软件工程重点实验室; 出处《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页; 基金国家自然科学基金资助项目(61462095 61862065 +6 种基金 61662085 61379032) 2016SE202) 云南省教育厅科学研究基金资助项目(2017ZZX227)~~; 文摘验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。; 关键词组织需求协同业务过程一致性模型检测迹等价; Keywords organizational requirements collaborative business process consistency model checking trace equivalence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	从私有过程提取公共过程构建业务协同的方法	莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明	《计算机研究与发展》 EI CSCD 北大核心	2017	5	在线阅读下载PDF 职称材料
2	协同业务过程的建模及正确性修正	莫启代飞笪建朱锐谢仲文李彤	《软件学报》 EI CSCD 北大核心	2020	5	在线阅读下载PDF 职称材料
3	参与组织需求与协同业务过程一致性验证方法	莫启代飞朱锐笪建郑明李彤林雷蕾戴翼超	《计算机集成制造系统》 EI CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
4	正确性保证的私有过程建模方法	莫启笪建代飞朱锐林雷蕾李彤	《电子学报》 EI CAS CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
5	业务协同中组织需求的建模与一致性验证	笪建莫启程耀坤张毅李彤	《计算机集成制造系统》 EI CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料