Abstract
We investigate the notion that a system, or process, is an acceptable implementation of another base or target process, in the case that they have different interfaces. Base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while implementations model their actual realisation, possibly employing a variety of fault-tolerant techniques. Using the CSP model, we relate implementations to targets in terms of their observable behaviours, through interface abstraction. We obtain two basic results: realisability and compositionality. The former ensures an implementation up to interface abstraction can be put to good use, in the sense that plugging it into an appropriate environment yields a conventional implementation. Compositionality requires that a target made up of subcomponents can be implemented by assembling their respective implementations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. D. Brookes and A. W. Roscoe. An improved failures model for communicating processes. Lecture Notes in Computer Science 197:281–305, 1985. Springer-Verlag.
J. C. M. Baeten and W. P. Weijland. Process Algebra. Camb. Univ. Press, 1990.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
M. Koutny, L. Mancini, and G. Pappalardo. Two implementation relations and the correctness of communicating replicated processes. Formal Aspects of Computing 9:119–148, 1997.
M. Koutny and G. Pappalardo. The ERT model of fault-tolerant computing and its application to a formalisation of coordinated atomic actions. Technical Report 636, Dept. of Comp. Sci., University of Newcastle upon Tyne, 1998.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
L. V. Mancini and G. Pappalardo. Towards a theory of replicated processing. Lecture Notes in Computer Science 331:175–192, 1988. Springer-Verlag.
G. Pappalardo. Specification and Verification Issues in a Process Language. PhD thesis, University of Newcastle upon Tyne, 1995.
J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, and Z. Wu. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proc. 25th Int. Symp. on Fault-Tolerant Comp., 450–457. IEEE Press, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koutny, M., Pappalardo, G. (1999). A Model of Behaviour Abstraction for Communicating Processes. In: Meinel, C., Tison, S. (eds) STACS 99. STACS 1999. Lecture Notes in Computer Science, vol 1563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49116-3_29
Download citation
DOI: https://doi.org/10.1007/3-540-49116-3_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65691-3
Online ISBN: 978-3-540-49116-3
eBook Packages: Springer Book Archive