We have implemented a tool called BASIS (Behavior Analyzer for Interactive Services) v0.1.0 to automatically accomplish the behavior manipulation. The implementation language of the tool is Java. It takes the WS-BPEL file and UML Sequence Diagram files as input; and gives the following generated files: the simplified BPEL process, generated BPEL-Petri-net model (BPN model for short, represented in a PNML format), behavior analysis results (consistent paths), behavior constraint automaton and manipulation services (including the WSDL and XML Schema files).

After specifying the input of WS-BPEL file and Rational Rose UML Sequence Diagram files, users need to give the WSDL file location for message validation checker service, the output location for generated files, and choose the requirement to extract or filter out the scenario specified by the UML Sequence Diagram. Then the tool automatically perform the behavior manipulation after pressing the 'Perform' button. After completion, users can view the files for the generated BPN model (represented in a PNML format), behavior analysis results (consistent paths), behavior constraint automaton and generated BPEL filter service generated by the tool.

Download BASIS v0.1.0: The archive contains the executable JAR file with graphical user interface, the Java message validation checker service class files and an AAR archive file which can be used to deploy onto Apache Axis2 service container.

The files used in the case study can be downloaded, too. The archive consists of 3 files: the atm.bpel file is the ATM Service WS-BPEL process definition, the atm.wsdl which is the associated WSDL interface definition file, and the Rational Rose usd.mdl file depicting the "withdrawal" behavior.
  These files are necessary for running BASIS v0.1.0 on the ATM-withdrawal case study. The output files after execution of BASIS v0.1.0 will be: result_paths.txt, net_atm.xml, simp_atm.bpel, manipulator/atm.wsdl, manipulator/ATM_ctrlerBPEL.bpel, manipulator/ATM_aut.txt, manipulator/ctrler_atm.wsdl, manipulator/ctrlSchema.xsd, manipulator/MessageCheckInstantJWS.wsdl

Download case study archive: the ATM Simple

We have prepared a user manual to help you to use the BASIS v0.1.0. Please read it before you try to use the tool.

Download the User Manual.

The technical report of service behavior manipulation (in Chinese!) can be found and dowloaded here:
Download the technical report.