Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  A Functional Solution to the RPC-Memory Specification Problem

Book Chapter

Author:Manfred Broy
In Book:Formal Systems Specification: The RPC-Memory Specification Case Study
Pages:183 - 211
Editor:M. Broy, S. Merz, K. Spies
Number:LNCS 1169
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.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact