莫启

作品数：41被引量：118H指数：6
导出分析报告
供职机构：云南大学软件学院更多>>
发文主题：PETRI网跨组织一致性异步通信私有更多>>
发文领域：自动化与计算机技术经济管理理学交通运输工程更多>>
发文期刊：《计算机应用与软件》《计算机应用研究》《小型微型计算机系统》《应用科学学报》更多>>
所获基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金云南省应用基础研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的面向公共过程的协同业务过程验证方法
《计算机集成制造系统》2024年第8期2854-2871,共18页汪煜祺 莫启 王佳能 王佳 谢仲文 代飞 
国家自然科学基金资助项目(61862065);云南省基础研究面上项目(202001BB050031);云南省软件工程重点实验室开放基金青年项目(2020SE401);泰安市科技创新发展项目(政策引导类)(2020NS297)。
如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模...
关键词：协同业务过程 私有过程 公共过程 抽取规则 正确性验证 
异步通信系统的合理性检测
《计算机集成制造系统》2024年第8期2936-2946,共11页王帅 代飞 黄苾 莫启 付晓东 
国家自然科学基金资助项目(61862065,62262063);云南省重点研发项目(202402AD080002-5);云南省基础研究面上项目(202001BB050031);云南省软件工程重点实验室开放基金青年项目(2020SE401);云南省窦万春专家工作站资助项目(202105AF150013);云南省“兴滇英才支持计划”产业创新人才资助项目(XDYC-CYCX-2022-0009);云南省科协青年科技人才托举工程资助项目。
异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异...
关键词：异步通信系统 无界缓冲区 合理性 稳定性 标号迁移系统 
基于视图面向隐私保护的协同业务过程建模方法
《计算机集成制造系统》2022年第10期3187-3201,共15页向吉祥 莫启 谢仲文 汪煜祺 王佳能 
国家自然科学基金资助项目(61862065);云南省基础研究面上资助项目(202001BB050031);云南省软件工程重点实验室开放基金面上资助项目(2020SE401);泰安市科技创新发展资助项目(政策引导类)(2020NS297);科技创新2030-“新一代人工智能”重大资助项目(2021ZD0111400)。
针对协同业务过程中因涉及多个组织间复杂的通信、交互及协作关系而导致的复杂建模问题,基于视图提出一种协同业务过程建模方法。首先定义私有视图,然后将私有视图控制流映射为树结构,最后基于树结构提出4种关系节点各自的迁移技术,以...
关键词：协同业务过程 私有视图 公共视图 隐私保护 迁移技术 
车辆边缘计算环境下基于深度强化学习的服务卸载方法被引量：3
《计算机集成制造系统》2022年第10期3304-3315,共12页刘国志 代飞 莫启 许小龙 强振平 王雷光 
国家自然科学基金资助项目(62262063,12163004);云南省基础研究重点资助项目(202101AS070007);云南省窦万春专家工作站资助项目(202205AF150013);云南省科学技术协会青年科技人才资助项目(61862065);云南省科技重大资助项目(202002AD080002);云南省科技厅资助项目(202001AT070135)。
为了在车辆边缘环境下高效地进行服务卸载,同时考虑服务的卸载决策以及边缘服务器和云服务器的协同资源分配,提出一种基于深度强化学习的服务卸载方法。首先提出车辆边缘环境下一种端—边—云协同的服务卸载架构,将服务卸载问题归约为...
关键词：服务卸载 端—边—云架构 深度Q网络 深度强化学习 边缘计算 
基于流程抽象的协同业务过程符合性验证
《计算机集成制造系统》2021年第9期2542-2555,共14页莫启 向吉祥 汪煜祺 代飞 许小龙 齐连永 
国家自然科学基金资助项目(61862065);云南省应用基础研究计划资助项目(2018FB105,202001BB050031,202101AS070007);云南省教育厅科学研究基金资助项目(2020J0002);云南省软件工程重点实验室开放基金资助项目(2020SE401)。
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方...
关键词：协同业务过程 领域约束 符合性 模型检测 弱轨迹等价 
微服务技术:体系结构、通信和挑战被引量：29
《应用科学学报》2020年第5期761-778,共18页代飞 刘国志 李章 莫启 李彤 
国家自然科学基金(No.61702442,No.61862065,No.61662085);云南省应用基础研究计划项目(No.2018FB105);云南省重大科技专项计划项目(No.202002AD080002,No.2019ZE005)资助。
微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进...
关键词：微服务 单体架构 面向服务架构 异步通信 
协同业务过程的建模及正确性修正被引量：4
《软件学报》2020年第10期3147-3166,共20页莫启 代飞 笪建 朱锐 谢仲文 李彤 
国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金(2017ZZX227);云南省基础研究面上项目(202001BB050031)。
由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在...
关键词：协同业务过程 正确性修正 简单路径 核 协调映射 
基于Petri网分析编排的可实现性被引量：2
《计算机集成制造系统》2020年第6期1548-1556,共9页黄苾 代飞 王亚博 莫启 曹涌 王雷光 
国家自然科学基金资助项目(61702442,61862065);云南省应用基础研究资助项目(2018FB105)。
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中...
关键词：编排 可实现性 异步通信 同步通信 PETRI网 
协同业务过程的随机行为分析方法
《计算机工程与应用》2019年第3期245-251,265,共8页赵莹 潘华 孙金艳 莫启 代飞 
国家自然科学基金(No.61462095;No.61702442);云南省自然科学基金(No.2016FB102)
参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次...
关键词：协同业务过程 异步消息通信 随机行为 通信顺序进程(CSP) 马尔科夫链 
数据驱动的双层次软件过程挖掘方法被引量：7
《软件学报》2018年第11期3455-3483,共29页朱锐 李彤 莫启 何臻力 于倩 王一荃 
国家自然科学基金(61662085;61862065);云南省教育厅科学研究基金(2017ZZX227);云南大学数据驱动的软件工程省科技创新团队项目(2017HC012);阿里巴巴青年学者支持计划~~
为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题,以软件过程数据为研究对象,提出了一种双层次的软件过程挖掘方法.在活动层,提出加权结构连接向量模型对过程日志进行向量化,通过平均活动熵来确定过...
关键词：软件过程数据 软件过程挖掘 模糊聚类 启发式关系度量 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部