Sciweavers

502 search results - page 3 / 101
» Analyzing Interacting BPEL Processes
Sort
View
WWW
2005
ACM
13 years 11 months ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
CAISE
2008
Springer
13 years 7 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
FASE
2005
Springer
13 years 11 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
EPK
2006
84views Management» more  EPK 2006»
13 years 7 months ago
Using BPEL Processes defined by Event-driven Process Chains
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
Carlo Simon, Jörn Freiheit, Sebastian Olbrich
OTM
2004
Springer
13 years 11 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