The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
Distributed and Parallel Databases
Probabilistic Simulations for Probabilistic Processes
CONCUR '94 Proceedings of the Concurrency Theory
ICEIMT '01 Proceedings of the IFIP TC5/WG5.12 International Conference on Enterprise Integration and Modeling Technique: Enterprise Inter- and Intra-Organizational Integration: Building International Consensus
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Aspect-Oriented Programming with AspectJ
Aspect-Oriented Programming with AspectJ
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
Framework for Web service query algebra and optimization
ACM Transactions on the Web (TWEB)
A heuristic approach to optimal service selection in service oriented architectures
WOSP '08 Proceedings of the 7th international workshop on Software and performance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Dynamic composition and optimization of Web services
Distributed and Parallel Databases
Model Driven QoS Analyses of Composed Web Services
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations
IEEE Transactions on Services Computing
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining global optimization with local selection for efficient QoS-aware service composition
Proceedings of the 18th international conference on World wide web
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic (TOCL)
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
Optimal admission control for a QoS-aware service-oriented system
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Service selection algorithms for composing complex services with multiple qos constraints
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
QoS-Driven web services selection in autonomic grid environments
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
QoS analysis for web service compositions based on probabilistic qos
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Importance sampling of probabilistic contracts in web services
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Global and local qos guarantee in web service selection
BPM'05 Proceedings of the Third international conference on Business Process Management
Hi-index | 0.00 |
We study QoS-aware management of service orchestrations, specifically for orchestrations having a data-dependent workflow. Our study supports multi-dimensional QoS. To capture uncertainty in performance and QoS, we provide support for probabilistic QoS. Under the above assumptions, orchestrations may be non-monotonic with respect to QoS, meaning that strictly improving the QoS of a service may strictly decrease the end-to-end QoS of the orchestration, an embarrassing feature for QoS-aware management. We study monotonicity and provide sufficient conditions for it. We then propose a comprehensive theory and methodology for monotonic orchestrations. Generic QoS composition rules are developed via a QoS Calculus, also capturing best service binding--service discovery, however, is not within the scope of this work.Monotonicity provides the rationale for a contract-based approach to QoS-aware management. Although function and QoS cannot be separated in the design of complex orchestrations, we show that our framework supports separation of concerns by allowing the development of function and QoS separately and then "weaving" them together to derive the QoS-enhanced orchestration. Our approach is implemented on top of the Orc script language for specifying service orchestrations.