loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Asia-Pacific Software Engineering Conference (APSEC'05)
On Simulation of BPEL4WS/UML Descriptions
Taipei, Taiwan
December 15-December 17
ISBN: 0-7695-2465-6
Satoru Endo, Osaka University, Suita, Osaka, Japan
Toshiyuki Miyamoto, Osaka University, Suita, Osaka, Japan
Sadatoshi Kumagai, Osaka University, Suita, Osaka, Japan
Taku Fujii, Osaka Gas Information System Research Institute Co., Ltd.,
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 in [1], 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.
Citation:
Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii, "On Simulation of BPEL4WS/UML Descriptions," apsec, pp.103-112, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.