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