Title :
A Checking Mechanism of Software Component Adaptation
Author :
Xie, Xiong ; Zhang, Weishi
Author_Institution :
Dept. of Comput. Sci. & Technol., Dalian Maritime Univ.
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;
Conference_Titel :
Grid and Cooperative Computing, 2006. GCC 2006. Fifth International Conference
Conference_Location :
Hunan
Print_ISBN :
0-7695-2694-2