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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Back, R., von Wright, J.: Refinement Calculus. A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag (1998)
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)
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)
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)
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)
Hehner, E.C.R.: A Practical Theory of Programming. Current edition, 2004. Available on-line: First edition was published by Springer, Hiedelberg (1993)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)
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
Lano, K.: Formal Object-Oriented Development. Springer, Heidelberg (1995)
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)
Meira, S., Cavalcanti, A.: Modular object-oriented Z specifications. In: Z User Meeting 1990. Workshops in Computing, pp. 173–192. Springer, Heidelberg (1990)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. The Object-Oriented Series. Prentice-Hall, Englewood Cliffs (1997)
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)
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)
Smith, G.: The Object Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)