-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=跨组织业务过程 "
共 条 记 录，以下是1-8

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
结合Petri网与进程代数的业务过程协同模型研究被引量：2
《软件导刊》2017年第12期49-52,共4页笪建 程耀坤 莫启 孙华 吕永华 
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进...
关键词：PETRI网 进程代数 跨组织业务过程 进程标号迁移系统 约简 
业务过程的同步通信合成
《计算机产品与流通》2017年第11期125-125,共1页王亚博 代飞 
云南省自然科学基金资助项目(2016FB102)
为实现共同的商业目标,业务过程间需要进行交互和协作。同步通信模型是一种经典的通信模型。本文以Petri网为形式化基础,讨论了同步通信模型下,业务过程模型间的同步通信合成,并通过例子,说明了该方法的有效性。
关键词：同步通信 PETRI网 业务过程 跨组织业务过程 
业务过程的异步通信合成
《计算机产品与流通》2017年第11期127-127,共1页王亚博 代飞 
云南省自然科学基金资助项目(2016FB102)
为实现共同的商业目标,业务过程间需要进行交互和协作。基于消息缓冲区的异步通信模型是被广泛用于并发分布式系统中。本文以Petri网为形式化基础,讨论了异步通信模型下,业务过程模型间的异步通信合成,并通过例子,说明了该方法的有效性。
关键词：异步通信 PETRI网 业务过程 跨组织业务过程 
跨组织业务过程建模
《计算机产品与流通》2017年第11期129-129,共1页莫启 代飞 
云南省自然科学基金资助项目(2016FB102)
跨组织业务过程使组织能够彼此进行交互和合作,以达成各自的商业目标。提出了一种跨组织业务过程的建模方法。首先,该方法使用有穷状态机建模参与组织的业务过程;其次,定义异步通信;最后,在异步通信模型下,将业务过程组合为跨组织业务...
关键词：异步通信 跨组织业务过程 有穷状态机 
一种多视角的跨组织业务过程建模方法被引量：7
《计算机集成制造系统》2015年第11期3001-3016,共16页代飞 莫启 林雷蕾 李彤 顾思雅 朱锐 
国家自然科学基金资助项目(61262024;61379032;61462095);云南省自然科学基金资助项目(2012FD005);云南省教育厅科学研究基金资助项目(2013Y365);云南省科技厅后备人才培养计划资助项目(C6143002);云南省软件工程重点实验室开放基金资助项目(2012SE307);第五批云南大学"中青年骨干教师培养计划"资助项目(XT412003)~~
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方...
关键词：业务过程建模 跨组织业务过程 私有过程 公共过程 协作过程 PETRI网 
跨组织业务过程协同多视图模型被引量：3
《计算机应用研究》2015年第9期2687-2692,共6页笪建 莫启 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 
国家自然科学基金资助项目(61379032;61262024);云南省应用基础研究计划项目(2012FD005);云南省软件工程重点实验室开放基金资助项目(2012SE307);云南省教育厅科学研究基金资助项目(2013Y365)
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部...
关键词：跨组织业务过程 协同 异步通信 上下文无关 PI演算 
协作图在编排定义中的应用
《计算机产品与流通》2017年第11期123-123,共1页李一冰 代飞 黄苾 
云南省自然科学基金资助项目(2016FB102)
编排从全局视角,描述了业务过程间的交互契约,是实施自上而下式跨组织业务过程建模的关键。协作图具有直观性和简易性。将协作图应用于定义编排,通过直观的方式显示业务过程间交互,有利于业务人员间的沟通和交流,从而提高跨组织业务过...
关键词：编排 协作图 跨组织业务过程 
跨组织业务过程协同并行建模被引量：6
《计算机集成制造系统》2015年第4期1051-1062,共12页莫启 代飞 朱锐 笪建 林雷蕾 李可 李彤 
国家自然科学基金资助项目(61262024;61379032;61462095);云南省自然科学基金资助项目(2012FD005);云南省教育厅科学研究基金资助项目(2013Y365);云南省软件工程重点实验室开放基金资助项目(2012SE307);第五批云南大学中青年骨干教师培养计划资助项目(XT412003)~~
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组...
关键词：跨组织业务过程 协同 并行建模 语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部