skip to main content
10.1145/2000229.2000251acmconferencesArticle/Chapter ViewAbstractPublication PagescbseConference Proceedingsconference-collections
research-article

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

Published: 20 June 2011 Publication History

Abstract

We focus on reliability analysis for systems designed as workflow based 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.

References

[1]
A. Alves, A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, Sterling, D. König, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu. Web services business process execution language version 2.0. OASIS Committee Draft, May 2006.
[2]
H. Ammar, D. Nassar, W. Abdelmoez, M. Shereshevsky, and A. Mili. A framework for experimental error propagation analysis of software architecture specifications. In Proc. of International Symposium on Software Reliability Engineering. IEEE, 2002.
[3]
A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput., 1:11--33, January 2004.
[4]
B. Beizer. Micro-Analysis of Computer System Performance. John Wiley & Sons, Inc., New York, NY, USA, 1978.
[5]
J. T. Blake, A. L. Reibman, and K. S. Trivedi. Sensitivity analysis of reliability and performability measures for multiprocessor systems. In SIGMETRICS, pages 177--186, 1988.
[6]
C. Böhm and G. Jacopini. Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM, 9:366--371, May 1966.
[7]
A. Cardoso. Quality of Service and Semantic Composition of Workflows. PhD thesis, Graduate School of the University of Georgia, Athens, Georgia, August 2002.
[8]
J. Cardoso, A. Sheth, J. Miller, J. Arnold, and K. Kochut. Web semantics: Science, services and agents on the world wide web; quality of service for workflows and web service processes. Journal of Web Semantics, Elsevier, 1(3):281--308, 2004.
[9]
R. C. Cheung. A user-oriented software reliability model. IEEE Trans. Softw. Eng., 6(2):118--125, 1980.
[10]
E. Cinlar. Introduction to stochastic processes. Englewood Cliffs, 1975.
[11]
V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. LNCS, 4608:140, 2007.
[12]
V. Cortellessa, H. Singh, and B. Cukic. Early reliability assessment of uml based software models. In Workshop on Software and Performance, pages 302--309, 2002.
[13]
A. Filieri, C. Ghezzi, V. Grassi, and R. Mirandola. Reliability analysis of component-based systems with multiple failure modes. In L. Grunske, R. Reussner, and F. Plasil, editors, Component-Based Software Engineering, volume 6092 of Lecture Notes in Computer Science, pages 1--20. Springer Berlin / Heidelberg, 2010. 10.1007/978-3-642-13238-4_1.
[14]
S. Gallotti, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Quality prediction of service compositions through probabilistic model checking. In S. Becker, F. Plasil, and R. Reussner, editors, Quality of Software Architectures. Models and Architectures, volume 5281 of Lecture Notes in Computer Science, pages 119--134. Springer Berlin / Heidelberg, 2008. 10.1007/978-3-540-87879-7_8.
[15]
S. S. Gokhale and K. S. Trivedi. Reliability prediction and sensitivity analysis based on software architecture. In ISSRE, pages 64--78. IEEE Computer Society, 2002.
[16]
S. S. Gokhale, W. E. Wong, J. R. Horgan, and K. S. Trivedi. An analytical approach to architecture-based software performance and reliability prediction. Perform. Eval., 58(4), 2004.
[17]
K. Goseva-Popstojanova, A. Mathur, and K. Trivedi. Comparison of architecture-based software reliability models. In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on, pages 22--31, 2001.
[18]
K. Goseva-Popstojanova and K. S. Trivedi. Architecture-based approach to reliability assessment of software systems. Perform. Eval., 45(2-3):179--204, 2001.
[19]
V. Grassi. Architecture-based reliability prediction for service-oriented computing. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 279--299. Springer Berlin / Heidelberg, 2005. 10.1007/11556169_13.
[20]
L. Grunske and J. Han. A comparative study into architecture-based safety evaluation methodologies using aadl's error annex and failure propagation models. In HASE, pages 283--292. IEEE Computer Society, 2008.
[21]
E. Hahn, H. Hermanns, and L. Zhang. Probabilistic reachability for parametric markov models. In C. Pasareanu, editor, Model Checking Software, volume 5578 of Lecture Notes in Computer Science, pages 88--106. Springer Berlin / Heidelberg, 2009. 10.1007/978-3-642-02652-2_10.
[22]
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535, 1994.
[23]
M. Hiller, A. Jhumka, and N. Suri. Epic: profiling the propagation and effect of data errors in software. Computers, IEEE Transactions on, 53(5):512--530, May 2004.
[24]
A. Immonen and E. Niemel. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling, 7(1):49--65, 2008.
[25]
A. Immonen and E. NiemelA. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling, 7:49--65, 2008.
[26]
D. E. Knuth. Correction: Semantics of context-free languages. Mathematical Systems Theory, 5(1):95--96, 1971.
[27]
R. K. L. Ko. A computer scientist's introductory guide to business process management (bpm). Crossroads, 15:4:11-4:18, June 2009.
[28]
J. Paakki. Attribute grammar paradigms - a high-level methodology in language implementation. ACM Comput. Surv., 27(2):196--255, 1995.
[29]
R. Reussner, H. W. Schmidt, and I. Poernomo. Reliability prediction for component-based software architectures. Journal of Systems and Software, 66(3):241--252, 2003.
[30]
R. Roshandel. Calculating architectural reliability via modeling and analysis. In ICSE, pages 69--71. IEEE Computer Society, 2004.
[31]
W. M. C. Specification. Workflow Management Coalition Terminology and Glossary (Document No. WFMC-TC-1011). Number 3.0. Workflow Management Coalition Specification, http://www.wfmc.org/standards/docs/TC-1011_term_glossary_v3.pdf, 1999.
[32]
W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros. Workflow patterns. Distributed and Parallel Databases, 14:5--51, 2003. 10.1023/A:1022883727209.
[33]
J. M. Voas. Pie: A dynamic failure-based technique. IEEE Trans. Software Eng., 18(8):717--727, 1992.
[34]
J. M. Voas. Error propagation analysis for cots systems. Computing and Control Engineering Journal, 8(6):269--272, 1997.
[35]
W. Abdelmoez et al. Error propagation in software architectures. In METRICS '04, pages 384--393, Washington, DC, USA, 2004. IEEE Computer Society.
[36]
W.-L.Wang, Y. Wu, and M.-H. Chen. An architecture-based software reliability model. Pacific Rim International Symposium on Dependable Computing, IEEE, 0:143, 1999.
[37]
S. White. Process modeling notations and workflow patterns, chapter Workflow Handbook, pages 265--294. Future strategies inc. lighthouse point, fl, usa., 2004. edition, 2004.

Cited By

View all
  • (2024)Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based SystemsInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450044X32:01Online publication date: 15-Nov-2024
  • (2018)Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPSACM Transactions on Cyber-Physical Systems10.1145/32260293:1(1-25)Online publication date: 5-Sep-2018
  • (2015)Dependability assessment of critical systemsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0272-06:6(713-720)Online publication date: 1-Apr-2015
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CBSE '11: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
June 2011
214 pages
ISBN:9781450307239
DOI:10.1145/2000229
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 June 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. components
  2. probability
  3. reliability
  4. services
  5. workflow

Qualifiers

  • Research-article

Conference

Comparch '11
Sponsor:

Acceptance Rates

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based SystemsInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450044X32:01Online publication date: 15-Nov-2024
  • (2018)Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPSACM Transactions on Cyber-Physical Systems10.1145/32260293:1(1-25)Online publication date: 5-Sep-2018
  • (2015)Dependability assessment of critical systemsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0272-06:6(713-720)Online publication date: 1-Apr-2015
  • (2014)Dependability Assessment of Web Service OrchestrationsIEEE Transactions on Reliability10.1109/TR.2014.231593963:3(689-705)Online publication date: Sep-2014
  • (2014)Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured WorkflowsPart I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 880210.1007/978-3-662-45234-9_4(41-55)Online publication date: 8-Oct-2014
  • (2013)Reliability analysis in symbolic pathfinderProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486870(622-631)Online publication date: 18-May-2013
  • (2013)Reliability analysis in Symbolic PathFinder2013 35th International Conference on Software Engineering (ICSE)10.1109/ICSE.2013.6606608(622-631)Online publication date: May-2013
  • (2012)Evolution, adaptation, and the quest for incrementalityProceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management10.1007/978-3-642-34059-8_19(369-379)Online publication date: 19-Mar-2012
  • (2011)QoS verification and model tuning @ runtimeProceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering10.1145/2025113.2025176(408-411)Online publication date: 5-Sep-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media