Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
IEEE Internet Computing
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Model-Driven Development: A Metamodeling Foundation
IEEE Software
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
A Framework and Ontology for Dynamic Web Services Selection
IEEE Internet Computing
A Broker-Based Framework for QoS-Aware Web Service Composition
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
An approach for QoS-aware service composition based on genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Bootstrapping Performance and Dependability Attributes ofWeb Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Service Congestion: The Problem, and an Optimized Service Composition Architecture as a Solution
ICWS '06 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
Optimizing Web Service Composition Based on QoS Negotiation
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Journal of Systems and Software
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of 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
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Performance prediction of web service workflows
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
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
Combining extended UML models and formal methods to analyze real-time systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Choreographing security and performance analysis for web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Global and local qos guarantee in web service selection
BPM'05 Proceedings of the Third international conference on Business Process Management
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Predicting Performance Properties for Open Systems with KAMI
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards automated service quality prediction for development of enterprise mashups
Proceedings of the 5th International Workshop on Web APIs and Service Mashups
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Importance sampling of probabilistic contracts in web services
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Quality prediction in service composition frameworks
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Predicting defect numbers based on defect state transition models
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
Towards design support for provenance awareness: a classification of provenance questions
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Service Oriented Computing and Applications
Managing non-functional uncertainty via model-driven adaptivity
Proceedings of the 2013 International Conference on Software Engineering
A survey on reliability in distributed systems
Journal of Computer and System Sciences
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
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 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 called ATOP, and we demonstrate its use on a simple case study.