云南省自然科学基金(2012FD005)
- 作品数：6 被引量：21H指数：3
- 相关作者：代飞李彤莫启朱锐谢仲文更多>>
- 相关机构：云南大学淮安市高级职业技术学校昆明医科大学更多>>
- 发文基金：云南省自然科学基金国家自然科学基金云南省教育厅科学研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种混合式的过程编排定义方法被引量：1
- 2016年
- 为满足业务人员和IT人员对过程编排的不同需求,将协作图和Petri网进行有机结合,提出一种混合式的过程编排定义方法。该方法一方面使用协作图对过程编排进行定义来满足业务人员的可视化需求;另一方面使用Petri网对协作图进行编码,从而将基于协作图定义的过程编排转换为Petri网,借助Petri网的有效分析技术满足IT人员的形式分析需求。从迹等价角度证明了编码产生的Petri网可知保持协作图的语义。
- 代飞莫启李彤谢仲文秦江龙
- 关键词：业务过程管理协作图PETRI网
- 一种多视角的跨组织业务过程建模方法被引量：7
- 2015年
- 为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。
- 代飞莫启林雷蕾李彤顾思雅朱锐
- 关键词：业务过程建模PETRI网
- 跨组织业务过程协同并行建模被引量：6
- 2015年
- 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。
- 莫启代飞朱锐笪建林雷蕾李可李彤
- 关键词：语义
- 一种将需求模型转换为软件体系结构模型的方法被引量：5
- 2014年
- 需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。
- 谢仲文李晓燕李彤代飞于倩张璇
- 关键词：PETRI网
- Petri网层次结构中的状态一致性研究被引量：1
- 2015年
- Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现.
- 林雷蕾代飞李彤莫启朱锐
- 关键词：PETRI网最大流
- 软件开发中的活动模式挖掘被引量：1
- 2016年
- 如何获取实际运作的软件过程(而非经验过程)是一个关键问题。软件过程的事件数据呈现记录多、无明确活动与独具过程特性的特点,使得现有的业务过程挖掘方法难以被有效应用。首先获取事件日志的原子活动;然后采用折叠的方法从软件项目开发实例中挖掘活动模式,获取软件过程,对不同时期的软件开发行为进行分析;最后通过一个开源项目的实际案例来验证该方法。
- 吉才盈代飞李彤蒋旭东
- 关键词：折叠
