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 :
بازگشت