Sciweavers

96 search results - page 16 / 20
» Quality driven web services composition
Sort
View
ISORC
2005
IEEE
14 years 29 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ICWS
2008
IEEE
13 years 8 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...
ESWS
2008
Springer
13 years 9 months ago
Conceptual Situation Spaces for Semantic Situation-Driven Processes
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
Stefan Dietze, Alessio Gugliotta, John Domingue
ICWS
2010
IEEE
13 years 8 months ago
Variability Modeling and QoS Analysis of Web Services Orchestrations
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Be...
TSC
2008
144views more  TSC 2008»
13 years 7 months ago
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...
Sidney Rosario, Albert Benveniste, Stefan Haar, Cl...