WS2ASM：基于ASM的服务编排模拟工具

摘要

基于抽象状态机(Abstract State Machines，ASM)的建模与测试方法，能将Web服务编排设计中的错误尽可能消灭在开发阶段的早期．为简化建模过程，开发了一个自动化工具，用户能够快速定制无状态的Web服务接口与编排规则，即接口的输入、输出以及哪些服务的哪些接口之间能发生交互．该工具首先将这些描述转换为有状态的抽象状态机描述，进而转换为可执行CorcASM归约。实现服务描述到CoreASM归约的自动转换引擎是工具的核心和本文的目标。