Affiliation:
1. Technische Univ. Mu¨nchen, Munich, Germany
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference44 articles.
1. Lecture Notes in Computer Science;~ABADI M.,1992
2. The synchronous approach to reactive and real-time ~systems;~BENVENISTE A.;INRIA Rapports de Recherche,1991
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献