您的位置： 专家智库 > >

上海市自然科学基金(10ZR141370)

作品数：2 被引量：2H指数：1
相关作者：刘晋任洪敏更多>>
相关机构：上海海事大学更多>>
发文基金：上海市教育委员会创新基金上海市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化验证
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇自动机
  • 1篇自愈
  • 1篇连接件
  • 1篇WEB
  • 1篇WEB服务组...
  • 1篇WEB服务

机构

  • 2篇上海海事大学

作者

  • 2篇任洪敏
  • 2篇刘晋

传媒

  • 1篇计算机工程与...
  • 1篇计算机应用研...

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于行为协议的构件替换性分析
2012年
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。
任洪敏刘晋
关键词：形式化分析形式化验证
基于连接件的Web服务自愈框架研究被引量：2
2012年
借鉴软件体系结构的研究思想,提出了服务连接件的概念,并以此扩展面向服务的体系结构,设计了一个基于服务连接件的、轻量级的、独立的Web服务自愈框架;分析了Web服务故障监控的因素及其规约的方法,给出了Web服务故障处理三种策略模式,并运用实例表明了方法的可行性。
任洪敏刘晋
关键词：WEB服务组合自愈软件体系结构
全选 清除 导出
共1页<1>
聚类工具0