Abstract
Stream-processing functions provide an excellent semantic model for the abstract representation of systems of nondeterministic concurrent communicating agents. Based on this model a formalism for the specification of such functions is suggested. This way a fully modular, compositional methodology for the specification and the design of distributed systems and their components is derived. Concepts of correctness are defined and rules of inference are discussed that help to transform such specifications into a network of communicating agents. A combinatorial ("functional") notation for the sequential and parallel composition as well as feedback for those agents is introduced.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
H. Barringer, R. Kuiper, A. Pnueli: A Compositional Temporal Approach to a CSP-like Language. (Unpublished manuscript)
M. Broy: A Fixed Point Approach to Applicative Multiprogramming. In: M. Broy, G. Schmidt (eds.): Theoretical Foundations of Programming Methodology, Reidel Publ. Comp. 1982, 565–623
M. Broy: Denotational Semantics of Communicating Processes based on a Language for Applicative Multiprogramming. IPL 17:1 1983, 29–38
M. Broy: Fixed Point Theory for Communication and Concurrency. In: D. Björner (ed.): IFIP TC2 Working Conference on Formal Description of Programming Concepts II, Garmisch, June 1982, Amsterdam-New York-Oxford: North Holland Publ. Company 1983, 125–147
M. Broy: Applicative Real Time Programming. In: R.E.A. Mason (ed.): Information Processing 83, 259–264
M. Broy: Semantics of Communicating Processes. Information and Control (to appear)
M. Broy: Denotational Semantics of Concurrent Programs with Shared Memory. In: M. Fontet, K. Mehlhorn (eds.): STACS 84, Lecture Notes in Computer Science 166, Berlin-Heidelberg-New York: Springer 1984, 163–173
M. Broy: On the Herbrand Kleene Universe of Nondeterministic Computations. In: M.P. Chytil, V. Koubeck (eds.): Mathematical Foundations of Computer Science 1984. Lecture Notes in Computer Science 176, Berlin-Heidelberg-New York-Tokyo: Springer 1984, 214–222
M. Broy: Algebraic Methods for Program Construction: The Project CIP. In: P. Pepper (ed): Program Transformation and Programming Environments. NATO ASI Series. Series F: 8. Berlin-Heidelberg-New York-Tokyo: Springer 1984, 199–222
M. Broy, M. Wirsing: Partial Abstract Types. Acta Informatica 18, 1982, 47–64
J.B. Dennis: First Version of a Data Flow Procedure Language. In B. Robinet (ed.): Colloque sur la Progammation, Lecture Notes in Computer Science 19, Berlin-Heidelberg-New York: Springer 1974, 362–367
E.C.R. Hehner: Predicative Programming Part I+II. CACM 27:2 (1984) 134–151
C.A.R. Hoare, S.D. Brookes, A.W. Roscoe: A Theory of Communicating Sequential Processes. Oxford University Computing Laboratory, Programming Research Group, Technical Monograph PRG-21, Oxford 1981
G. Kahn, D. MacQueen 77: Coroutines and Networks of Parallel Processes. In: Proc. of the IFIP Congress 77, Amsterdam:North-Holland 1977, 994–998
R. M. Keller: Denotational Models for Parallel Programs with Indeterminate Operators. In: E. J. Neuhold (ed.): Formal Description of Programming Concepts. Amsterdam: North-Holland 1978, 337–366
R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer, 1980
G. Plotkin: A Powerdomain Construction. SIAM J. Computing 5, 1976, 452–486
A. Pnueli: The Temporal Logic of Programs. Proc 18th FOCS, Providence, 1977, 46–57
V.R. Pratt: Process Logic. 6th Popl, 1979, 83–100
M. Smyth: Power Domains. J. CSS 16, 1978, 23–36
G. Winskel: Event Structure Semantics of CCS and Related Languages. In: M. Nielsen, E. M. Schmidt (eds.): ICALP 82 Lecture Notes in Computer Science 140, Berlin-Heidelberg-New York 1982, 561–576
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (1985). Specification and top down design of distributed systems. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Mathematical Foundations of Software Development. CAAP 1985. Lecture Notes in Computer Science, vol 185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15198-2_2
Download citation
DOI: https://doi.org/10.1007/3-540-15198-2_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15198-2
Online ISBN: 978-3-540-39302-3
eBook Packages: Springer Book Archive