Rapide is a language framework consisting of (i) a type language, (ii)
an executable architecture definition language, (iii) a specification
language, and (iv) a concurrent reactive programming language. The
architecture definition, specification and reactive programming
languages also share a pattern sublanguage that provides expressions
for reacting to and constraining event-based computations.