On Simulation of BPEL4WS/UML Descriptions. - Satoru Endo; Toshiyuki Miyamoto; Sadatoshi Kumagai; Taku Fujii (APSEC, 2005)