Abstract
Object-oriented technology featuring the concepts of object identity, instance creation, encapsulation, dynamic binding and inheritance are increasingly popular when designing systems, but there is a lack of formalisation tools. The common way to formalise object-oriented models is by translating from object-oriented models to models which are supported by existing calculi, ie, functional models (lambda calculus) or models of communicating processes (eg, π-calculus). Such translations are not ideal as it may not be intuitive how definitions and proofs done in these calculi map to object-oriented models. This paper presents a calculus which is based on the object-oriented concepts. Reasoning about object-oriented systems can then be done without changing paradigm.
Chapter PDF
Similar content being viewed by others
References
Abadi, Martin and Cardelli, Luca, (1994) A theory of primitive objects, Digital Equipment Corporation, DEC-SRC, Shorter versions in European Symposium om Programming, and in Theoretical Aspects of Computer Science 1994
Agha, Gul, (1986) A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, Mass.
America, Pierre, (1987) Inheritance and Subtyping in a Parallell Object-Oriented Language, European Conference on Object-Oriented Systems 1987, published in LNCS 276, pp. 234–242.
Blair, Gordon, Gallagher, John, Hutchison, David and Shephard, Dough, (1991) Object–Oriented Languages, Systems and Applications, Pitman Publishing, London, ISBN: 0–27303132–5
Chambers, Craig, Ungar, David, Chang, Bay-Wei and Hölzle, Urs, (1991) Parent and Shared Parts of Objects: Inheritance and Encapsulation in SELF, in Lisp and Symbolic Computation 1991, 4: 3
Gamma, Erich, Helm, Richard, Johnson, Ralph and Vlissides, John, (1994) Design Patterns: Elements of Reusable Object–Oriented Software Addison–Wesley, 416, ISBN: 0–201–63361–2
Goldberg, Adele and Robson, Dave, (1983) Smalltalk-80: The Language and Its Implementation, Addison-Wesley, Reading, Mass.
Jacobson, Ivar, Bylund, Stefan, Jonsson, Patric and Ehneboom, Staffan, (1995) Using contracts and use cases to build pluggable architectures, in Journal of Object-Oriented Programming May 1995, 8: 2, pp. 18–76
Milner, R., Tofte, M. and Harper, R., (1990) The definition of Standard ML The MIT Press, ISBN: 0–262–12355–9
Nierstrasz, Oscar, (1993) Composing Active Objects, in Research Directions in Concurrent Object-Oriented Programming, ed: G. Aga, P. Wegner and A. Yonezawa, The MIT Press, Cambridge, Massachusetts, pp. 151–171, ISBN: 0–262-01139–5
Nordhagen, Else K., (1996) A Formal Framework for Verification of Object Component Substitutability, Doctoral Thesis, Department of Informatics, University of Oslo, Forthcomming spring 1996
Plotkin, G., (1981) A structural approach to operational semantics Computer Science Department, Aarhus University, DAIMI FN-19
Stroustrup, Bjarne, (1986) The C++ Programming Language Addison Wesley
Ungar, David, Chambers, Craig, Chang, Bay-Wei and Hölzle, Urs, (1991) Organising Programs Without Classes, in Lisp and Symbolic Computation 1991, 4: 3
Walker, David, (1991) 7t-Calculus Semantics of Object-Oriented Programming Languages, TACS 1991, published in LNCS 526, pp. 532–547.
Wegner, Peter, (1994) Models and Paradigms of Interaction in Object–Based Distributed Programming, ECOOP’93 Workshop, Vol. 791, ed: R. Guerraoui, O. Nierstrasz and M. Riveill, Springer–Verlag, pp. 1–32, ISBN: 3–540–57932–X
Wegner, Peter and Zdonick, Stanley B., (1988) Inheritance as an Incremental Modification Mechanism or What Like Is or Isn’t Like, European Conference on Object-Oriented Programming 1988, Oslo, Norway, published in LNCS 322, pp. 55–77.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Nordhagen, E.K. (1997). Omicron, An Object-Oriented Calculus. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive