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
Link To Document :
بازگشت