摘要
Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。
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 internallogic behavior information. Secondly, service behavior is projected to different connector according to connect relationshipof the services. Thirdly, interaction process is expressed as synchronous transition of two projected LTSs according messagessent and received along the connector. Then it simulates dynamic interaction behavior by LTS synchronous productand checks whether there are deadlock states in synchronous product of LTSs to judge compatibility of composited systemwith the help of LTS operation semantics. Lastly, an algorithm is designed to verify behavioral compatibility automaticallyand illustrate its validity by an e-business application.
作者
张驰
褚楚
唐颖军
陈升
ZHANG Chi;CHU Chu;TANG Yingjun;CHEN Sheng(School of Software and Communication Engineering, Jiangxi University of Finance and Economics, Nanchang 330013, China)
出处
《计算机工程与应用》
CSCD
北大核心
2016年第20期46-51,共6页
Computer Engineering and Applications
基金
国家自然科学基金(No.61262012)
江西省自然科学基金(No.2008GZS0017)
江西省教育厅科技项目(No.GJJ12274)
关键词
WEB服务组合
服务视图
行为投影
行为兼容性
标签转换系统
Web service composition
service view
behavioral project
behavioral compatibility
Labeled Transition System(LTS)
