|
|||||
|
|
| 基于抽象状态机的普适服务组合分析与验证 | |
| 引用本文： | 易良辰,黄林鹏. 基于抽象状态机的普适服务组合分析与验证[J]. 微电子学与计算机, 2013, 0(3) |
| 作者姓名： | 易良辰 黄林鹏 |
| 作者单位： | 上海交通大学 计算机科学与工程系 ,上海 200240 |
| 摘 要： | 提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用 CoreASM 这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景. |
| 关 键 词： | 抽象状态机 普适计算 服务组合 验证方法 |
Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine |
|
| Abstract: | |
| Keywords: | abstract state machine pervasive computing service composition validation methods |
| 本文献已被 万方数据 等数据库收录！ | |