王洪达
- 作品数：6 被引量：3H指数：1
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 数据感知过程之间差异的检测和解决
- 2015年
- 业务驱动开发支持多名业务人员对一项流程进行设计。为获得一个标准的参考数据感知过程,需要将这些变种合并,而检测和解决变种之间的差异是不可或缺的一环。现有方法大多依赖于修改日志从控制流层面检测和解决过程模型之间的差异,而很少研究数据感知过程之间差异的问题。基于程序依赖图和对应关系,提出一种通过比较修改前后的数据感知过程来检测和解决差异的方法。该方法建立一个层次性修改日志,以满足用户友好性的要求。
- 张学伟邢建春杨启亮宋巍王洪达
- 关键词：程序依赖图
- BPEL过程一致性度量被引量：1
- 2015年
- 服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定性回答,要么是从控制流层面数量化地度量一致性,导致度量结果不符合用户的预期评判。因此,采用活动间的行为约束作为度量基础,以事件日志中活动的发生概率为权重,一种数值化地度量BPEL过程行为一致性的方法被提出,并且实现了计算一致性的软件工具。通过对6组BPEL过程进行分析,验证了该方法的可行性和有效性,且度量结果符合用户的预期。
- 张学伟邢建春宋巍王洪达韩德帅
- 关键词：事件日志
- 一种自适应软件UML建模及其形式化验证方法
- 本发明公开了一种自适应软件UML建模及其形式化验证方法，主要用于处理自适应软件的建模与验证问题，具体步骤包括：(1)建立自适应软件概念模型；(2)通过扩展UML引入新的构造型、标记值和约束条件，建立自适应软件的可视化模型...
- 邢建春韩德帅杨启亮王平王洪达张学伟
- 文献传递
- 基于程序依赖图的静态BPEL程序切片技术被引量：2
- 2012年
- 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
- 王洪达邢建春宋巍杨启亮
- 关键词：WEB服务组合
- 一种自适应软件UML建模及其形式化验证方法
- 本发明公开了一种自适应软件UML建模及其形式化验证方法，主要用于处理自适应软件的建模与验证问题，具体步骤包括：(1)建立自适应软件概念模型；(2)通过扩展UML引入新的构造型、标记值和约束条件，建立自适应软件的可视化模型...
- 邢建春韩德帅杨启亮王平王洪达张学伟
- 文献传递
- 死路径消除语义下的BPEL过程建模与分析
- 2017年
- 针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CPN-Tools对BPEL过程的建模进行自动分析及验证。案例分析表明,该方法具有一定的实用性和可行性,能够帮助软件工程人员更好地测试、调试和维护BPEL程序。
- 陈莹邢建春王洪达杨启亮
- 关键词：WEB服务组合着色PETRI网
