Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Object-Oriented Operations Have Two Parts

    2nd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th July 1997


    A. Griffiths


    This paper presents a model for object-oriented operations in which operations consist of two parts: an internal state transition and an external interaction with other objects.

    We first present a simple version of the two part model, and explain how this model has been used to develop a strictly modular, compositional semantics for a simple sub-language of Object-Z.

    Differences between the operation calculii of the simple sub-language and of Object-Z are identified.

    We extend the simple model to accommodate distributed operators, and then define a syntactic translation from "full" Object-Z to the simple sub-language.

    This shows that the two part model is sufficiently expressive to describe many notions about operation invocation in object orientation.


    PDF filePDF Version of this Paper (213kb)