您的位置： 专家智库 > >

易良辰

作品数：2 被引量：1H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇状态机
  • 2篇抽象状态机
  • 1篇普适环境
  • 1篇普适计算

机构

  • 2篇上海交通大学

作者

  • 2篇易良辰
  • 1篇黄林鹏

传媒

  • 1篇微电子学与计...

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
普适环境下基于抽象状态机的服务组合的分析与验证
自20世纪90年代Weiser[1,2]提出“普适计算”概念以来,嵌入式系统,无线通信等技术的发展为“服务无时不在,无处不在”的普适计算从理论变成现实提供了客观的技术基础。普适计算的目标是将由网络和传感器以及移动设备组成...
易良辰
关键词：抽象状态机普适环境
基于抽象状态机的普适服务组合分析与验证被引量：1
2013年
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.
易良辰黄林鹏
关键词：抽象状态机普适计算
全选 清除 导出
共1页<1>
聚类工具0