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.

fYear

2006

fDate

25-28 Sept. 2006

Firstpage

3

Lastpage

10

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Next Generation Web Services Practices, 2006. NWeSP 2006. International Conference on

Conference_Location

Seoul

Print_ISBN

0-7695-2664-0

Type

conf

DOI

10.1109/NWESP.2006.4

Filename

4089998