• 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