场景驱动的服务行为调控.pdfVIP

软件学报18SN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.翩翩 Journal 01Sofl阳are，2011 ，22(6): 118S由1198 [ωi: 10.3724/SP.J.1ω1.201 1.04019] TeJIFax: +86-10 。中国科学院软件研究所版仪所寄. 棉 场 景 杨 略 动 的， Y 扣 驱 ， k | i M H潘 民 目 叮 ? 务 ， 品 旧 』 m 王 - 为 样 工 川调 I(计算机软件新技术国家重点实验室(南京大学)，江苏南京 21ω93) 2(南京大学计算机科学与技术系，江苏南京 210093) 3(苏州大学计算机科学与技术学院，江苏苏州 215006) Scenario-Driven Service Bebavior Manipulation 1 3 1 1 1 LIU Xi .z+, YANG LU . , PAN Min嗣Xue .2， WANG Lin-Zhang ,2+ 1(8tate K.ey Laboratory for Novc1 80食warc Tecbnology (N叫ingU时versity)， Nanjing 21例93，China} 2(Depar恤cntofCompu幡r Scicnce and Techno10gy, N叫ing Universìty, N响ing 210093 , China} 气Schoo1 of Computer Scicnce and Techno1ogy，如ωhow University, Suzhou 215006, China) + Corresponding au伽r: E-m创1: liux@, lzw刷g@ Liu X, Yang L, Pan MX, Wang LZ. Sc:enario-Driven serviee bebavior manipulatioD. Jourlløl 01 Sψ， wøre. 2011，22(6):11时斗198. ll000-982S/4019.htm Abstrac:t: This paper proposes an approach for scenario-driven Web services behavior manipulation. First, the study uses UMLω咄咄ce diagrams ωthe scenario-based specification to describe users requirement on the behavior of the service and ωns刷刷 BPEL♂毗i nets model (BPN model for short) to represent the service behavior based on iωBPEL specification. Second, the service behavíor is analyzed based on pa伽s of 伽e BPN model by utilizing the notion of concurrent 衍ansitions. The set of behavior with occurrence of the scenario depicted by the UML Sequence Diagram is obtained by 刷versing the BPN mode