莫启
- 作品数：65 被引量：112H指数：7
- 供职机构：云南大学软件学院更多>>
- 发文基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学交通运输工程更多>>
- 具有隐私保护的电子商务环境下多组织协同过程构建方法
- 本发明公开了一种具有隐私保护的电子商务环境下多组织协同过程构建方法，包括：1)使用开放网对电子商务环境下各组织的业务过程进行建模；2)遍历各组织的业务过程，在每个分支变迁之前插入一个新的变迁，即锚点，并基于三个约简规则集...
- 莫启王佳能蒋成婷
- 跨组织业务过程协同多视图模型被引量：2
- 2015年
- 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。
- 笪建莫启李彤代飞朱锐骆霄林雷蕾程耀坤
- 关键词：异步通信PI演算
- 基于流程抽象的协同业务过程符合性验证
- 2021年
- 验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。
- 莫启向吉祥汪煜祺代飞许小龙齐连永
- 关键词：符合性
- 微服务技术:体系结构、通信和挑战被引量：28
- 2020年
- 微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进展和研究现状.首先系统地比较了单体架构、面向服务架构(service oriented architecture,SOA)和微服务结构;其次概述了微服务间的通信;最后讨论了微服务面临的技术挑战.
- 代飞刘国志李章莫启李彤
- 关键词：面向服务架构异步通信
- 一种软件演化环境下基于结点介数的构件重要性度量方法
- 本发明属于软件构件重要性度量技术领域，公开了一种软件演化环境下基于结点介数的构件重要性度量方法，采用软件体系结构为蓝图和支撑，提出软件体系结构有向图模型，引入结点介数对构件的重要性进行度量。并对构件的请求依赖、服务依赖进...
- 成蕾林英李彤谢仲文莫启秦江龙王晓芳郑交交李响杨真谛郑明
- 文献传递
- 课程改革在实践中的运用被引量：1
- 2018年
- 针对社会中某种专业需求量较大,而该专业就业率缺很低的反常现象,学生的专业能力有待提高的问题,该研究设计基于课程改革的政策指导矩阵及基于适应性慕课的教学方法,以云南农业大学2014级计算机科学技术本科教学班为研究对象,以提高学生专业水平为目标,采用管理信息系统课程为实验课程,开展教学改革实践活动。实践结果表明,该次课程改革在实践中非常成功,全班47名学生,成绩在90分以上的有6名学生,80分以上有20名学生,及格率100%,并且学生从思想上、认识上有了较大的提高,适合作为教学改革的模型进行推广应用。
- 钱晔孙吉红莫启代飞
- 关键词：课程改革
- 基于Petri网的软件动态演化的一致性分析被引量：3
- 2016年
- 在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。
- 谢仲文明利林英秦江龙莫启李彤
- 关键词：软件体系结构
- 面向协作图的基于Petri网的过程编排可实现性分析方法
- 本发明公开面向协作图的基于Petri网的过程编排可实现性分析方法，以Petri网作为形式化基础，将协作图定义的过程编排规约进行Petri网编码，在保持语义不变的情况下，转换为基于Petri网定义的全局过程编排规约；根据角...
- 代飞莫启李彤
- 文献传递
- 构件动态演化内部一致性保证方法
- 2018年
- 基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。
- 郑明李彤莫启莫启向文坤何云
- 关键词：同态映射
- BPMN 2.0编排的形式语义和分析被引量：20
- 2018年
- BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.
- 代飞赵文卓赵文卓莫启莫启周华
- 关键词：PETRI网形式语义语义分析
