Skip to main content
SpringerLink
Log in

Decoupling in Object Orientation

  • Conference paper
Book cover FM 2005: Formal Methods (FM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3582))

Included in the following conference series:

Abstract

In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primitive and the overall system more general. Quite opposite to decoupling, the tradition in object oriented refinement theories is to combine all features, such as specification, usage constraints, encapsulation and inheritance into a single formal construct, the class. We propose a decoupled formalization of object orientation, in which all those features are introduced independently from the class construct and from each other. Even though each of the features is significantly simpler than its standard counterparts, the overall system is more general: standard class-based object orientation is shown to be a special case of our system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Leino, K.R.M.: A logic of object-oriented programs. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 682–696. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  2. Alencar, A.J., Goguen, J.A.: OOZE: An object-oriented Z environment. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 180–199. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  3. Back, R., Mikhajlov, L., von Wright, J.: Formal semantics of inheritance and object substitutability. Technical Report 337, Turku Centre for Computer Science, Lemminkäisenkatu 14, FIN-20520, Turku, Finland (2000)

    Google Scholar 

  4. Back, R., Mikhajlova, A., von Wright, J.: Class refinement as semantics of correct object substitutability. Technical Report 333, Turku Centre for Computer Science, Lemminkäisenkatu 14, FIN-20520, Turku, Finland (2000)

    Google Scholar 

  5. Back, R., von Wright, J.: Refinement Calculus. A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag (1998)

    Google Scholar 

  6. Cavalcanti, A., Naumann, D.A.: A weakest precondition semantics for an object-oriented language of refinement. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1439–1459. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. de Roever, W.P., Engelhardt, K.: Data Refinement: Model Oriented Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1998)

    Book  MATH  Google Scholar 

  8. Goguen, J.A., Meseguer, J.: Unifying functional, object-oriented and relational programming with logical semantics. In: Shriver, B., Wegner, P. (eds.) Research Directions in Object-Oriented Programming. Series in Computer Systems, pp. 417–477. MIT Press, Cambridge (1987)

    Google Scholar 

  9. He, J., Liu, Z., Li, X.: Towards a refinement calculus for object systems. In: Proceedings of ICCI 2002, pp. 69–77. IEEE Computer Society Press, Los Alamitos (2002)

    Google Scholar 

  10. Hehner, E.C.R.: A Practical Theory of Programming. Current edition, 2004. Available on-line: First edition was published by Springer, Hiedelberg (1993)

    Google Scholar 

  11. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  12. Kassios, I.T.: Object orientation in predicative programming, unification and decoupling in object orientation. Technical Report 500, Computer Systems Research Group, University of Toronto (2004) Available on-line, http://www.cs.toronto.edu/~ykass/work/oopp.ps.gz

  13. Lano, K.: Formal Object-Oriented Development. Springer, Heidelberg (1995)

    Google Scholar 

  14. Leavens, G.T.: An overview of Larch/C++. behavioral specifications for C++ modules. Technical Report TR96-01e, Department of Computer Science, Iowa State University (1996)

    Google Scholar 

  15. Meira, S., Cavalcanti, A.: Modular object-oriented Z specifications. In: Z User Meeting 1990. Workshops in Computing, pp. 173–192. Springer, Heidelberg (1990)

    Google Scholar 

  16. Meyer, B.: Object-Oriented Software Construction, 2nd edn. The Object-Oriented Series. Prentice-Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  17. Paige, R.F., Hehner, E.C.R.: Bunches for object-oriented, concurrent and real time specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 530–550. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  18. Sekerinski, E.: A type-theoretic basis for an object-oriented refinement calculus. In: Goldsack, S.J., Kent, S.J.H. (eds.) Formal Methods and Object Technology. Springer, Heidelberg (1996)

    Google Scholar 

  19. Smith, G.: The Object Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Toronto, BA5212, 40 St.George St., Toronto, ON, M5S 2E4, Canada

    Ioannis T. Kassios

Authors
  1. Ioannis T. Kassios
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science, Newcastle University, NE1 7RU, Newcastle, UK

    John Fitzgerald

  2. School of Information Technology and Electrical Engineering, The University of Queensland, Australia

    Ian J. Hayes

  3. Institute of Computer Science, Polish Academy of Sciences,  

    Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kassios, I.T. (2005). Decoupling in Object Orientation. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds) FM 2005: Formal Methods. FM 2005. Lecture Notes in Computer Science, vol 3582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11526841_5

Download citation

  • DOI: https://doi.org/10.1007/11526841_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-27882-5

  • Online ISBN: 978-3-540-31714-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation