Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
Software Testability: The New Verification
IEEE Software
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Error Propagation In Software Architectures
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Quantifying software architectures: an analysis of change propagation probabilities
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Port Based Reliability Computing for Service Composition
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Modeling Uncertainties in the Estimation of Software Reliability - A Pragmatic Approach
SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
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
A model-driven process for engineering a toolset for a formal method
Software—Practice & Experience
Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
An Architecture for Managing and Delivering Trustworthy Context-Dependent Services
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model
SEAA '12 Proceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems
IEEE Transactions on Software Engineering
Architecture-Based Reliability Prediction with the Palladio Component Model
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Service-oriented applications are dynamically built by assembling existing, loosely coupled, distributed, and heterogeneous services. Predicting their reliability is very important to appropriately drive the selection and assembly of services, to evaluate design feasibility, to compare design alternatives, to identify potential failure areas and to maintain an acceptable reliability level under environmental extremes. This article presents a model for predicting reliability of a service-oriented application based on its architecture specification in the lightweight formal language SCA-ASM. The SCA-ASM component model is based on the OASIS standard Service Component Architecture for heterogeneous service assembly and on the formal method Abstract State Machines for modeling service behavior, interactions, and orchestration in an abstract but executable way. The proposed method provides an automatic and compositional means for predicting reliability both at system-level and component-level by combining a reliability model for an SCA assembly involving SCA-ASM components, and a reliability model of an SCA-ASM component. It exploits ideas from architecture-based and path-based reliability models. A set of experimental results shows the effectiveness of the proposed approach and its comparison with a state-of-the art BPEL-based approach.