A compositional method for reliability analysis of workflows affected by multiple failure modes

Abstract

We focus on reliability analysis for systems designed as workflowbased compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflow's failure profile. The method is viewed as a design-time aid that can help software engineers reason about system's reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach.

Dependability Assessment of Web Service Orchestrations

“…They state that container and inner service time-to-failures are statistically independent, that the inner service time-to-response and time-to-failure are statistically independent, and that branching activities can be probabilistically represented. These are quite typical assumptions, and they are very common in literature [3], [4], [20], [21], [24], [25], [35].…”

“…In our previous work [3], [4], we addressed the stochastic evaluation of reliability in component-based systems, and we considered multiple failure modes and failure propagation phenomena. Other related work is presented hereafter, classified in three main areas, described next.…”

“…Table IV shows the aggregation-reduction rules for the workflow patterns identified in Section 5. These have been obtained by algebraic manipulations similar to those of [4], [25]. Details can be found in [33].…”

A Deployment-Oriented Service System Reliability Analyses

“…Referring to [12], we acknowledge that component-based software engineering identifies the concept of component as a building block or an elementary unit in software architecture modeling, assessment, development, and management. According to such perspective, a component follows from three main principles of software engineering: separation of concerns, modularization, and reuse and a software system is an aggregate of (software) modules or components.…”

QoS verification and model tuning @ runtime

“…This research has been partially funded by the European Commission, Programme IDEAS-ERC, Project 227977-SMScom. Other publications of the author include [10,4,7,3,12,13,11]. He is also co-author of the Dagstuhl proceedings book "Model Driven Quality Prediction" (Springer ed.…”