Sciweavers

258 search results - page 23 / 52
» Monotony in Service Orchestrations
Sort
View
SIGSOFT
2007
ACM
15 years 10 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
IEEESCC
2007
IEEE
15 years 4 months ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
IEEESCC
2009
IEEE
14 years 7 months ago
QoS-Enabled Business-to-Business Integration Using ebBP to WS-BPEL Translations
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
Andreas Schönberger, Thomas Benker, Stefan Fr...
DEXAW
2008
IEEE
161views Database» more  DEXAW 2008»
15 years 4 months ago
Model-Based QoS-Enabled Self-Healing Web Services
Failures during web service execution may depend on a wide variety of causes, such as network faults, server crashes, or application-related errors, such as unavailability of a re...
Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria...
WETICE
2003
IEEE
15 years 3 months ago
A Provision-centric Model for Electronic Services
In addition to producing a pervasive standard and a technology framework, the Web Service initiative has prompted businesses to re-examine their service delivery channels. Back-en...
Clare Gryce, Giacomo Piccinelli, Christian Zirpins