Sciweavers

38 search results - page 2 / 8
» ws 2004
Sort
View
ICWS
2004
IEEE
13 years 6 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»
13 years 5 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»
13 years 5 months ago
GPRS-based WLAN authentication and auto-configuration
Phone Lin, Yi-Bing Lin, Vincent W.-S. Feng, Yen-Ch...
CAISE
2004
Springer
13 years 10 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
13 years 10 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