Object-oriented Operations Have Two Parts

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.

Conference

Publication date: July 1997

Publication date (Print): July 1997

Pages: 1-19

Affiliations

Software Verification Research Centre

School of Information Technology

University of Queensland, Australia. 4072.

Article

DOI: 10.14236/ewic/FA1997.10

Copyright statement: © Alena Griffiths. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

License:

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/

Conference name: Proceedings of the 2nd BCS-FACS Northern Formal Methods

Conference acronym: FM

Conference number: 2

Conference location: Ilkley

Conference date: 14-15 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.10

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing