DocumentCode :
2039030
Title :
Your what is my how: Why requirements and architectural design should be iterative
Author :
Whalen, Michael W. ; Murugesan, Anitha ; Heimdahl, Mats P E
Author_Institution :
Dept. of Comput. Sci. & Eng., Univ. of Minnesota, Minneapolis, MN, USA
fYear :
2012
fDate :
25-25 Sept. 2012
Firstpage :
36
Lastpage :
40
Abstract :
Systems are naturally constructed in hierarchies in which design choices made at higher levels of abstraction levy requirements on system components at lower levels of abstraction. Thus, whether an aspect of the system is a design choice or a requirement depends largely on one´s location within the hierarchy of system components. In addition, it is often the case that systems are not constructed top-down, but rather middle-out; compatibility with existing systems and architectures, or availability of specific physical components may influence high-level requirements. Despite these facts, several of the reference models commonly used for requirements, including the four-variable model and world machine model, do not account for hierarchical decomposition. In this position paper, we argue that requirements and architectural design should be more closely aligned: that requirements reference models should account for hierarchical system construction, and that architectural design notations should better support specification of requirements for system components. We briefly describe work to this end that was performed on the META II project and describe the gaps in this work that need to be addressed to meet practitioner needs.
Keywords :
formal specification; object-oriented programming; software architecture; META II project; architectural design notations; four-variable model; hierarchical system construction; reference models; requirement specification; requirements design; system components; world machine model; Analytical models; Computational modeling; Computer architecture; Contracts; Software; Testing; architecture; formal methods; model checking; refinement; requirements;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop on the
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-4673-4486-9
Electronic_ISBN :
978-1-4673-4485-2
Type :
conf
DOI :
10.1109/TwinPeaks.2012.6344559
Filename :
6344559
Link To Document :
بازگشت