中央高校基本科研业务费专项资金(2012211020201)
- 作品数：4 被引量：9H指数：2
- 相关作者：黄贻望黄颖冯在文何克清谢芳更多>>
- 相关机构：武汉大学赣南师范大学铜仁学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于RGPS着色的C-net模型及其应用被引量：2
- 2014年
- 可配置业务流程模型描述面向领域的相似流程模型家簇,这种模型能够通过配置操作获取满足特定用户需求的个性化流程模型.提出一个在角色和目标约束下以流程为中心的可配置业务流程模型,首先对因果网模型(C-net)进行扩展,将该模型中的活动元素增加角色和目标两个约束关系,从而利用RGPS需求元模型框架中对角色(R)、目标(G)、流程(P)、服务(S)之间的约束规则和关联关系去约束业务流程活动之间的执行序列,使得模型有效反映了业务流程活动中的实际行为;然后将活动的输入绑定和输出绑定端口设置配置操作标记,通过对端口配置标记的操作形成个性化流程;最后,给出了模型的形式化定义并分析模型在业务流程配置中的应用,使得能够指导业务流程的配置等管理操作.
- 黄贻望何克清冯在文黄颖谢芳
- 关键词：RGPS
- 一种流程特征结构树的流程合并方法被引量：2
- 2014年
- 为了满足用户个性化需求,软件制造企业制定了许多个性化的服务,但是这样也导致了软件产品的大量冗余及生产效率低下,而且不能快速有效地应对需求变化,可配置流程模型概念的提出解决了上述问题,可配置流程模型是以合并的方式获得业务流程的多个不同特征,这样就能基于一系列需求通过对不同特征给予不同的值从而获得该模型的配置,一旦配置被定义,模型就能够实现个性化.因为OWL-S是一种语义Web上的可以描述服务流程的语言,故选择OWL-S作为本文业务流程的载体.本文提出了OWL-S流程的特征结构树,该模型抽取OWL-S中的流程特征,并提出了基于Superimposition方法的流程特征结构树的合并算法,通过该方法实现流程的合并.
- 黄颖何克清冯在文黄贻望
- 关键词：OWL-S
- 一种目标感知的可配置业务流程分析方法被引量：6
- 2014年
- 可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.
- 黄贻望何克清冯在文黄颖
- 并发系统中谓词行为图的行为时序逻辑表达
- 2013年
- 行为时序逻辑(TLA)组合时序逻辑与行为逻辑,可以对并发系统进行描述与验证,它引入动作和行为的概念,使得系统和属性可用它的规约公式表示,但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图,对于并发转移可以用谓词行为图进行图形化表示,谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则,用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性,并用系统规约的TLA公式对谓词行为图表达能力进行证明,表明两者具有等价性,为描述和分析并发转换系统提供了一种可行的方法。
- 黄贻望袁科
- 关键词：并发性规约行为时序逻辑
