Sciweavers

270 search results - page 1 / 54
» From Collaboration Models to BPEL Processes Through Service ...
Sort
View
BPM
2005
Springer
110views Business» more  BPM 2005»
13 years 10 months ago
From Collaboration Models to BPEL Processes Through Service Models
Giorgio Bruno, Marcello La Rosa
OTM
2004
Springer
13 years 10 months ago
Transforming UMM Business Collaboration Models to BPEL
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
Birgit Hofreiter, Christian Huemer
ICWS
2008
IEEE
13 years 6 months ago
A Formal Model of Human Workflow
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
ICWS
2008
IEEE
13 years 6 months ago
Communications Semantics for WSBPEL Processes
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...
Walid Fdhila, Mohsen Rouached, Claude Godart
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
13 years 4 months ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...