场景驱动的服务行为调控

Scenario-Driven Service Behavior Manipulation

提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型(简称BPN模型);其次,基于并发变迁分析BPN模型上表示服务行为的路径,并通过遍历BPN模型获取包含UML顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服务行为调控途径,并通过实例研究展示了该方法的可行性.

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.