DocumentCode :
1872138
Title :
Verification of Conceptual Architecture Based on Component
Author :
Ji, Chao ; Chen, Qi ; He, Xin ; Qi, Guanglei
Author_Institution :
Comput. Center, He Nan Univ., Kai Feng, China
fYear :
2010
fDate :
10-12 Dec. 2010
Firstpage :
1
Lastpage :
3
Abstract :
At present, few methods of creating conceptual architecture have been proposed. What´s more, they can´t meet the requirements of dynamic Internet environment or software reuse. However, a newly proposed method in paper can adapt to various types of changes in the dynamic environment and can make design and implementation more convenient than traditional methods. Therefore, this paper verifies this method through a concrete management system.
Keywords :
formal verification; software architecture; conceptual architecture verification; management system; Business; Computer architecture; Helium; Ontologies; Software; Software architecture; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5391-7
Electronic_ISBN :
978-1-4244-5392-4
Type :
conf
DOI :
10.1109/CISE.2010.5676843
Filename :
5676843
Link To Document :
بازگشت