• DocumentCode
    2498470
  • Title

    An Approach to Verifying Interface Compatibility of Components with Component Dependency Graph

  • Author

    Areeprayolkij, Wantana ; Limpiyakorn, Yachai ; Gansawat, Duangrat

  • Author_Institution
    Dept. of Comput. Eng., Chulalongkorn Univ., Bangkok, Thailand
  • fYear
    2010
  • fDate
    23-25 April 2010
  • Firstpage
    509
  • Lastpage
    513
  • Abstract
    Product integration (PI) is considered as one of important processes for complex system development. The purpose of the PI process is to ensure that interfaces of components are compatible and able to work properly through the product life cycle. In case of changes, the cooperation between interfaces should be carefully managed and controlled for the completeness and compatibility of the overall system. In this research we propose a method for verifying interface compatibility of components from design document by extracting interface description from Unified Modeling Language (UML) component diagram and class diagram. Interface description is then used for constructing component dependency graph of which the traversal will automate the verification of component interface compatibility.
  • Keywords
    Unified Modeling Language; formal verification; graph theory; object-oriented programming; product life cycle management; user interfaces; UML; class diagram; complex system development; component dependency graph; component interface compatibility; design document; interface compatibility verification; interface description; product integration; product life cycle; unified modeling language component diagram; Application software; Capability maturity model; Communication system software; Computer interfaces; Computer networks; Control systems; IEC standards; ISO standards; Statistics; Unified modeling language; component dependency graph; interface compatibility; product integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Network Technology (ICCNT), 2010 Second International Conference on
  • Conference_Location
    Bangkok
  • Print_ISBN
    978-0-7695-4042-9
  • Electronic_ISBN
    978-1-4244-6962-8
  • Type

    conf

  • DOI
    10.1109/ICCNT.2010.81
  • Filename
    5474445