Behavioral Specifications. Dynamical Approach. Draft

摘要

We give a description of a behavioral specification in terms of infinite sequences. This description allows mathematically precise definitions of needed notions and shows the way to strict proofs of their properties. We propose a handful of such notions and give an overview of their properties. In a part of these notes we show the links with existing theories and point out possible further development of our approach.