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