A blocking model for reactive objects-Reference-Cited by-同舟云学术

A blocking model for reactive objects

Published:1996-05 Issue:3 Volume:8 Page:347-368
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Duke Roger¹,Bailes Cecily¹,Smith Graeme¹

Affiliation:

1. Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia

Abstract

Abstract Objects can be viewed as entities reacting concurrently with their environment through the sending and receiving of messages. In this paper a model for such reactive objects is constructed where messages may be blocked either by the object or by the environment. This model differentiates between output messages controlled by the object, and input messages controlled by the environment. The model is applied to define an object compatibility lattice structure enabling the construction of objects satisfying best possible compatibility requirements.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01214919.pdf

Reference16 articles.

1. Abadi M. and Lamport L.: Composing specifications. In J.W. de Bakker W.-P. de Roever and G. Rozenberg editors Proc. REX Workshop on Step-wise Refinement of Distributed Systems volume 430 of LNCS pages 1–41. Springer-Verlag 1990.

2. America P.: Inheritance and subtyping in a parallel object-oriented language. In J. Bézivin J.-M. Hullot P. Cointe and H. Lieberman editors Proc. European Conf. on Object-Oriented Programming (ECOOP'87) volume 276 of LNCS pages 234–242. Springer-Verlag 1987.

3. Cook W. Hill W. and Canning P.: Inheritance is not subtyping. In Proc. 17th ACM Symp. on Princ. of Prog. Lang. 1990.

4. Fully abstract model of reactive objects;Duke R.;Formal Aspects of Computing,1996

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Refinement in Object-Z;Refinement in Z and Object-Z;2014

2. An approach to a Z toolkit for the Reference Model of Open Distributed Processing;Computer Standards & Interfaces;1999-12

3. Specifying Reusable Controllers for Software Components;Formal Methods for Open Object-Based Distributed Systems;1999

4. A blocking model for reactive objects;Formal Aspects of Computing;1996-05