Skip to main content
SpringerLink
Log in

Behavioural extension for CSP

  • Papers
  • Conference paper
  • First Online:
VDM'91 Formal Software Development Methods (VDM 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 551))

Included in the following conference series:

  • 108 Accesses

Abstract

The notion of behavioural extension is important for system evolution, incremental design and, inheritance in object-orientation. Behavioural extension as relations between CSP processes is investigated. A number of different extension relations are developed motivated by some examples of behavioural extension from the telecoms domain. Each extension relation is characterised in terms of CSP operators and a number of algebraic laws stated. The results are then transferred to the action system approach to CSP and rules for behavioural extension in action systems are developed.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ed Brinksma and Giuseppe Scollo. Formal Notions of implementation and conformance in LOTOS. Memorandum INF-86-13, University of Twente, Netherlands, December 1986.

    Google Scholar 

  2. Michael J. Butler. Service Extension at the Specification Level. In Proceedings Z User Meeting, Oxford, December 1990.

    Google Scholar 

  3. K. Mani Chandy and Jayadev Misra. Parallel Program Design — A Foundation. Addison-Wesley, 1988.

    Google Scholar 

  4. Elspeth Cusack. Refinement, Conformance and Inheritance. Workshop on the Theory and Practice of Refinement, Open University, August 1990.

    Google Scholar 

  5. E. W. Dijsktra. A Discipline of Programming. Prentice-Hall, 1976.

    Google Scholar 

  6. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

    Google Scholar 

  7. John Henshall and Sandy Shaw. OSI Explained. Ellis-Horwood, 1988.

    Google Scholar 

  8. C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, 1986.

    Google Scholar 

  9. Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.

    Google Scholar 

  10. Carroll Morgan. Of wp and csp. In W.H.J. Feijen, A.J.M. van Gasteren, David Gries, and Jayadev Misra, editors, Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer-Verlag, 1990.

    Google Scholar 

  11. J.M. Spivey. The Z Notation — A Reference Manual. Prentice-Hall, 1989.

    Google Scholar 

  12. J.C.P. Woodcock and Carroll Morgan. Refinement of State-Based Concurrent Systems. In Proceedings VDM '90, Kiel, April 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 8-11 Keble Road, OX1 3QD

    Michael J. Butler

Authors
  1. Michael J. Butler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Butler, M.J. (1991). Behavioural extension for CSP. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation