Content
4.5 Статика и динамика
Статика предполагает полную доступность и одинаковую понятность каждым участником процесса рассуждения всей предметной области, полное её понимание со всех возможных «взглядов»:
что, собственно, и означает семантическую однозначность.
Это бывает, когда объекты достаточно просты, что, подходит для выражения "статичных" отношений между фактами, сложность которых, по-видимому, растёт не быстрее степенной функции от количества собственных переменных, образующих автомат.
Однако, дальнейшее усложнение приводит (сначала) к экспоненциальному росту числа отношений.
Выход - разделить целое на части; при этом:
- каждая такая часть становится "рядоположенной", а суммарная сложность их определений, обращённая к человеку, по-прежнему растёт "не слишком быстро"
- их взаимоотношения оказываются существующими не "в ряду", а "в пространстве", например собственных переменных, образующих автомат, что, очевидно, требует правил определения корректности - для И- и ЛИБО-соединения в случае автоматов мгновенного действия
Обычно, такие сущности, как пространство, даже и фазовые, принято рассматривать статически, что здесть производится в рамках разработки языка И-ЛИБО систем и его основы - согласованных систем.
Здесь уместно привести общеизвестную иллюстрацию:
Стоит задаться вопросом, что первично в этой сцене?
-
можно считать, что здесь наблюдается 3-х мерная деталь, а на плоскостях - её прокции, тени;
вполне естественно считать статичным это отношение между тремя указанными объектами - они всеми наблюдателями воспринимаются одинаково, обе тени "корректны" по отношению к их "прообразу" -
но можно считать, что первичны изображения на плоскостях, означающие
правила, по которым образуется пространственный объект;
такой "объект" стоит считать динамическим, поскольку ему естественно сопоставлять поведение, образующееся в результате суммарной работы нескольких автоматов;
однако, он может не только динамически рождаться согласно определениям семантики и правилам проведения эксперемента, но и статически "восстанавливаться", "реконструироваться" в процессе синтеза;
при этом становится главным вопрос о согласованности исходных описаний