Functional specification of time sensitive communicating systems

Manfred Broy

doi:10.1007/3-540-52559-9_64

Functional specification of time sensitive communicating systems

Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

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

12 Scopus citations

Abstract

A formalism for the functional specification of time sensitive communicating systems and their components is outlined. The specification method is modular w.r.t. sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. The relationship between nondeterminism and timed systems is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.

Original language	English
Title of host publication	Stepwise Refinement of Distributed Systems
Subtitle of host publication	Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings
Editors	J.W. de Bakker, W.-P. de Roever, G. Rozenberg
Publisher	Springer Verlag
Pages	153-179
Number of pages	27
ISBN (Print)	9783540525592
DOIs	https://doi.org/10.1007/3-540-52559-9_64
State	Published - 1990
Event	REX Workshop on Stepwise Refinement of Distributed Systems, 1989 - Mook, Netherlands Duration: 29 May 1989 → 2 Jun 1989

Publication series

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

Conference

Conference	REX Workshop on Stepwise Refinement of Distributed Systems, 1989
Country/Territory	Netherlands
City	Mook
Period	29/05/89 → 2/06/89

Access to Document

10.1007/3-540-52559-9_64

Cite this

Broy, M. (1990). Functional specification of time sensitive communicating systems. In J. W. de Bakker, W.-P. de Roever, & G. Rozenberg (Eds.), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings (pp. 153-179). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 430 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-52559-9_64

Broy, Manfred. / Functional specification of time sensitive communicating systems. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. editor / J.W. de Bakker ; W.-P. de Roever ; G. Rozenberg. Springer Verlag, 1990. pp. 153-179 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a294584042294a679e7d68c5f29b9e60,

title = "Functional specification of time sensitive communicating systems",

abstract = "A formalism for the functional specification of time sensitive communicating systems and their components is outlined. The specification method is modular w.r.t. sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. The relationship between nondeterminism and timed systems is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.",

author = "Manfred Broy",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; REX Workshop on Stepwise Refinement of Distributed Systems, 1989 ; Conference date: 29-05-1989 Through 02-06-1989",

year = "1990",

doi = "10.1007/3-540-52559-9_64",

language = "English",

isbn = "9783540525592",

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

publisher = "Springer Verlag",

pages = "153--179",

editor = "{de Bakker}, J.W. and {de Roever}, W.-P. and G. Rozenberg",

booktitle = "Stepwise Refinement of Distributed Systems",

}

Broy, M 1990, Functional specification of time sensitive communicating systems. in JW de Bakker, W-P de Roever & G Rozenberg (eds), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 430 LNCS, Springer Verlag, pp. 153-179, REX Workshop on Stepwise Refinement of Distributed Systems, 1989, Mook, Netherlands, 29/05/89. https://doi.org/10.1007/3-540-52559-9_64

Functional specification of time sensitive communicating systems. / Broy, Manfred.
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. ed. / J.W. de Bakker; W.-P. de Roever; G. Rozenberg. Springer Verlag, 1990. p. 153-179 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 430 LNCS).

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

TY - GEN

T1 - Functional specification of time sensitive communicating systems

AU - Broy, Manfred

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1990.

PY - 1990

Y1 - 1990

N2 - A formalism for the functional specification of time sensitive communicating systems and their components is outlined. The specification method is modular w.r.t. sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. The relationship between nondeterminism and timed systems is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.

AB - A formalism for the functional specification of time sensitive communicating systems and their components is outlined. The specification method is modular w.r.t. sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. The relationship between nondeterminism and timed systems is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.

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

U2 - 10.1007/3-540-52559-9_64

DO - 10.1007/3-540-52559-9_64

M3 - Conference contribution

AN - SCOPUS:85029792623

SN - 9783540525592

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

SP - 153

EP - 179

BT - Stepwise Refinement of Distributed Systems

A2 - de Bakker, J.W.

A2 - de Roever, W.-P.

A2 - Rozenberg, G.

PB - Springer Verlag

T2 - REX Workshop on Stepwise Refinement of Distributed Systems, 1989

Y2 - 29 May 1989 through 2 June 1989

ER -

Broy M. Functional specification of time sensitive communicating systems. In de Bakker JW, de Roever WP, Rozenberg G, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. Springer Verlag. 1990. p. 153-179. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-52559-9_64

Functional specification of time sensitive communicating systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this