An object-oriented approach to formal specification of reactive systems
Neel Madhav, Sigurd Meldal · 2002
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.>