4.5 Статика и динамика

Независимо от того, является ли динамическим сам реальный объект, его статическое описание подразумевает:

1. отсутствие связи с возможными другими его описаниями
2. полную доступность и одинаковую понятность каждым участником процесса рассуждения всей предметной области, полное её понимание со всех возможных «взглядов»:

   

   что, собственно, и означает семантическую однозначность.

3. относительно малую сложность в силу обращённости к человеку с его ограниченными возможностями

Однако, усложнение описания приводит к необходимости разделить его на части - "модули".

В этом случае:

1. описание каждого такого модуля подразумевает его связь с другими описаниями - как других модулей, так, возможно, его самого, например, данное другим участником процесса рассуждения
2. участникам процесса рассуждения обычно становится информационна доступна только часть модулей;
   и даже понимание "своих" модулей может становиться искажённым
3. относительно малая сложность отдельного модуля не огранивает суммарную сложность

Здесь уместно задаться вопросом, что первично:

• целое, состоящеее из частей (модулей)?

  в качестве примера часто приводится общеизвестная иллюстрация:

  

  можно считать, что здесь показана трёхмерная деталь, а на плоскостях - её прокции, тени;
  и в этом случае обычно бывает не важно, статичен сам реальный объект, или динамичен, поскольку операция "проекции" всего одна и в норме довольно проста

• но, если первичными являются модули, то:
  • их статика означает, по сути, наличие связи лишь одной природы - отношения И, навязывающего стандартную процедуру интерпретации
  • другое дело, когда таких связок 2 (отношение И и отношение ЛИБО) или даже 3 (плюс отношение СЛЕДУЕТ), что естественно рассматривать как динамику в том смысле, что они так внутренне между собой связаны

Последний пункт определяет основной объект изучения - взаимозависимость отношения И и отношения ЛИБО.

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

На этом пути было сделано маленькое "открытие" - введение канальных И-ЛИБО операций, формирующих как И-, так и ЛИБО-отношеня.

Назад Вперёд