基于规范流网的web服务行为适配方法研究

web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题，提出一种新的服务行为建模和适配方法，并结合实例阐述该方法如何以规范流网为基础，建模服务行为，构造服务行为的符号化可覆盖树，构建数据依赖关系和动作依赖关系，构建符号化执行轨迹适配器，直至最后完成服务行为适配的整个建模和适配过程。