基于抽象状态机的普适服务组合分析与验证  

Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine

作　　者：易良辰[1] 黄林鹏[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200240

出　　处：《微电子学与计算机》2013年第3期122-126,共5页Microelectronics & Computer

基　　金：国家自然科学基金项目(60970010);国家重点基础研究发展计划项目(2009CB320705)

摘　　要：提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.A service composition framework of pervasive environment is presented in this paper. The behavior of services are defined by abstract state machine （ASM） in different level of refinement. To validate the correctness of the service composition, a model validation tool called CoreASM is used to simulate the execution. At last a study case is presented based on the above method.

关 键 词：抽象状态机 普适计算 服务组合 验证方法 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]