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