主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
柳溪,杨璐,潘敏学,王林章.场景驱动的服务行为调控.软件学报,2011,22(6):1185-1198
场景驱动的服务行为调控
Scenario-Driven Service Behavior Manipulation
投稿时间:2010-07-10  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2011.04019
中文关键词:  Web 服务  场景规约  行为调控  BPEL  Petri 网  自动机
英文关键词:Web service  scenario-based specification  behavior manipulation  BPEL  Petri net  automaton
基金项目:国家自然科学基金(90818022, 91018006, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 核高基项目(2009z01036-001-001-3)
作者单位E-mail
柳溪 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
liux@seg.nju.edu.cn 
杨璐 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
苏州大学 计算机科学与技术学院,江苏 苏州 215006 
 
潘敏学 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
 
王林章 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
南京大学 计算机科学与技术系,江苏 南京 210093 
lzwang@nju.edu.cn 
摘要点击次数: 5930
全文下载次数: 3376
中文摘要:
      提出了一个场景驱动的服务行为调控途径.首先,用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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利