A reliability model for Service Component Architectures
Graphical abstractDisplay Omitted HighlightsIt is proposed a reliability model for Service Component Architectures described in the lightweight formal language SCA-ASM.SCA-ASM is based on the OASIS standard Service Component Architecture (SCA) and on the formal method Abstract State Machines (ASMs).The proposed reliability prediction method exploits ideas from architecture-based and path-based reliability models.A set of experimental results show the effectiveness of the proposed approach and its comparison with a state-of-the art BPEL-based approach. 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.