A UML Simulator for Behavioral Validation of Systems Based on SOA

Recently SOA (service oriented architecture) attracts attention as a technique for effective software development. SOA based systems are commonly implemented with the combination of BPEL4WS and Web services. BPEL4WS is used for defining interaction between multiple Web services. Since semantics of SOA based systems are complex, the effective validation of those semantics is essential for effective development of those systems. This paper proposes a simulator and associated development procedure for the effective development of SOA based systems. The simulator can run a UML model equivalent to BPEL4WS definition and can also incorporate existing Web services in simulation. Also, design and implementation of the simulator is explained in this paper