Advertisement

Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage

  • Rebeca P. Díaz Redondo
  • Martín López Nores
  • José J. Pazos Arias
  • Ana Fernández Vilas
  • Jorge García Duque
  • Alberto Gil Solla
  • Belén Barragáns Martínez
  • Manuel Ramos Cabrer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3107)

Abstract

Selecting components that satisfy a given set of requirements is a key problem in software reuse, especially in reusing between different domains of functionality. This concern has been treated in the ARIFS methodology, which provides an environment to reuse partial and formal requirements specifications, managing the variability implicit in their incompleteness. In this paper, we define generic incomplete specifications, to introduce an explicit source of variability that allows reusing models across different domains, accommodating them to operate in multiple contexts. An extended formal basis is defined to deal with these tasks, that entails improvements in the reuse environment.

Keywords

Software Product Line Label Transition System Software Reuse Reusable Component Software Artifact 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Díaz Redondo, R.P., Pazos Arias, J.J., Fernández Vilas, A.: Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol. 2693, pp. 326–351. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Díaz Redondo, R.P., Pazos Arias, J.J., Fernández Vilas, A., Barragáns Martínez, B.: ARIFS: an Environment for Incomplete and Formal Specifications Reuse. Electronic Notes in Theorethical Computer Science 66(4) (2002)Google Scholar
  3. 3.
    Predonzani, P., Succi, G., Vernazza, T.: Tracing Development Progress: A Variability Perspective. In: Extreme Programming Examined, Addison Wesley Professional, Reading (2001)Google Scholar
  4. 4.
    Girardi, M.R., Ibrahim, B.: Automatic Indexing of Software Artifacts. In: 3rd International Conference on Software Reusability, November 1994, pp. 24–32 (1994)Google Scholar
  5. 5.
    ISO. LOTOS – A Formal Description Technique Based on an Extended State Transition Model. ISO/IEC/8807, International Standards Organization (1989) Google Scholar
  6. 6.
    Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C.: Aspect-oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–243. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    Pazos Arias, J.J., García Duque, J.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing 13, 50–91 (2001)zbMATHCrossRefGoogle Scholar
  8. 8.
    Prieto-Díaz, R.: Implementing Faceted Classification for Software Reuse. Communications of the ACM 34(5), 88–97 (1991)CrossRefGoogle Scholar
  9. 9.
    Schumann, J., Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. In: Proc. of 12th Conference on Automated Software Engineering (1997)Google Scholar
  10. 10.
    Svahnberg, M., van Gurp, J., Bosch, J.: A Taxonomy of Variability Realization Techniques. In: Blekinge Institute of Technology, Sweden (2002) ISSN: 1103-1581Google Scholar
  11. 11.
    van Glabeek, R.J.: The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra, Elsevier Science, Amsterdam (2001)Google Scholar
  12. 12.
    van Gurp, J., Bosch, J., Svahnberg, M.: On the Notion of Variability in Software Product Lines. In: 2nd Working IEEE/IFIP Conference on Software Architecture (WICSA) (2001)Google Scholar
  13. 13.
    Ye, Y.: An Active and Adaptive Reuse Repository System. In: 34th Hawaii International Conference on System Sciences (HICSS-34) (2001)Google Scholar
  14. 14.
    Zaremski, M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology 6(4), 333–369 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Rebeca P. Díaz Redondo
    • 1
  • Martín López Nores
    • 1
  • José J. Pazos Arias
    • 1
  • Ana Fernández Vilas
    • 1
  • Jorge García Duque
    • 1
  • Alberto Gil Solla
    • 1
  • Belén Barragáns Martínez
    • 1
  • Manuel Ramos Cabrer
    • 1
  1. 1.Department of Telematic EngineeringUniversity of VigoVigoSpain

Personalised recommendations