Skip to main content
SpringerLink
Log in

Reusing object oriented design: An algebraic approach

  • Conference paper
  • First Online:
Object-Oriented Methodologies and Systems (ISOOMS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 858))

Included in the following conference series:

Abstract

Based on a model of class specification introduced in previous papers, an inheritance operator is defined which, applied to a class generates a new class which inherits by specialization from the old one. The correctness of the subclass is a consequence of the correctness of the superclass and the modification. Several properties of the operator, such as local confluence and compatibility with inheritance relation, are investigated. These properties form the basis of a reuse methodology for entire class hierarchies, focusing on design reuse instead of code reuse.

This work has been partially supported by the European Community under ESPRIT Basic Research Working Group COMPASS and by the German DFG.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T.Biggerstaff, A.J.Perlis (Eds). Software Reusability. Volume I: Concepts and Models. ACM Press, 1989

    Google Scholar 

  2. R.Breu: Algebraic Specification Techniques in Object Oriented Programming Environments. Springer Lecture Notes in Computer Science 562, 1991

    Google Scholar 

  3. B.J.Cox: Object-Oriented Programming: An Evolutionary Approach. Addison-Wesley, 1986

    Google Scholar 

  4. S. Clerici, F. Orejas: GSBL: An Algebraic Specification Language Based on Inheritance. Proc. ECOOP 88, Springer Lecture Notes in Computer Science 322, 1988, 78–92.

    Article  Google Scholar 

  5. L.P.Deutsch: Levels of reuse in the Smalltalk-80 programming system. In: T.Biggerstaff and A.J.Perlis (Eds). Software Reusability. Volume II: Applications and Expirience. ACM Press, 1989, 57–71

    Google Scholar 

  6. H.Ehrig, B.Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monograph in Computer Science, Vol.6, Springer Verlag, 1985

    Google Scholar 

  7. H.Ehrig, B.Mahr: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monograph in Computer Science, Vol.21, Springer Verlag, 1990

    Google Scholar 

  8. B.P.Lientz, B.Swanson: Software Maintenance Management. Addison-Wesley, 1980

    Google Scholar 

  9. C.Krueger: Software Reuse. ACM Computing Surveys, 24/2, Jun 92, 131–183

    Google Scholar 

  10. N.Iscoe, G.Williams, G.Arango: Domain Modeling for Software Engineering. Proc. ICSE-13, IEEE Press, 1991, 340–343

    Google Scholar 

  11. B.Meyer: Object-Oriented Software Construction. Prentice-Hall, 1988

    Google Scholar 

  12. F.Parisi-Presicce: A Rule-Based Approach to Modular Design. Proc. ICSE-12, IEEE Press, 1990

    Google Scholar 

  13. F.Parisi-Presicce, A.Pierantonio: An Algebraic Approach to Inheritance and Subtyping. Proc. ESEC91, Springer Lecture Notes in Computer Science 550, 1991, 364–379

    Google Scholar 

  14. F.Parisi-Presicce, A.Pierantonio: An Algebraic Theory of Class Specifications. Technical Report N.22/92, Dip. Matematica Pura ed Applicata, Univ. L'Aquila, 1992 (to appear in ACM TOSEM)

    Google Scholar 

  15. F.Parisi-Presicce, A.Pierantonio: Reusing Object Oriented Design: An Algebraich Approach. Technical Report N.35/93, Dip. Matematica Pura ed Applicata, Univ. L'Aquila, 1993

    Google Scholar 

  16. A.Snyder: Encapsulation and Inheritance in Object-Oriented Programming Languages. Proc. OOPSLA86, ACM Press, 1986, 38–45

    Google Scholar 

  17. W.F.Tichy: Programming-in-the-Large: Past, Present, and Future. Proc. ICSE-14, IEEE Press, 1992, 362–367

    Google Scholar 

  18. P.Wegner, S. Zdonik: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. Proc. ECOOP 88, Springer Lecture Notes in Computer Science 322, 1988, 55–77

    Google Scholar 

  19. N.Wilde, P.Matthews: Maintaining Object-Oriented Software. IEEE Software, 10/1, Jan 93, 75–80

    Google Scholar 

  20. M.Wirsing: Algebraic Specification. In J. van Leeuwen, ed. Handbook of Theoretical Computer Science, Vol. B, North-Holland (1991) 677–788

    Google Scholar 

  21. R.J.Wirfs-Brock, R.Johnson: Surveying Current Research in Object-Oriented Design. Comm. ACM, 33/9, Sept 90, 105–124

    Google Scholar 

  22. R.J.Wirfs-Brock, B.Wilkerson, L.Wiener: Designing Object-Oriented Software. Prentice-hall, 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Scienze dell'Informazione, Università di Roma La Sapienza, I-00198, Roma, Italy

    Francesco Parisi-Presicce

  2. TFS, Fachbereich Informatik, Technische Universität Berlin, D-10587, Berlin, Germany

    Alfonso Pierantonio

Authors
  1. Francesco Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfonso Pierantonio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Elisa Bertino Susan Urban

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parisi-Presicce, F., Pierantonio, A. (1994). Reusing object oriented design: An algebraic approach. In: Bertino, E., Urban, S. (eds) Object-Oriented Methodologies and Systems. ISOOMS 1994. Lecture Notes in Computer Science, vol 858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014034

Download citation

  • DOI: https://doi.org/10.1007/BFb0014034

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58451-3

  • Online ISBN: 978-3-540-48804-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation