Component reuse through reverse engineering and semantic interface analysis

Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The paper discusses the Module Integration and Adaptation Tool for Ada Components (MIATAC) approach. Building a tool to identify reusable components and effectively generate formal specifications for reusable components will make the MIATAC a more effective approach to software reuse. The Maintainer's Assistant (MA) is a reverse engineering tool using formal methods. The integration of these two tools, MA-MIATAC, will offer a new approach to components reuse.

[1]  Keith H. Bennett,et al.  A transformation system for maintenance-turning theory into practice , 1992, Proceedings Conference on Software Maintenance 1992.

[2]  Martin Ward.  Proving program refinements and transformations , 1986 .

[3]  Peter Freeman,et al.  Classifying Software for Reusability , 1987, IEEE Software.

[4]  Dewayne E. Perry,et al.  Software interconnection models , 1987, ICSE '87.

[5]  David C. Luckham,et al.  An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.

[6]  Hongji Yang,et al.  Extension of a transformation system for maintenance: dealing with data-intensive programs , 1994, Proceedings 1994 International Conference on Software Maintenance.

[7]  R. J. St. Dennis.  Reusable Ada software guidelines , 1988 .

[8]  Wojtek Kozaczynski,et al.  Program Concept Recognition and Transformation , 1992, IEEE Trans. Software Eng..

[9]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[10]  Harald C. Gall,et al.  Capsule Oriented Reverse Engineering for Software Reuse , 1993, ESEC.

[11]  I. Tervonen.  Quality derivation, refinement and generalization in object-oriented software construction , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[12]  William C. Chu,et al.  The integration and adaptation of reusable components through semantic interface analysis , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).

[13]  Rubén Prieto-Díaz,et al.  Module interconnection languages , 1986, J. Syst. Softw..

[14]  William B. Frakes,et al.  An Empirical Study of Representation Methods for Reusable Software Components , 1994, IEEE Trans. Software Eng..

[15]  Michael L. Creech,et al.  Using hypertext in selecting reusable software components , 1991, HYPERTEXT '91.

[16]  Scott Henninger,et al.  Using iterative refinement to find reusable software , 1994, IEEE Software.