您的位置: 专家智库 > >

李健东

作品数:3 被引量:3H指数:1
供职机构:武汉大学更多>>
发文基金:国家教育部博士点基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 1篇原型化
  • 1篇智能体
  • 1篇软件工程
  • 1篇软件开发
  • 1篇强健性
  • 1篇自卫
  • 1篇面向对象
  • 1篇面向对象软件
  • 1篇进程代数
  • 1篇开放分布式
  • 1篇分布式
  • 1篇CORBA
  • 1篇超时

机构

  • 3篇武汉大学

作者

  • 3篇李健东
  • 2篇李巧云
  • 1篇康卓
  • 1篇戴大为
  • 1篇康立山
  • 1篇范明
  • 1篇何克清

传媒

  • 2篇武汉大学学报...
  • 1篇软件学报

年份

  • 1篇1997
  • 2篇1996
3 条 记 录,以下是 1-3
排序方式:
CORBA^(++):一个具有自卫智能体的扩展CORBA
1996年
将自卫机制加入OOP成为AOP以提高CORBA中软件的强健性和防卫能力,在CORBA这个异构环境中,一个对象申请服务之后就需等待,如果应答迟迟不到则有可能永远等待下去,为避免这种现象的产生和蔓延,在客户和服务方的行为中加入超时机制(timeout mecha-nism)并采用利己或利他策略,使得对象可独立地根据当前环境和时间决定下一步骤,将这种在协作者失败的情况下仍能生存的对象称为自卫智能体,加入白卫智能体的CORBA称为CORBA^(++),由于智能体可在任何条件下生存,CORBA^(++)可为用户提供可靠的服务,也就能实现CORBA^(++)中软件构成的强健性。
李巧云李健东代大为
关键词:智能体自卫强健性
基于规格说明的面向对象软件原型开发
1996年
提出了一种基于规格说明的面向对象软件原型开发方法.规格说明分为结构部分和行为部分.结构部分利用了面向对象开发方法OMT的直观可视的表示和分析设计规程;行为部分利用类CCS的表示文法和形式验证机制,使得规格说明及其求精结果由一致的语言表示,且在同一的形式框架构成的原型上进行行为分析.
魏峻范明李健东何克清
关键词:面向对象原型化进程代数软件开发
开放分布式对象系统中的通信智能体被引量:3
1997年
本文提出了一种新的通信智能体,称为通用对象请求智能体,通过超时技术提高开放分布式对象系统的客户/服务器模型通信的可靠性.本文提出通信智能体模型的目的在于提高请求的可靠性.在这个模型中,应用由时间段事务处理支持的反馈机制,对服务器完成请求的过程有更大的控制能力,并且客户以超时操作作为避免死亡的最后手段。
李巧云李健东康卓戴大为康立山
关键词:超时软件工程
共1页<1>
聚类工具0