• DocumentCode
    528457
  • Title

    A category based theoretic approach for viewpoint integration

  • Author

    Huai-Guang, Wu ; Guo-Qing, Wu ; Li, Wan

  • Author_Institution
    Sch. of Comput. Sci., Wuhan Univ., Wuhan, China
  • Volume
    1
  • fYear
    2010
  • fDate
    June 29 2010-July 1 2010
  • Firstpage
    293
  • Lastpage
    297
  • Abstract
    According to the relations among viewpoints and the basic principle of viewpoint integration in viewpoints-oriented requirements engineering, the definition of viewpoint category is presented formally, denoted by V p C A T. On the basis of concepts and theories of category theory, some properties are discussed in the process of viewpoints integration, such as cocone, co-equalizer, co-limit and so on. And we also present a case study to illustrate a practical application in the process of viewpoints integration. At last, we discuss our future works.
  • Keywords
    category theory; formal specification; category theory; viewpoint integration; viewpoints oriented requirement engineering; Artificial neural networks; Software; category; co-limit; requirements engineering; viewpoints integration; viewpoints-oriented;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Communication Systems, Networks and Applications (ICCSNA), 2010 Second International Conference on
  • Conference_Location
    Hong Kong
  • Print_ISBN
    978-1-4244-7475-2
  • Type

    conf

  • DOI
    10.1109/ICCSNA.2010.5588722
  • Filename
    5588722