Architecture-based design of computer based systems

This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing methods of performing discovery, abstraction, refinement and evolution of systems' architectures. It has also been shown that this approach can be supported by formal methods of refinement. The approach assists the designer in maintaining a strict focus of reasoning about the architecture and its qualities.

[1]  D.R. Chand,et al.  Essential systems analysis , 1986, Proceedings of the IEEE.

[2]  John Leaney,et al.  Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD) , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[3]  Terry A. Kuykendall,et al.  Systems Architecting–Creating & Building Complex Systems , 2001 .

[4]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

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

[6]  Eberhardt Rechtin,et al.  Systems Architecting: Creating & Building Complex Systems , 1990 .

[7]  Meir M. Lehman,et al.  A Model of Large Program Development , 1976, IBM Syst. J..

[8]  Christopher Alexander.  Notes on the Synthesis of Form , 1964 .

[9]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[10]  Flávio Oquendo,et al.  /spl pi/-SPACE: a formal architecture description language based on process algebra for evolving software systems , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[11]  Robert S. Boyer,et al.  The Correctness Problem in Computer Science , 1982 .

[12]  John Wordsworth.  The CICS Application Programming Interface Definition , 1990, Z User Workshop.

[13]  Alexander Egyed.  Consistent Architectural Refinement and Evolution using the Unified Modeling Language , 2001 .

[14]  IEEE-SA Standards Board , 2000 .

[15]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[16]  Klaus Buchenrieder,et al.  Model-Based Codesign , 1998, Computer.

[17]  John Leaney,et al.  Measuring the effectiveness of computer based systems: an open system measurement example , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[18]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[19]  Bernhard Thomé,et al.  Systems engineering: principles and practice of computer-based systems engineering , 1993 .

[20]  Nenad Medvidovic,et al.  Refinement and Evolution Issues in Bridging Requirements and Architecture - The CBSP Approach , 2001 .

[21]  David A. Carrington,et al.  Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.

[22]  Barry M Horowitz.  The Importance of Architecture in DoD Software , 1994 .

[23]  Dewayne E. Perry,et al.  Dimensions of software evolution , 1994, Proceedings 1994 International Conference on Software Maintenance.

[24]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[25]  Nong Zhang.  THE UNIVERSITY OF TECHNOLOGY SYDNEY , 2005 .

[26]  Thomas Bolusset,et al.  Formal Refinement of Software Architectures Based on Rewriting Logic , 2002 .

[27]  Li Gang.  OOZS:AN OBJECT ORIENTED EXTENSION TO Z , 1997 .

[28]  A. Wayne Wymore,et al.  Systems engineering methodology for interdisciplinary teams , 1976 .

[29]  Emil Sekerinski,et al.  Formal Methods for Component Software: The Refinement Calculus Perspective , 1997, ECOOP Workshops.

[30]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[31]  John Leaney,et al.  Architecture-based visualisation of computer based systems , 2002, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.

[32]  Thorsten von Eicken,et al.  技術解説 IEEE Computer , 1999 .

[33]  Gregory D. Schumacher,et al.  IEEE Guide for Developing System Requirements Specifications , 1999 .

[34]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[35]  David Garlan,et al.  Style-based refinement for software architecture , 1996, ISAW '96.

[36]  H. R. Simpson,et al.  Architecture for computer based systems , 1994, Proceedings 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems.

[37]  Rick Kazman,et al.  A Software Architecture Reconstruction Method , 1999, WICSA.

[38]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[39]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[40]  Liam O'Brien,et al.  Architecture Reconstruction Guidelines , 2001 .

[41]  Jonathan. Heales,et al.  Evolutionary and revolutionary maintenance of information systems: a theoretical and empirical analysis , 1998 .