Communicating sequential processes
Communicating sequential processes
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Estimating software component reliability by leveraging architectural models
Proceedings of the 28th international conference on Software engineering
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
A Model Transformation from the Palladio Component Model to Layered Queueing Networks
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Model Driven QoS Analyses of Composed Web Services
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies
Advances in Web and Network Technologies, and Information Management
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Collaborative reliability prediction of service-oriented systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Software reliability estimation under certainty: generalization of the method of moments
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
A tree-based reliability model for composite web service with common-cause failures
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
A petri net based approach for reliability prediction of web services
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Architecture-based reliability prediction for service-oriented computing
Architecting Dependable Systems III
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Weaving-based configuration and modular transformation of multi-layer systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
Today, the concept of service oriented architectures provides a way of building integrated solutions out of existing services. To this end, services from different providers are composed using advanced orchestration and choreography techniques. However, while this principle allows for greater flexibility at a smaller cost, the use of third party services also includes a risk: Deployed services might not work as claimed by their providers. In this paper, we propose a technique for analyzing the expected reliability of service compositions based on ratings given by (previous) service users. Every service thereby comes with a reputation, and the analysis computes an overall reliability of a service composition from the reputations of its constituent services. The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques. The approach has been implemented as an Eclipse plug-in and is fully compliant with UML.