基于抽象状态机的普适服务组合分析与验证
Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine
-
摘要: 提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.Abstract: 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.
下载:
