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
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;
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
DOI :
10.1109/CISE.2010.5676843