郑明
- 作品数：7 被引量：11H指数：2
- 供职机构：云南大学软件学院更多>>
- 发文基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 从私有过程提取公共过程构建业务协同的方法被引量：4
- 2017年
- 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.
- 莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明
- 关键词：业务过程模型
- 面向软件即服务的负载均衡策略建模与分析被引量：3
- 2017年
- 为提高软件即服务(SaaS)应用中资源的访问效率,提出支持SaaS服务重要特征的负载均衡策略。首先,结合SaaS服务的多租户和高度可伸缩两大特性,提出一种基于租户请求分流、在局部和全局两个层次伸缩的负载均衡策略;其次,对所提出负载均衡策略用Petri网进行建模并仿真;最后,将提出的负载均衡策略与轮询(RR)、随机和改进的最小连接(ILCS)负载均衡算法在总体响应时间和总吞吐量两方面进行比较。实验结果表明:在请求速率达到500请求/秒后,所提策略的总体响应时间和总吞吐量趋于稳定并优于另外三种算法。
- 明利李彤秦江龙郑明蒋旭东谢仲文
- 关键词：软件即服务可伸缩性负载均衡PETRI网
- 支持结构与行为融合的过程模型索引构建与检索被引量：2
- 2021年
- 为应对现有过程库中具有复杂结构的过程模型不易管理和理解、索引效率低等问题,提出一种支持结构和行为融合的过程模型索引构建与检索方法。针对过程库海量过程模型存储和高效的过程模型多维索引问题,提出采用花模型将具有复杂结构的一般过程模型转化为基于块的过程模型的方法,用于生成一般过程模型的索引;采用基于块的过程模型生成对应的过程树进行存储;利用过程树的编辑距离计算过程树的相似度,进而有效管理过程模型。通过构建相应的案例和原型系统证明了所提方法在模型转化、存储和检索方面具有良好的正确性与可行性。
- 朱锐黄月李彤马自飞李彤马自飞
- 协同业务过程的相容性检测及修正被引量：2
- 2017年
- 随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,提出了一种跨组织协同业务过程的相容性检测及修正方法。首先基于Petri网对业务过程及协同业务过程进行建模;然后对业务过程和协同业务过程的相容性进行定义,并分别给出了相应的检测算法;最后以现实中的购买过程为案例,检测出该购买过程中存在的不相容的协同业务过程,并予以修正。结果表明,在不改变局部业务过程的情况下,对本来不相容的协同业务过程进行修正,并最终达到一种好的满足相容性的协同业务过程模型。
- 郑明莫启周小煊李彤李彤向文坤
- 关键词：相容性
- 参与组织需求与协同业务过程一致性验证方法被引量：1
- 2018年
- 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。
- 莫启代飞代飞朱锐郑明郑明李彤戴翼超
- 关键词：一致性
- 构件系统建模及其动态演化一致性验证方法被引量：1
- 2017年
- 基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。
- 郑明李彤林英林英李响明利
- 关键词：进程代数
- 构件动态演化内部一致性保证方法
- 2018年
- 基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。
- 郑明李彤莫启莫启向文坤何云
- 关键词：同态映射
