%0 Journal Article %1 paper:lamsweerde:2003 %A van Lamsweerde, Axel %D 2003 %J Formal Methods for Software Architectures %K 2003 RE engineering formal goal-oriented goals requirement softgoals %P 25--43 %T From System Goals to Software Architecture %U http://www.springerlink.com/content/5kd32lpbw3xmb5pb %X Requirements and architecture are two essential inter-related products in the software lifecycle. Software architecture has long been recognized to have a profound impact on non-functional requirements about security, fault tolerance, performance, evolvability, and so forth. In spite of this, very few techniques are available to date for systematically building software architectures from functional and non-functional requirements so that such requirements are guaranteed by construction. The paper addresses this challenge and proposes a goal-oriented approach to architectural design based on the KAOS framework for modeling, specifying and analyzing requirements. After reviewing some global architectural decisions that are already involved in the requirements engineering process, we discuss our architecture derivation process. Software specifications are first derived from requirements. An abstract architectural draft is then derived from functional specifications. This draft is refined to meet domain-specific architectural constraints. The resulting architecture is then recursively refined to meet the various non-functional goals modelled and analyzed during the requirements engineering process. ER -

@article{paper:lamsweerde:2003, abstract = {Requirements and architecture are two essential inter-related products in the software lifecycle. Software architecture has long been recognized to have a profound impact on non-functional requirements about security, fault tolerance, performance, evolvability, and so forth. In spite of this, very few techniques are available to date for systematically building software architectures from functional and non-functional requirements so that such requirements are guaranteed by construction. The paper addresses this challenge and proposes a goal-oriented approach to architectural design based on the KAOS framework for modeling, specifying and analyzing requirements. After reviewing some global architectural decisions that are already involved in the requirements engineering process, we discuss our architecture derivation process. Software specifications are first derived from requirements. An abstract architectural draft is then derived from functional specifications. This draft is refined to meet domain-specific architectural constraints. The resulting architecture is then recursively refined to meet the various non-functional goals modelled and analyzed during the requirements engineering process. ER -}, added-at = {2008-06-24T10:53:43.000+0200}, author = {van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2680bf53eee4a91a31caa6c66b0ac3d95/mschuber}, description = {formal approach for deriving a software architecture form goals and softgoals}, interhash = {28fbb96371bbbbbe5f9e530333fa910c}, intrahash = {680bf53eee4a91a31caa6c66b0ac3d95}, journal = {Formal Methods for Software Architectures}, keywords = {2003 RE engineering formal goal-oriented goals requirement softgoals}, pages = {25--43}, timestamp = {2008-09-09T12:53:45.000+0200}, title = {From System Goals to Software Architecture}, url = {http://www.springerlink.com/content/5kd32lpbw3xmb5pb}, year = 2003 }