Skip to main content
SpringerLink
Log in

Architectural description of dependable software systems

  • Chapter
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, RJ (1997) A Formal Approach to Software Architecture. Technical Report CMUCS-97-144. Carnegie Mellon University

    Google Scholar 

  2. Allen R, Garlan D (1997) A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3):213–249

    Article  Google Scholar 

  3. Anderson T, Lee PA (1981) Fault Tolerance: Principles and Practice. Prentice-Hall

    Google Scholar 

  4. Avizienis A (1995) The N-Version Approach to Fault-tolerant Software. IEEE Transactions on Software Engineering 11(2): 1491–1501

    Google Scholar 

  5. Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1): 11–33

    Article  Google Scholar 

  6. Balsamo S, Bernado M, Simeoni M (2003) Performance Evaluation at the Architecture Level. In: Bernado M, Inverardi P (eds). Formal Methods for Software Architectures. Lecture Notes in Computer Science 2804. Springer, Berlin, pp. 207–258

    Google Scholar 

  7. Balzer R (1999) Instrumenting, Monitoring, and Debugging Software Architectures. http://www.isi.edu/divisions/index.html

    Google Scholar 

  8. Balzer R (2001) The DASADA Probe Infrastructure. Internal Report. Teknowledge Corporation. USA

    Google Scholar 

  9. Bass L, Clements P, Kazman R (1998) Software Architecture in Practice. Addison Wesley

    Google Scholar 

  10. Bernado M, Donatiello L, Ciancarini P (2002) Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Performance Evaluation of Complex Systems: Techniques and Tools. Lecture Notes in Computer Science 2459. Springer, Berlin, pp. 236–260

    Google Scholar 

  11. Bertolino A, Inverardi P, Muccini H (2003) Formal Methods in Testing Software Architecture. In: Bernado M, Inverardi P (eds). Formal Methods for Software Architectures. Lecture Notes in Computer Science 2804. Springer, Berlin, pp. 122–147

    Google Scholar 

  12. Björkander M, Kobryn C (2003) Architecting Systems with UML 2.0. IEEE Software 20(4): 57–61

    Article  Google Scholar 

  13. Boehm B (1996) Anchoring the Software Process. IEEE Software 13(4): 73–82

    Article  Google Scholar 

  14. Bradbury JS, Cordy JR, Dingel J, Wermelinger M (2004) A Survey of Self-Management in Dynamic Software Architecture Specifications. Proceedings of the 2004 ACM SIGSOFT Workshop On Self-Managed Systems (WOSS’04). Newport Beach, CA, USA

    Google Scholar 

  15. Castor Filho F, Guerra PA de C, Pagano VA, Rubira CMF (2005) A Systematic Approach for Structuring Exception Handling in Robust Component-Based Software. Journal of the Brazilian Computer Society 3(10):5–19

    Google Scholar 

  16. Clements P (1996) A Survey of Architecture Description Languages. Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD’96). Paderborn, Germany. pp. 16–25

    Google Scholar 

  17. Clements P, et al (2003) Documenting Software Architectures: Views and Beyond. Addison-Wesley

    Google Scholar 

  18. Clements P, Kazman R, Klein M (2002) Evaluating Software Architectures: Methods and Case Studies. Addison-Wesley

    Google Scholar 

  19. Cook JE, Dage JA (1999) Highly Reliable Upgrading of Components. Proceedings of the 21st International Conference on Software Engineering (ICSE’99). Los Angeles, CA, USA. ACM Press. pp. 203–212

    Google Scholar 

  20. Dashofy E, van der Hoek A, Taylor RN (2002) Towards Architecture-Based Self-Healing Systems. Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS’02). Charleston, SC, USA. pp. 21–26

    Google Scholar 

  21. de Lemos R (2004) Analysing Failure Behaviours in Component Interaction. Journal of Systems and Software 71(1–2): 97–115

    Google Scholar 

  22. de Lemos R, Gacek C, Romanovsky A (2003) Architectural Mismatch Tolerance. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 175–196

    Google Scholar 

  23. DeLine R (1999) A Catalog of Techniques for Resolving Packaging Mismatch. Proceedings of the 5th Symposium on Software Reusability (SSR’99). Los Angeles, CA. pp. 44–53

    Google Scholar 

  24. Dias M, Richardson D (2003) The Role of Event Description in Architecting Dependable Systems. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 150–174

    Google Scholar 

  25. Egyed A, Medvidovic N, Gacek C (2000) Component-Based Perspective on Software Mismatch Detection and Resolution. IEE Proceedings on Software 147(6): 225–236

    Article  Google Scholar 

  26. Gacek C (1998) Detecting Architectural Mismatches during System Composition. PhD Dissertation. Center for Software Engineering. University of Southern California. Los Angeles, CA, USA

    Google Scholar 

  27. Gacek C, Abd-Allah A, Clark B, Boehm B (1995) On the Definition of Software Architecture. Proceedings of the First International Workshop on Architectures for Software Systems (ISAW). Seattle, WA. pp. 85–95

    Google Scholar 

  28. Garlan D (2003) Formal Modeling and Analysis of Software Architectures. In: Bernado M, Inverardi P (eds). Formal Methods for Software Architectures.. Lecture Notes in Computer Science 2804. Springer, Berlin, pp. 1–24

    Google Scholar 

  29. Garlan D, Allen R, Ockerbloom J (1995) Architectural Mismatch: Why Reuse is so Hard. IEEE Software 12(6):17–26

    Article  Google Scholar 

  30. Garlan D, Monroe RT, Wile D (2000) Acme: Architectural Description of Component-Based Systems. Leavens GT, Sitaraman M (eds). Foundations of Component-Based Systems. Cambridge University Press

    Google Scholar 

  31. Garlan D, Cheng SW, Kompanek AJ (2001) Reconciling the Needs of Architectural Description with Object-Modeling Notations. Science of Computer Programming Journal 44: 23–49

    Article  Google Scholar 

  32. Garlan D, Cheng SW, Schmerl B (2003) Increasing System Dependability through Architecture-based Self-Repair. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 61–89

    Google Scholar 

  33. Gokhale SS, Horgan JR, Trivedi K (2003) Specification-Level Integration of Simulation and Dependability Analysis. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 245–266

    Google Scholar 

  34. Grassi V (2005) Architecture-based Reliability Prediction for Service-oriented Computing. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems III. Lecture Notes in Computer Science 3549. Springer, Berlin, pp. 291–309

    Google Scholar 

  35. Guerra PA de C, Rubira C, de Lemos R (2003) A Fault-Tolerant Software Architecture for Component-Based Systems. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 129–149

    Google Scholar 

  36. Guerra PA de C, Rubira C, Romanovsky A, de Lemos R (2004) A Dependable Architecture for COTS-based Software Systems using Protective Wrappers. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems II. Lecture Notes in Computer Science 3069. Springer, Berlin, pp. 144–166

    Google Scholar 

  37. Holzmann GJ (1997) The SPIN Model Checker. IEEE Transactions on Software Engineering 23: 279–295

    Article  Google Scholar 

  38. Issarny V, Banatre JP (2001) Architecture-based Exception Handling. Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS’34).

    Google Scholar 

  39. Issarny V, Zarras A (2003) Software Architecture and Dependability. Formal Methods for Software Architectures. In: Bernado M, Inverardi P (eds). Lecture Notes in Computer Science 2804. Springer, Berlin, pp. 259–285

    Google Scholar 

  40. Kazman R, Abowd G, Bass L, Webb M (1994) SAAM: A Method for Analyzing the Properties of Software Architectures. Proceedings of the 16th International Conference on Software Engineering (ICSE 1990). Sorrento, Italy. pp. 81–90

    Google Scholar 

  41. Kazman R, Klein M, Barbacci M, Longstaff T, Lipson H, Carriere J (1998) The Architecture Tradeoff Analysis Method. Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS98)

    Google Scholar 

  42. Klein M, Kazman R, Bass L, Carriere SJ, Barbacci M, Lipson H (1999) Attribute-based Architectural Styles. Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1). pp. 225–243

    Google Scholar 

  43. Kramer J, Magee J, Uchitel S (2003) Software Architecture Modeling & Analysis: A Rigorous Approach. Proceedings of SFM’2003. Lecture Notes in Computer Science 2804. pp. 44–51

    Google Scholar 

  44. Kruchten P (1995) The 4+1 View Model of Architecture. IEEE Software 12(6): 42–50

    Article  Google Scholar 

  45. Luckham DC, Kenney JJ, Augustin LM, Vera J, Bryan D, Mann W (1995) Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering 21(4): 336–355

    Article  Google Scholar 

  46. Magee J, Dulay N, Eisenbach S, Kramer J (1995) Specifying Distributed Software Architectures. Proceedings of the Fifth European Software Engineering Conference (ESEC’95). Lecture Notes in Computer Science 989. Barcelona, Spain. pp. 137–153

    Google Scholar 

  47. Majzik I, Pataricza A, Bondavalli A (2003) Stochastic Dependability Analysis of UML Designs. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer. Berlin, pp. 219–244

    Google Scholar 

  48. Mateescu R (2004) Model Checking for Software Architectures. Proceedings of the 1st European Workshop on Software Architecture (EWSA’2004). Lecture Notes in Computer Science 3047. St Andrews, Scotland. Springer. Berlin, pp. 219–224

    Google Scholar 

  49. Medvidovic N, Rosenblum DS, Redmiles DF, Robbins JE (2002) Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology 11(1): 2–57

    Article  Google Scholar 

  50. Medvidovic N, Taylor RN (2000) A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering 26(1): 70–93

    Article  Google Scholar 

  51. Moraes RL de O, Martins E (2005) Fault Injection Approach based on Architectural Dependencies. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems III. Lecture Notes in Computer Science 3549. Springer. Berlin, pp. 310–334

    Google Scholar 

  52. Moriconi M, Qian X, Riemenschneider RA (1995) Correct Architecture Refinement. IEEE Transactions on Software Engineering, 21(4):356–372

    Article  Google Scholar 

  53. Object Management Group. Model Driven Architecture. Technical Report. July 2001. http://cgi.omg.org/docs/ormsc/01-07-01.pdf.

    Google Scholar 

  54. Oriezy P, et. al (1999) An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems 14(3): 54–62

    Article  Google Scholar 

  55. Perry DE, Wolf AL (1992) Foundations for the Study of Software Architectures. SIGSOFT Software Engineering Notes 17(4): 40–52

    Article  Google Scholar 

  56. Raistrick C, Bloomfield T (2004) Model Driven Architecture — an Industry Perspective. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems II. Lecture Notes in Computer Science 3069. Springer, Berlin, pp. 341–362

    Google Scholar 

  57. Rakic M, Medvidovic N (2001) Increasing the Confidence in On-the-Shelf Components: A Software Connector-Based Approach. Proceedings of the 2001 Symposium on Software Reusability (SSR’01). pp. 11–18

    Google Scholar 

  58. Randell B (1975) System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering SE 1(2): 220–232

    Google Scholar 

  59. Randell B, Xu J (1995) The Evolution of the Recovery Block Concept. Software Fault Tolerance. John Wiley Sons Ltd.

    Google Scholar 

  60. Rodrigues GN, Roberts G, Emmerich W (2004) Reliability Support for the Model Driven Architecture. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems II. Lecture Notes in Computer Science 3069. Springer, Berlin, pp. 80–100

    Google Scholar 

  61. Rodriguez M, Fabre JC, Arlat J (2002) Wrapping Real-Time Systems from Temporal Logic Specification. Proceedings of the European Dependable Computing Conference (EDCC-4). Toulouse, France. pp. 253–270

    Google Scholar 

  62. Roscoe AW (1994) Model-Checking CSP. A Classical Mind: Essays in Honor of C.A.R. Hoare. Prentice-Hall

    Google Scholar 

  63. Roshandel R, Medvidovic N (2004) Toward Architecture-based Reliability Prediction. Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004). Edinburgh, Scotland, UK. The IEE. London, UK. pp. 2–6

    Google Scholar 

  64. Schmerl B, Garlan D (2004) AcmeStudio: Supporting Style-Centered Architecture Development. Proceedings of the 26th International Conference on Software Engineering. Edinburgh, Scotland, UK. pp. 704–705

    Google Scholar 

  65. Shaw M (1998) Moving from Qualities to Architecture: Architecture Styles. Software Architecture in Practice. L. Bass, P. Clements, R. Kazman (eds). Addison-Wesley. pp. 93–122

    Google Scholar 

  66. Shaw M, Garlan D (1996) Software Architectures: Perspectives on an Emerging Discipline. Prentice-Hall, Inc. Upper Saddle River, NJ

    Google Scholar 

  67. Shelton C, Koopman P (2003) Using Architectural Properties to Model and Measure Graceful Degradation. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 267–289

    Google Scholar 

  68. Tartanoglu F, Issarny V, Romanovsky A, Levy N (2003) Dependability in the Web Services Architectures. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin. pp. 90–109

    Google Scholar 

  69. Taylor RN, Medvidovic N, Anderson KM, Whitehead Jr. EJ, Robbins JE, Nies KA, Oreizy P, Dubrow DL (1996) A Component-and Message-based Architectural Style for GUI Software. IEEE Transactions on Software Engineering 22(6): 390–406

    Article  Google Scholar 

  70. Vestal S (1993) A Cursory Overview and Comparison of Four Architecture Description Languages. Technical Report. Honeywell Technology Center

    Google Scholar 

  71. Vestal S (1996) MetaH Programmer’s Manual, Version 1.09. Technical Report. Honeywell Technology Center

    Google Scholar 

  72. Xu J, et al (1995) Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25). Pasadena, CA, USA. pp. 499–509

    Google Scholar 

  73. Zarras A, Kloukinas C, Issarny V (2003) Quality Analysis for Dependable Systems: A Developer Oriented Approach. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems. Lecture Notes in Computer Science 2677. Springer, Berlin, pp. 197–218

    Google Scholar 

  74. Zhang J, Cheng BHC, Yang Z, McKinley PK (2005) Enabling Safe Dynamic Component-Based Software Adaptation. In: de Lemos R, Gacek C, Romanovsky A (eds). Architecting Dependable Systems III. Lecture Notes in Computer Science 3549. Springer, Berlin, pp. 200–219

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Newcastle upon Tyne, Newcastle upon Tyne

    Cristina Gacek

  2. University of Kent, Kent

    Rogério de Lemos

Authors
  1. Cristina Gacek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rogério de Lemos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK

    Denis Besnard , Cristina Gacek  & Cliff B. Jones ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag London Limited

About this chapter

Cite this chapter

Gacek, C., de Lemos, R. (2006). Architectural description of dependable software systems. In: Besnard, D., Gacek, C., Jones, C.B. (eds) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, London. https://doi.org/10.1007/1-84628-111-3_7

Download citation

  • DOI: https://doi.org/10.1007/1-84628-111-3_7

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-110-5

  • Online ISBN: 978-1-84628-111-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation