On simulation of BPEL4WS/UML descriptions

Author

Endo, Satoru ; Miyamoto, Toshiyuki ; Fujii, Taku ; Kumagai, Sadatoshi

Author_Institution

Dept. of Electr. & Electron. Syst., Osaka Univ., Japan

fYear

2005

fDate

15-17 Dec. 2005

Abstract

Increasing developments of systems using Web applications, SOA (service oriented architecture) based development becomes the focus of attention. However, in SOA based development, it is difficult to understand behaviors of system, which is integrated with many Web applications. Therefore, it is necessary to simulate the entire behavior in early stage. A formal semantics for UML activity diagrams has been proposed, where an activity diagram is mapped into a hypergraph called an activity hypergraph, and the semantics is defined on the hypergraphs. In this paper, we propose a mapping from BPEL4WS/UML descriptions into activity hypergraphs, and enhance the semantics to simulate entire systems.

Keywords

Internet; Unified Modeling Language; diagrams; formal specification; graph theory; BPEL4WS-UML description; SOA based development; UML activity diagram formal semantics; Web applications; activity hypergraph; service oriented architecture; Formal specifications; Information systems; Logic; Protocols; Service oriented architecture; Software tools; Unified modeling language; Web services; Wrapping; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-2465-6

Type

conf

DOI

10.1109/APSEC.2005.84

Filename

1607142