Case studies are provided to get a quick understanding of how BASIS works for web services behavior manipulation.

• ATM Simple:

  This ATM service is a very simple scenario but is sufficient to show how BASIS works. Genereated manipulator code and deploy instructions are also provided. Both the provided target service and manipulator are ready to be deployed onto Apache ODE engine (Java services on Apache Axis2). Therefore, this case study is recommended for you.

• ATM Complex:

  This ATM Service is more complex by using while loops, pick and event handlers. The files are sufficient to run BASIS, but you may need to add more codes (e.g. bindings and ports) to make it runnable on BPEL engines. This case study is primarily provided for a submitted paper.