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

Research on Web Service Behavior Adaptation Based on Regular Flow Nets

作　　者：曹国荣[1] 谭庆平[1] 解金刚[1] 吴浩[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机科学》2012年第10期108-114,共7页Computer Science

摘　　要：Web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程。Web service adaptation is an important research focus in the field of service-oriented computing.Aiming at problems of service behavior formalization and adaptation in cyclic service behavior,data flow modeling and state space explosion,we proposed a new approach for service behavior formalization and adaptation.The whole process of how to formalize service behavior based on regular flow nets,how to construct symbolic coverability tree of service behavior,how to build data dependence and actions dependence relationships,how to generate symbolic execution trace adapters,till accomplishing service behavior adaptation was illustrated through examples in the paper.

关 键 词：规范流网 服务适配 符号化可覆盖树 数据依赖 动作依赖 适配器 

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