WS2ASM：基于ASM的服务编排模拟工具
基于抽象状态机(Abstract State Machines，ASM)的建模与测试方法，能将Web服务编排设计中的错误尽可能消灭在开发阶段的早期．为简化建模过程，开发了一个自动化工具，用户能够快速定制无状态的Web服务接口与编排规则，即接口的输入、输出以及哪些服务的哪些接口之间能发生交互．该工具首先将这些描述转换为有状态的抽象状态机描述，进而转换为可执行CorcASM归约。实现服务描述到CoreASM归约的自动转换引擎是工具的核心和本文的目标。
Web服务 服务编排模拟工具 抽象状态机
恽筱源 黄林鹏
上海交通大学 计算机系，上海 200240
国内会议
哈尔滨
中文
343-348
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）