The specification of a robust network

Author

Berzins, Valdis ; Kopas, Robert

Author_Institution

Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA

Volume

ii

fYear

1990

fDate

2-5 Jan 1990

Firstpage

183

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Type

conf

DOI

10.1109/HICSS.1990.205187

Filename

205187