Title :
The specification of a robust network
Author :
Berzins, Valdis ; Kopas, Robert
Author_Institution :
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
The authors describe the process used to specify a robust network using the Spec specification language, which is intended for giving black-box specifications of large software systems in the early stages of software design and in the software evolution process. The underlying computational model of Spec combines temporal events with message passing to support system descriptions. The authors illustrate the use of the Spec language to define the behavior of a robust distributed system with timing constraints. The robust network specified is a simplified bidirectional-ring network
Keywords :
computer networks; distributed processing; formal specification; specification languages; Spec specification language; black-box specifications; large software systems; message passing; robust network; simplified bidirectional-ring network; software design; software evolution process; system descriptions; temporal events; timing constraints; Art; Computational modeling; Computer science; Formal specifications; Message passing; Robustness; Software design; Software systems; Specification languages; Timing;
Conference_Titel :
System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
DOI :
10.1109/HICSS.1990.205187
