• DocumentCode
    2518642
  • Title

    Constructing Component-Based Systems Directly from Requirements Using Incremental Composition

  • Author

    Lau, Kung-Kiu ; Nordin, Azlin ; Rana, Tauseef ; Taweel, Faris

  • Author_Institution
    Sch. of Comput. Sci., Univ. of Manchester, Manchester, UK
  • fYear
    2010
  • fDate
    1-3 Sept. 2010
  • Firstpage
    85
  • Lastpage
    93
  • Abstract
    In software engineering, system construction normally starts from a requirements specification that has been engineered from raw requirements in a natural language. Such a specification is derived from intermediate requirements models such as use case models. These models at best only approximate the raw requirements. In this paper we propose a component-based approach that maps raw requirements directly into architectures, with a view to maximising the match between the final system and the raw requirements. Our approach is based on a component model that supports incremental composition.
  • Keywords
    formal specification; formal verification; natural languages; object-oriented programming; software architecture; component based system; incremental composition; natural language; requirements specification; software architecture; Architecture; Asynchronous transfer mode; Computational modeling; Computer architecture; Connectors; Encapsulation; Object oriented modeling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Advanced Applications (SEAA), 2010 36th EUROMICRO Conference on
  • Conference_Location
    Lille
  • ISSN
    1089-6503
  • Print_ISBN
    978-1-4244-7901-6
  • Type

    conf

  • DOI
    10.1109/SEAA.2010.18
  • Filename
    5598082