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.
Preview
Unable to display preview. Download preview PDF.
References
Ed Brinksma and Giuseppe Scollo. Formal Notions of implementation and conformance in LOTOS. Memorandum INF-86-13, University of Twente, Netherlands, December 1986.
Michael J. Butler. Service Extension at the Specification Level. In Proceedings Z User Meeting, Oxford, December 1990.
K. Mani Chandy and Jayadev Misra. Parallel Program Design — A Foundation. Addison-Wesley, 1988.
Elspeth Cusack. Refinement, Conformance and Inheritance. Workshop on the Theory and Practice of Refinement, Open University, August 1990.
E. W. Dijsktra. A Discipline of Programming. Prentice-Hall, 1976.
C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
John Henshall and Sandy Shaw. OSI Explained. Ellis-Horwood, 1988.
C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, 1986.
Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.
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.
J.M. Spivey. The Z Notation — A Reference Manual. Prentice-Hall, 1989.
J.C.P. Woodcock and Carroll Morgan. Refinement of State-Based Concurrent Systems. In Proceedings VDM '90, Kiel, April 1990.
Author information
Authors and Affiliations
Editor information
Rights 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