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
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;
Conference_Titel :
Distributed Computing Systems, 1991., 11th International Conference on
Conference_Location :
Arlington, TX
Print_ISBN :
0-8186-2144-3
DOI :
10.1109/ICDCS.1991.148655
