TY - GEN

T1 - Specification and top down design of distributed systems

AU - Broy, Manfred

N1 - Publisher Copyright:
© 1985, Springer-Verlag.

PY - 1985

Y1 - 1985

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85034954531&partnerID=8YFLogxK

U2 - 10.1007/3-540-15198-2_2

DO - 10.1007/3-540-15198-2_2

M3 - Conference contribution

AN - SCOPUS:85034954531

SN - 9783540151982

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 4

EP - 28

BT - Mathematical Foundations of Software Development

A2 - Thatcher, James

A2 - Ehrig, Hartmut

A2 - Floyd, Christiane

A2 - Nivat, Maurice

PB - Springer Verlag

T2 - International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985

Y2 - 25 March 1985 through 29 March 1985

ER -