Abstract
We give a functional specification of the syntactic interface and the black box behavior of an unreliable and a reliable memory component and a remote procedure (RPC) call component. The RPC component controls the access to the memory. In addition, we specify a clerk for driving the RPC component. The used method is modular and therefore it allows us to specify each of these components independently and separately. We discuss the specifications shortly and then compose them into a distributed system of interacting components. We prove that the specification of the composed system fulfills again the requirement specification of the unreliable memory component. Finally we give a timed version of the RPC component and of a clerk component and compose them.
This work was partially sponsored by the Sonderforschungsbereich 342 “Werkzeuge und Methoden für die Nutzung paralleler Rechnerarchitekturen” and the industrial research project SysLab.
Preview
Unable to display preview. Download preview PDF.
References
M. Broy: Specification and Refinement of a Buffer of Length One. Markto-berdorf Summer School 1994
M. Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. Technische Universität München, Institut für Informatik, TUM-I9417, June 1994
M. Broy, L. Lamport: The RPC-Memory Specification Problem. This volume.
M. Broy, K. Stølen: Specification and Refinement of Finite Dataflow Networks — a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 1994, 247–267
K. Stølen, F. Dederichs, R. Weber: Assumption/Commitment Rules for Networks of Agents. Technische Universität München, Institut für Informatik, TUM-I9302
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (1996). A functional solution to the RPC-memory specification problem. In: Broy, M., Merz, S., Spies, K. (eds) Formal Systems Specification. Lecture Notes in Computer Science, vol 1169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024430
Download citation
DOI: https://doi.org/10.1007/BFb0024430
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61984-0
Online ISBN: 978-3-540-49573-4
eBook Packages: Springer Book Archive