From System Requirements to System Architecture

For the last decade, a large body of research in software engineering has developed methods, notations, and tools for rigorously specifying architectures and for performing architecture-level analysis. Yet the key issue of constructing a system architecture that meets a given set of requirements remains largely open. In this paper, we propose a systematic, rigorous connection between requirements and the architecture that implements them.

[1]  Victoria Ungureanu,et al.  Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.

[2]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

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

[4]  Robert T. Monroe Capturing Software Architecture Design Expertise with Armani , 2000 .

[5]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[6]  Philippe Massonet,et al.  GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[7]  Ernst-Erich Doberkat Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline , 2000, Softwaretechnik-Trends.

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

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

[10]  Mary Shaw,et al.  A field guide to boxology: preliminary classification of architectural styles for software systems , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[11]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[12]  Philippe Massonet,et al.  Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[13]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[14]  Robert A. Riemenschneider,et al.  Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures , 1999, WICSA.

[15]  Victoria Stavridou,et al.  Secure interoperation of secure distributed databases : An architecture verification case study , 1999, FM 1999.

[16]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.