Department of Informatics

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

TUM
 
PDF-Datei  Using Relations on Streams to Solve the RPC-Memory Specification Problem

Publication

Author:Ketil Stoelen
Conference:Formal Systems Specification: The RPC-Memory Specification Case Study, Lecture Notes in Comuter Science 1169
Editor:M. Broy, S. Merz, K. Spies
Pages:477 - 520
Publisher:Springer-Verlag
Year:1996
Abstract:We employ a specification and refinement technique based on streams to solve the RPC-memory specification problem. Streams are used to represent the communication histories of channels. We distinguish between input and output streams. Each input stream represents the communication history of an input channel; each output stream represents the communication history of an output channel. Specifications are relations between input and output streams.
 
BibTeX

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