5 search results - page 1 / 1 » BPEL4Chor: Extending BPEL for Modeling Choreographies |
65
Voted
ICWS
2007
IEEE
15 years 14 hour ago
2007
IEEE
CAISE
2008
Springer
15 years 17 days ago
2008
Springer
EEE
2005
IEEE
15 years 4 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 4 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...
102
click to vote
ICWS
2008
IEEE
15 years 17 hour 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...