Context machines as formalism for specification of dynamic systems

An approach to the development of easy-to-use operational specifications of dynamic systems is presented. It is based on the formalism of context machines and the language of description of context machines CML. The main notions of the theory of context machines are defined. Classification of general-purpose contexts is suggested. The approach is illustrated by examples of specifications of light-weight dynamic systems.