Sciweavers

38 search results - page 2 / 8
» ws 2004
Sort
View
ICWS
2004
IEEE
14 years 11 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...
CJ
2004
68views more  CJ 2004»
14 years 9 months ago
WGSN: WLAN-based GPRS Support Node with Push Mechanism
Vincent W.-S. Feng, Lin-Yi Wu, Yi-Bing Lin, Whai-E...
COMCOM
2004
92views more  COMCOM 2004»
14 years 9 months ago
GPRS-based WLAN authentication and auto-configuration
Phone Lin, Yi-Bing Lin, Vincent W.-S. Feng, Yen-Ch...
CAISE
2004
Springer
15 years 3 months ago
A Motivation for Multiple Activity Instantiation in BPEL4WS Processes
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
Jan Mendling, Mark Strembeck, Gustaf Neumann
GI
2004
Springer
15 years 3 months ago
Extending BPEL4WS for Multiple Instantiation
: A means to define multiple activity instantiation is an important feature of a business process modelling language. In this paper we suggest to extend BPEL4WS with structured ac...
Jan Mendling, Mark Strembeck, Gustaf Neumann