Specification and top down design of distributed systems

Manfred Broy

doi:10.1007/3-540-15198-2_2

Specification and top down design of distributed systems

Manfred Broy

Universität Passau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

16 Scopus citations

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.

Original language	English
Title of host publication	Mathematical Foundations of Software Development
Subtitle of host publication	Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985
Editors	James Thatcher, Hartmut Ehrig, Christiane Floyd, Maurice Nivat
Publisher	Springer Verlag
Pages	4-28
Number of pages	25
ISBN (Print)	9783540151982
DOIs	https://doi.org/10.1007/3-540-15198-2_2
State	Published - 1985
Externally published	Yes
Event	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 - Berlin, Germany Duration: 25 Mar 1985 → 29 Mar 1985

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	185 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985
Country/Territory	Germany
City	Berlin
Period	25/03/85 → 29/03/85

Access to Document

10.1007/3-540-15198-2_2

Cite this

Broy, M. (1985). Specification and top down design of distributed systems. In J. Thatcher, H. Ehrig, C. Floyd, & M. Nivat (Eds.), Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985 (pp. 4-28). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 185 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-15198-2_2

Broy, Manfred. / Specification and top down design of distributed systems. Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985. editor / James Thatcher ; Hartmut Ehrig ; Christiane Floyd ; Maurice Nivat. Springer Verlag, 1985. pp. 4-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7a5dba770d914b6db6576579cdd2b88b,

title = "Specification and top down design of distributed systems",

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.",

author = "Manfred Broy",

note = "Publisher Copyright: {\textcopyright} 1985, Springer-Verlag.; International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 ; Conference date: 25-03-1985 Through 29-03-1985",

year = "1985",

doi = "10.1007/3-540-15198-2_2",

language = "English",

isbn = "9783540151982",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "4--28",

editor = "James Thatcher and Hartmut Ehrig and Christiane Floyd and Maurice Nivat",

booktitle = "Mathematical Foundations of Software Development",

}

Broy, M 1985, Specification and top down design of distributed systems. in J Thatcher, H Ehrig, C Floyd & M Nivat (eds), Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 185 LNCS, Springer Verlag, pp. 4-28, International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985, Berlin, Germany, 25/03/85. https://doi.org/10.1007/3-540-15198-2_2

Specification and top down design of distributed systems. / Broy, Manfred.
Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985. ed. / James Thatcher; Hartmut Ehrig; Christiane Floyd; Maurice Nivat. Springer Verlag, 1985. p. 4-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 185 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Specification and top down design of distributed systems

AU - Broy, Manfred

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 -

Broy M. Specification and top down design of distributed systems. In Thatcher J, Ehrig H, Floyd C, Nivat M, editors, Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985. Springer Verlag. 1985. p. 4-28. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-15198-2_2

Specification and top down design of distributed systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this