| 本文已被：浏览 9514次 下载 9547次 |
码上扫一扫！ |
|
|
| 场景驱动的服务行为调控 |
|
柳溪1,2, 杨璐1,3, 潘敏学1,2, 王林章1,2
|
|
1.计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;2.南京大学 计算机科学与技术系,江苏 南京 210093;3.苏州大学 计算机科学与技术学院,江苏 苏州 215006
|
|
| 摘要: |
| 提出了一个场景驱动的服务行为调控途径.首先,用UML 顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL 行为规约,构造表示服务行为的BPEL-Petri 网模型(简称BPN 模型);其次,基于并发变迁分析BPN 模型上表示服务行为的路径,并通过遍历BPN 模型获取包含UML 顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服务行为调控途径,并通过实例研究展示了该方法的可行性. |
| 关键词: Web 服务 场景规约 行为调控 BPEL Petri 网 自动机 |
| DOI：10.3724/SP.J.1001.2011.04019 |
| 分类号: |
| 基金项目:国家自然科学基金(90818022, 91018006, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 核高基项目(2009z01036-001-001-3) |
|
| Scenario-Driven Service Behavior Manipulation |
|
LIU Xi1,2, YANG Lu1,3, PAN Min-Xue1,2, WANG Lin-Zhang1,2
|
|
1.State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;2.Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China;3.School of Computer Science and Technology, Soochow University, Suzhou 215006, China
|
| 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. |
| Key words: Web service scenario-based specification behavior manipulation BPEL Petri net automaton |
