Journal of Software:2011.22(6):1185-1198

(计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;南京大学 计算机科学与技术系,江苏 南京 210093;计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;苏州大学 计算机科学与技术学院,江苏 苏州 215006)
Scenario-Driven Service Behavior Manipulation
LIU Xi,YANG Lu,PAN Min-Xue,WANG Lin-Zhang
(State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China;State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; School of Computer Science and Technology, Soochow University, Suzhou 215006, China)
Chart / table
Similar Articles
Article :Browse 7167   Download 3927
Received:July 10, 2010    Revised:March 29, 2011
> 中文摘要: 提出了一个场景驱动的服务行为调控途径.首先,用UML 顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL 行为规约,构造表示服务行为的BPEL-Petri 网模型(简称BPN 模型);其次,基于并发变迁分析BPN 模型上表示服务行为的路径,并通过遍历BPN 模型获取包含UML 顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服务行为调控途径,并通过实例研究展示了该方法的可行性.
中文关键词: Web 服务  场景规约  行为调控  BPEL  Petri 网  自动机
Abstract:This paper proposes an approach for scenario-driven Web services behavior manipulation. First, the study uses UML sequence diagrams as the scenario-based specification to describe user’s requirement on the behavior of the service and construct BPEL-Petri nets model (BPN model for short) to represent the service behavior based on its BPEL specification. Second, the service behavior is analyzed based on paths of the BPN model by utilizing the notion of concurrent transitions. The set of behavior with occurrence of the scenario depicted by the UML Sequence Diagram is obtained by traversing the BPN model. Finally, by using the result of behavior analysis, the study constructs the manipulator services to extract or filter out the behavior at run-time by listening to, checking, and filtering the messages exchanged between the user and the target service. In addition, the study has developed a prototype tool called BASIS to facilitate the behavior manipulation and conduct a case study to illustrate the feasibility of this approach.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(90818022, 91018006, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 核高基项目(2009z01036-001-001-3) 国家自然科学基金(90818022, 91018006, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 核高基项目(2009z01036-001-001-3)
Foundation items:
Reference text:


LIU Xi,YANG Lu,PAN Min-Xue,WANG Lin-Zhang.Scenario-Driven Service Behavior Manipulation.Journal of Software,2011,22(6):1185-1198