<На страницу назад | На страницу вперед>
А.5 ФОРМАЛЬНЫЙ ЯЗЫК ДЛЯ ДЕТАЛЬНЫХ ОПИСАНИЙ IDEF3
В данном разделе рассматривается расширение ядра языка детального описания при использовании определений, которые вводят базовые семантические категории теории ситуаций вместе с соответствующими определяющими аксиомами. Для облегчения понимания аксиомы сначала даются на английском языке и выделяются курсивом. Обратите внимание: это расширение ядра языка детального описания не является формализацией развитой теории ситуаций. Скорее это спецификация базовых конструкций, необходимых для выражения детальных описаний IDEF3 на базе ситуаций, как показано на примерах, приведенных в разделе 3 "Язык описания процессов IDEF3". Обратите внимание также на то, что здесь не приводится формальная теория моделей. Поскольку основной целью данного отчета является обеспечение возможности эффективного использования IDEF3 специалистами предприятий по моделированию и специалистами по технике представления и использования знаний, здесь рассматривается неформальная, интуитивная характеристика семантики данного языка.