• 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