DocumentCode
3556870
Title
An object-oriented approach to formal specification of reactive systems
Author
Madhav, Neel ; Meldal, Sigurd
Author_Institution
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear
1991
fDate
20-24 May 1991
Firstpage
134
Lastpage
141
Abstract
An object-oriented approach to formal specification of reactive systems is described. The main contributions of the work are: a language for specifying and implementing reactive modules; inheritance operations for such specifications and implementations; a formal semantics for such reactive programs and for the inheritance operations in terms of partial orders of events; treatment of specifications as types of modules and treatment of modules as first-class objects; and discussion of subtyping among specifications
Keywords
formal specification; object-oriented programming; specification languages; first-class objects; formal semantics; formal specification; inheritance operations; language; reactive modules; reactive programs; reactive systems; subtyping; Computer science; Contracts; Councils; Formal specifications; Informatics; Logic; Object oriented modeling; Object oriented programming; Prototypes; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1991., 11th International Conference on
Conference_Location
Arlington, TX
Print_ISBN
0-8186-2144-3
Type
conf
DOI
10.1109/ICDCS.1991.148655
Filename
148655
Link To Document