计算机工程与应用2016，Vol.52Issue(20)：46-51,6.DOI:10.3778/j.issn.1002-8331.1411-0224
基于行为投影的Web服务组合行为兼容性研究
Research on behavioral compatibility of Web service composition ;based on behavioral projection
摘要
Abstract
Behavioral compatibility is the premise to ensure the system composited by Web services running correctly. Firstly, this paper presents Web service view including not only external interface operation call information but also internal logic behavior information. Secondly, service behavior is projected to different connector according to connect relationship of the services. Thirdly, interaction process is expressed as synchronous transition of two projected LTSs according mes-sages sent and received along the connector. Then it simulates dynamic interaction behavior by LTS synchronous product and checks whether there are deadlock states in synchronous product of LTSs to judge compatibility of composited system with the help of LTS operation semantics. Lastly, an algorithm is designed to verify behavioral compatibility automatically and illustrate its validity by an e-business application.关键词
Web服务组合/服务视图/行为投影/行为兼容性/标签转换系统Key words
Web service composition/service view/behavioral project/behavioral compatibility/Labeled Transition System(LTS)分类
信息技术与安全科学引用本文复制引用
张驰,褚楚,唐颖军,陈升..基于行为投影的Web服务组合行为兼容性研究[J].计算机工程与应用,2016,52(20):46-51,6.基金项目
国家自然科学基金（No.61262012）；江西省自然科学基金（No.2008GZS0017）；江西省教育厅科技项目（No.GJJ12274）。 （）
