Approximate retrieval of incomplete and formal specifications applied to vertical reuse

This paper describes how ARIFS tool (Approximate Retrieval of Incomplete and Formal Specifications) provides a suitable reusing environment to classify, retrieve and adapt formal and incomplete requirements specifications. Both classification and retrieval tasks are based on functional similarities according to structural and semantic closeness. To this effect, we define four partial orderings among reusable components and different measures to quantify functional differences among them. By using these measures we are able to offer an approximate and efficient retrieval, without formal proofs, and to predict adaptation efforts to satisfy the required functional specification. This paper focus on semantic similarities as they are more remarkable in vertical reuse, that is, the reuse of software within same domain or application area.

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

[2]  Betty H. C. Cheng,et al.  Reusing Analogous Components , 1997, IEEE Trans. Knowl. Data Eng..

[3]  William C. Chu,et al.  A formal approach for component retrieval and integration analysis , 2000, J. Softw. Maintenance Res. Pract..

[4]  Jorge García Duque,et al.  SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.

[5]  Rebeca P. Díaz Redondo.  Reutilización de requisitos funcionales de sistemas distribuidos utilizando técnicas de descripción formal , 2002 .

[6]  Gongzhu Hu,et al.  XML-based software component retrieval with partial and reference matching , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

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

[8]  Debra J. Richardson,et al.  A compositional approach for analyzing dependencies in component-based systems , 2003 .

[9]  Chung-Horng Lung,et al.  An approach to the classification of domain models in support of analogical reuse , 1995, SSR '95.

[10]  Hamid Mcheick,et al.  An experiment in software component retrieval , 2003, Inf. Softw. Technol..

[11]  José Juan Pazos-Arias,et al.  Approximate Retrieval of Incomplete and Formal Specifications applied to horizontal reuse , 2002, Proceedings. 28th Euromicro Conference.

[12]  Hai-Feng Guo.  Precise specification matching for automated component retrieval and adaptation , 2003, Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications.

[13]  Gerti Kappel,et al.  Learning the semantic similarity of reusable software components , 1994, Proceedings of 1994 3rd International Conference on Software Reuse.

[14]  Tetsuro Kakeshita,et al.  Specification-based component retrieval by means of examples , 1999, Proceedings 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE'99) (Cat. No.PR00496).

[15]  John Penix,et al.  Efficient Specification-Based Component Retrieval , 1999, Automated Software Engineering.

[16]  Scott Henninger.  Supporting the process of satisfying information needs with reusable software libraries: an empirical study , 1995, SSR '95.

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

[18]  John Penix,et al.  Using formal specifications for component retrieval and reuse , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[19]  Lamia Labed Jilani,et al.  Retrieving software components that minimize adaptation effort , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[20]  Peter A. Lindsay,et al.  Specification-based retrieval strategies for module reuse , 2001, Proceedings 2001 Australian Software Engineering Conference.

[21]  José Juan Pazos-Arias,et al.  Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[22]  Xudong He,et al.  A formal approach for component retrieval and integration analysis , 2000 .

[23]  Johann Schumann,et al.  NORA/HAMMR: making deduction-based software component retrieval practical , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[24]  Bernd Fischer.  Specification-Based Browsing of Software Component Libraries , 2004, Automated Software Engineering.

[25]  Ernesto Damiani,et al.  A hierarchy-aware approach to faceted classification of objected-oriented components , 1999, TSEM.

[26]  D. Vijay Rao,et al.  A rough-fuzzy approach for retrieval of candidate components for software reuse , 2003, Pattern Recognit. Lett..

[27]  Oliver Sims,et al.  Business Component Factory : A Comprehensive Overview of Component-Based Development for the Enterprise , 1999 .

[28]  Hai Zhuge,et al.  An inexact model matching approach and its applications , 2003, J. Syst. Softw..