BASIS: Behavior Analyzer for Interactive Services v0.1.0
Introduction Download Case Study Contact

Introduction

  The BASIS (Behavior Analyzer for Interactive Services) v0.1.0 is implemented for analysis and manipulation of web services through proper message exchanges to make the execution of target service satisfy behavior requirement: to extract desired behavior and to filter out the undersired behavior. Behavior requirement is specified by UML Sequence Diagrams.

  Web services provide one of the typical implementations for Software Oriented Architecture. Behavior manipulation is important to the users of third-party services when only part of the service behavior is of concern. It is a worth-researching issue to study how to allow the service users to extract desired behavior or filter out undesired behavior from the target service. BASIS is based on a proposed research on web services behavior manipulation according to scenario-based specifications. Firstly, we use UML Sequence Diagram to describe user’s requirement as scenario-based specifications, and provide modeling of BPEL-based behavior specification as BPEL-Petri nets model (BPN model for short) to represent the service behavior. Secondly, the service behavior is analyzed based on paths of the BPN model utilizing the notion of concurrent transitions, and the set of behavior according to scenario-based specifications is obtained by traversing the BPN model. Finally, by using the result of behavior analysis, we construct the manipulator services which listen, check and filter the message exchange between the user and the target service at run-time to extract or filter out the scenario specified by Sequence Diagram. A case study is also given to illustrate the feasibility of our approach.


  BASIS tool takes WS-BPEL process (together with imported WSDLs and XML Schema), UML Sequence Diagram model in Rational Rose as its input. BPEL service is firstly transformed into BPN model. Then the net is traversed for behavior analysis against UML Sequence Diagram to record behavior with occurrence of the scenario depicted by the Sequence Diagram; improvements based on the notions including concurrent transitions, paths, etc. and algorithms are used to deal with statespace explosion problem. The behavior analysis result is used to build the behavior manipulators: the behavior constraint automaton, and the manipulator services. The manipulator services contain a BPEL message filter and a Java message validation checker. After the execution of the BASIS, user will get the simplified BPEL code, BPN net model, behavior constraint automaton and the manipulator services (Java class files and BPEL code). Users would need to deploy the generated manipulators to whatever engine for BPEL and/or Java web services. The BPEL filter service can be invoked to start and perform the manipulation at run-time.


  BASIS v0.1.0 is freely available now! You may download BASIS via the download page. Note that it can only be used for non-commercial purpose. Together with BASIS, there is a case study of ATM service, which you can have a try yourself.

Please note that BASIS v0.1.0 is only a prototype tool. If you have any trouble using this tool or suggestions, please contact liux AT seg.nju.edu.cn. Hope you enjoy using the tool!
 

Software Engineer Group

Department of Computer Science and Technology

Nanjing University, China

 


©2010 SEG NJU Homepage IntroductionDownloadCase StudyContact
Locations of visitors to this page