Skip to main content
SpringerLink
Log in

A blocking model for reactive objects

  • Published:
Formal Aspects of Computing

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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 ofLNCS, 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 ofLNCS, pages 234–242. Springer-Verlag, 1987.

  3. America, P.: A behavioural approach to subtyping in object-oriented programming languages. Technical Report 443, Philips Research Laboratories, Eindhoven, The Netherlands, 1989.

    Google Scholar 

  4. Cook, W., Hill, W. and Canning, P.: Inheritance is not subtyping. InProc. 17th ACM Symp. on Princ. of Prog. Lang., 1990.

  5. Duke, R., Bailes, C. and Smith, G.: Fully abstract model of reactive objects.Formal Aspects of Computing, 8(E): 184–243, 1996.

    Google Scholar 

  6. Haibert, D. and O'Brien, P.: Using types and inheritance in object-oriented languages. In J. Bézivin, J.-M. Hullot, P. Cointe, and H. Lieberman, editors,Proc. European Conf. on Object-Oriented Programming (ECOOP'87), volume 276 ofLNCS, pages 20–31. Springer-Verlag, 1987.

  7. Lam, S. and Shankar, A.V.: A relational notation for state transition systems.IEEE Trans. Software Eng., 16(7):755–775, July 1990.

    Article  Google Scholar 

  8. Lam, S. and Shankar, A.V.: Understanding interfaces. In K. Parker and G. Rose, editors,Formal Description Techniques, IV (FORTE'91), pages 165–184, 1991.

  9. Lynch, N. and Tuttle, M.: An introduction to Input/Output Automata.CWI Quarterly, 2(3):219–246, September 1989.

    MATH  MathSciNet  Google Scholar 

  10. Meyer, B.:Object-Oriented Software Construction. International Series in Computer Science. Prentice-Hall, 1988.

  11. Potter, B., Sinclair, J. and Till, D.:An Introduction to Formal Specification and Z. International Series in Computer Science. Prentice-Hall, 1990.

  12. Spivey, J.M.:The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, 1989.

  13. Stoughton, A.:Fully Abstract Models of Programming Languages. Research Notes in Theoret. Comput. Sci. Pitman/Wiley, 1988.

  14. Utting, M. and Robinson, K.: Towards an object-oriented refinement calculus. InProc. 14th Australian Comput. Sci. Conf. (ACSC-14), February 1991.

  15. Wegner, P. and Zdonik, S.: Inheritance as an incremental modification mechanism or what like is and isn't like. In S. Gjessing and K. Nygaard, editors,Proc. European Conf. on Object-Oriented Programming (ECOOP'88), volume 322 ofLNCS, pages 55–77. Springer-Verlag, 1988.

  16. Yelland, P.: First steps towards fully abstract semantics for object-oriented languages. In S. Cook, editor,Proc. European Conf. on Object-Oriented Programming (ECOOP'89), pages 347–364. Cambridge University Press, 1989.

Download references

Author information

Authors and Affiliations

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

    Roger Duke, Cecily Bailes & Graeme Smith

Authors
  1. Roger Duke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cecily Bailes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Graeme Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Electronic supplementary material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Duke, R., Bailes, C. & Smith, G. A blocking model for reactive objects. Formal Aspects of Computing 8, 347–368 (1996). https://doi.org/10.1007/BF01214919

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01214919

Keywords

Search

Navigation