By David Harel
The booklet offers an in depth description of a suite of languages for modelling reactive platforms, which underlies the STATEMATE toolset. The technique is ruled by way of the language of Statecharts, used to explain habit, mixed Activity-charts for describing actions (i.e., the sensible development blocks-capabilities or items) and the information that flows among them. those languages are used to advance a conceptual version of the method, which might be mixed with the system's actual, or structural version, defined in a 3rd language-Module-charts. the 3 languages are hugely diagrammatic in nature, constituting full-fledged visible formalisms, entire with rigorous semantics. they're followed through an information Dictionary for specifying extra components of the version which are textual in nature.