A formal approach to component adaptation

被引：117

作者：

Bracciali, A

Brogi, A

Canal, C

机构：

[1] Univ Pisa, Dept Comp Sci, I-56127 Pisa, Italy

[2] Univ Malaga, Dept Languages & Comp Sci, E-29071 Malaga, Spain

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2005年 / 74卷 / 01期

关键词：

D O I：

10.1016/j.jss.2003.05.007

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present a formal methodology for adapting components with mismatching interaction behaviour. The three main ingredients of the methodology are: (1) the inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, and (3) a fully automated procedure to derive concrete adaptors from given high-level specifications. (C) 2003 Elsevier Inc. All rights reserved.

引用

页码：45 / 54

页数：10

共 24 条

[1]

Allen R., 1997, ACM Transactions on Software Engineering and Methodology, V6, P213, DOI 10.1145/258077.258078

[2]

BRACCIALI A, 2001, ACM S APPL COMPT SAC

[3] The current state of CBSE [J].

Brown, AW ;

Wallnau, KC .

IEEE SOFTWARE, 1998, 15 (05) :37-+

[4]

CAMPBELL GH, 1999, ICSE 1999, P685

[5] Compatibility and inheritance in software architectures [J].

Canal, C ;

Pimentel, E ;

Troya, JM .

SCIENCE OF COMPUTER PROGRAMMING, 2001, 41 (02) :105-138

[6]

Canal C, 1999, INT FED INFO PROC, V12, P107

[7] A protocol based approach to specifying interoperability between objects [J].

Cho, IH ;

McGregor, JD ;

Krause, L .

TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, :84-96

[8]

CLARKE E, 1994, LNCS, V803

[9] Uncovering architectural mismatch in component behavior [J].

Compare, D ;

Inverardi, P ;

Wolf, AL .

SCIENCE OF COMPUTER PROGRAMMING, 1999, 33 (02) :101-131

[10]

DUCASSE S, 1997, LNCS, V1301

← 1 2 3 →