15.6. Характерные черты согласованной системы

Поскольку под абстрактным аналогом поведения технической системы ранее было принята система ВС, то для возможности рассмотрения вопросов об усложнении системы необходимо выявить инвариант такой модификации в виде характерных черт согласованной системы, к которым логично отнести:

• все системообразующие ВС (иначе говоря, все порождённые состояния)
• все порождённые отношения

Замечание 15.4

С точки зрения семантики, характерные черты согласованной системы, выраженные в формуле, являются абстракцией эксперимента, то есть записью потока данных, но без указания управляющей конструкции (интенции) и без перечисления состава моментов времени проведения соответствующего эксперимента.

Как будет показано далее, характерные черты согласованной системы также должны являться инвариантом поведения при усложнении конструкции системы, что будет выражено в понятии ХЧ-проекции.

Назад Вперёд