5 search results - page 1 / 1 » BPEL4Chor: Extending BPEL for Modeling Choreographies |
63
Voted
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
EEE
2005
IEEE
15 years 3 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
ECWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...