Title :
A UML Simulator for Behavioral Validation of Systems Based on SOA
Author :
Kurahata, Hiroyuki ; Fuji, Taku ; Miyamoto, Toshiyuki ; Kumagai, Sadatoshi
Author_Institution :
Dept. of Ele., Osaka Univ.
Abstract :
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
Keywords :
Unified Modeling Language; Web services; formal verification; software architecture; BPEL4WS; SOA based systems; UML simulator; Web services; behavioral system validation; service oriented architecture; software development; Costs; Large-scale systems; Programming; Semiconductor optical amplifiers; Service oriented architecture; Simple object access protocol; Software engineering; Unified modeling language; Web services; XML;
Conference_Titel :
Next Generation Web Services Practices, 2006. NWeSP 2006. International Conference on
Conference_Location :
Seoul
Print_ISBN :
0-7695-2664-0
DOI :
10.1109/NWESP.2006.4