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
Link To Document