• DocumentCode
    2915652
  • Title

    A Checking Mechanism of Software Component Adaptation

  • Author

    Xie, Xiong ; Zhang, Weishi

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Dalian Maritime Univ.
  • fYear
    2006
  • fDate
    Oct. 2006
  • Firstpage
    347
  • Lastpage
    354
  • Abstract
    Software component adaptation is widely recognized to be a crucial problem in component-based software engineering. In this paper, we focus on the signature level component adaptation such as names, parameters and propose a checking mechanism to find the signature level mismatch. A component model is designed firstly in mathematical specification which can give more details to find and adapt the signatures that have a mismatch with the user need. Some notations and definitions are given to help the checking of signature level mismatch and then a checking mechanism of signature level mismatch with the use of context-free expressions is proposed. Our proposal is based on the more details provided by the user, and is supported by dedicated algorithms. At last future work and limitation of the checking mechanism are discussed
  • Keywords
    context-free grammars; object-oriented programming; program verification; software engineering; checking mechanism; context-free expressions; mathematical specification; signature level component adaptation; signature level mismatch; software component adaptation; software engineering; Application software; Computer science; Formal specifications; Large-scale systems; Mathematical model; Programming; Proposals; Protocols; Quality of service; Software engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Grid and Cooperative Computing, 2006. GCC 2006. Fifth International Conference
  • Conference_Location
    Hunan
  • Print_ISBN
    0-7695-2694-2
  • Type

    conf

  • DOI
    10.1109/GCC.2006.2
  • Filename
    4031480