Blog
About

184
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Object-oriented Operations Have Two Parts

      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)

      Northern Formal Methods

      14-15 July 1997

      object-oriented operations, object interaction, Object-Z, formal specification, formal semantics

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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 howthis model has been used to develop a strictlymodular, 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.

          Related collections

          Author and article information

          Conference
          July 1997
          July 1997
          : 1-19
          Affiliations
          Software Verification Research Centre

          School of Information Technology

          University of Queensland, Australia. 4072.
          Article
          10.14236/ewic/FA1997.10
          © Alena Griffiths. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Proceedings of the 2nd BCS-FACS Northern Formal Methods
          FM
          2
          Ilkley
          14-15 July 1997
          Electronic Workshops in Computing (eWiC)
          Northern Formal Methods
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article