Toward Automated Component Adaptation

This paper explores the use of specification matching to discover and select component adaptation strategies. This is done within a formal framework that integrates specification-based component retrieval with a formal architecture representation to support component retrieval and adaptation. The key to integration is determining the relationship between what components are potentially reusable and how they can be properly adapted. An example is given to illustrate how the results of specification matching can be used to guide the selection and application of adaptation tactics and automate component adaptation.

[1]  Roland Mittermeir,et al.  Storing and retrieving software components: a refinement based system , 1994, ICSE '94.

[2]  Ivo Van Horebeek,et al.  Algebraic Specifications in Software Engineering: An Introduction , 1989 .

[3]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[4]  H. Ehrig,et al.  Equational Specifications and Algebras , 1985 .

[5]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[6]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[7]  Douglas R. Smith,et al.  Top-Down Synthesis of Divide-and-Conquer Algorithms , 1985, Artif. Intell..

[8]  Steven S. Popovich,et al.  Inquire: predicate-based use and reuse , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.

[9]  Jeannette M. Wing,et al.  Signature and specification matching , 1996 .

[10]  Douglas R. Smith,et al.  Toward a Classification Approach to Design , 1996, AMAST.

[11]  John Penix,et al.  Classification and retrieval of reusable components using semantic features , 1995, Proceedings 1995 10th Knowledge-Based Software Engineering Conference.

[12]  Douglas R. Smith,et al.  KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[13]  Betty H. C. Cheng,et al.  A formal approach to reusing more general components , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.

[14]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[15]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[16]  Bernd Fischer,et al.  VCR: A VDM-based software component retrieval tool , 1994 .