Perspective-based Architectural Approach for Dependable Systems

Explicitly architecting dependable systems inevitably involves establishing consensus among different stakeholders' concerns and then anchoring the design on architectural components that provide robustness. The goal is to architect evolvable systems upon which users can reasonably rely on receiving anticipated services. Unfortunately, there are few established approaches for rapidly prototyping architecture to identify dependable architectural components during the early stakeholder requirements resolution phases of software design. This paper presents a perspective-based architectural (PBA) approach process using rapid prototyping to build dependable architectures using compositional patterns. The approach is achieved through explicit architecting and system composition to provide a set of rules governing the system composition from coarser-grained dependable components. The approach provides a rationale for treating dependability as a set of semantic constraints localized on compositional patterns.

[1]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[2]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[3]  Roger Sessions.  COM and DCOM - Microsoft's vision for distributed objects , 1997 .

[4]  Andrew P. Sage,et al.  Systems integration and architecting: An overview of principles, practices, and perspectives , 1998 .

[5]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Robert L. Nord,et al.  Applied Software Architecture , 1999, Addison Wesley object technology series.

[7]  James C. Corbett,et al.  Bandera: extracting finite-state models from Java source code , 2000, ICSE.

[8]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[9]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

[10]  Alexander H. Levis,et al.  C4ISR Architectures: I. Developing a Process for C4ISR Architecture Design , 2000 .

[11]  Xianzhong Liang,et al.  Omega: a uniform object model easy to gain Ada's ends , 2001, ALET.

[12]  Gráinne Foley,et al.  CORBA – Common Object Request Broker Architecture , 2001 .

[13]  Liang Xianzhong,et al.  Event-based implicit invocation decentralized in Ada , 2002, ALET.

[14]  Sajjad Haider,et al.  Synthesizing executable models of object oriented architectures , 2002, FME 2002.

[15]  Insup Lee,et al.  Monitoring, Checking, and Steering of Real-Time Systems , 2002, Electron. Notes Theor. Comput. Sci..