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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

16 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	Mathematical Foundations of Software Development
Untertitel	Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Trees in Algebra and Programming CAAP 1985
Redakteure/-innen	James Thatcher, Hartmut Ehrig, Christiane Floyd, Maurice Nivat
Herausgeber (Verlag)	Springer Verlag
Seiten	4-28
Seitenumfang	25
ISBN (Print)	9783540151982
DOIs	https://doi.org/10.1007/3-540-15198-2_2
Publikationsstatus	Veröffentlicht - 1985
Extern publiziert	Ja
Veranstaltung	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 - Berlin, Deutschland Dauer: 25 März 1985 → 29 März 1985

Publikationsreihe

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

Konferenz

Konferenz	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985
Land/Gebiet	Deutschland
Ort	Berlin
Zeitraum	25/03/85 → 29/03/85

Zugriff auf Dokument

10.1007/3-540-15198-2_2

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Broy, M. (1985). Specification and top down design of distributed systems. in J. Thatcher, H. Ehrig, C. Floyd, & M. Nivat (Hrsg.), 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 (S. 4-28). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Hrsg. / James Thatcher ; Hartmut Ehrig ; Christiane Floyd ; Maurice Nivat. Springer Verlag, 1985. S. 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 (Hrsg.), 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), Bd. 185 LNCS, Springer Verlag, S. 4-28, International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985, Berlin, Deutschland, 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. Hrsg. / James Thatcher; Hartmut Ehrig; Christiane Floyd; Maurice Nivat. Springer Verlag, 1985. S. 4-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 185 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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, Hrsg., 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. S. 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

Publikationsreihe

Konferenz

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren