TY - JOUR
T1 - Functional Specification of Time-Sensitive Communicating Systems
AU - Broy, Manfred
PY - 1993/1/1
Y1 - 1993/1/1
N2 - A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. Abstractions from time are studied. In particular, a rational is given for the chosen concepts of the functional specification technique. The relationship between system models based on nondeterminism and system models based on explicit time notions is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.
AB - A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. Abstractions from time are studied. In particular, a rational is given for the chosen concepts of the functional specification technique. The relationship between system models based on nondeterminism and system models based on explicit time notions is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.
KW - functional system models
KW - real-time systems
KW - specification
UR - http://www.scopus.com/inward/record.url?scp=0027353263&partnerID=8YFLogxK
U2 - 10.1145/151299.151302
DO - 10.1145/151299.151302
M3 - Article
AN - SCOPUS:0027353263
SN - 1049-331X
VL - 2
SP - 1
EP - 46
JO - ACM Transactions on Software Engineering and Methodology
JF - ACM Transactions on Software Engineering and Methodology
IS - 1
ER -