Data networks (2nd ed.)
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Model-Driven Development: A Metamodeling Foundation
IEEE Software
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Efficient Access to Web Services
IEEE Internet Computing
QoS-Aware Replanning of Composite Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes
SCW '06 Proceedings of the IEEE Services Computing Workshops
Performance Modeling of WS-BPEL-Based Web Service Compositions
SCW '06 Proceedings of the IEEE Services Computing Workshops
Efficient algorithms for Web services selection with end-to-end QoS constraints
ACM Transactions on the Web (TWEB)
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Adaptive Service Composition in Flexible Processes
IEEE Transactions on Software Engineering
Playing with time in publish-subscribe using a domain-specific model checker
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Performance prediction of web service workflows
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Building your own software model checker using the bogor extensible model checking framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Automatic generation of performance models for SOA systems
Proceedings of the 16th international workshop on Component-oriented programming
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards design support for provenance awareness: a classification of provenance questions
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Hi-index | 0.00 |
The problem of composing services to deliver integrated business solutions has been widely studied in the last years. Besides addressing functional requirements, services compositions should also provide agreed service levels. Our goal is to support model-based analysis of service compositions, with a focus on the assessment of non-functional quality attributes, namely performance and reliability. We propose a model-driven approach, which automatically selects the set of available services, transforms a design model of service composition into an analysis model, which then feeds a probabilistic model checker for quality prediction. To bring this approach to fruition, we developed a prototype tool and we show the results which can be achieved with a simple example.