<На страницу назад | На страницу вперед>
ПРИЛОЖЕНИЕ А: ЯЗЫК ДЕТАЛЬНОГО ОПИСАНИЯ IDEF3
В данном приложении подробно рассматривается язык детального описания
IDEF3,
включая спецификацию нормальной формы Бэкуса-Наура (БНФ) (BNF - Backus-Naur
form). Язык детального описания IDEF3 состоит из двух частей: ядро языка, определяющее
базисный синтаксический аппарат и ассоциированные логические аксиомы, необходимые
почти в любом логическом языке, и расширение ядра языка, включающее дополнительный
синтаксический аппарат, определения, которые вводят специальные термины для
обсуждения ситуаций, UOB и другие специальные сущности IDEF3, а также аксиомы,
ограничивающие их базисное использование. В основе ядра языка лежит формат обмена
знаниями (KIF - Knowledge Interchange Format) (Genesereth & Fikes, 1992),
хотя некоторые конструкции (в частности, теоретические) исключены. В разделе
A.1 рассматриваются все синтаксические категории ядра языка и приводятся примеры,
иллюстрирующие использование элементов данной категории. В разделе A.2 специфицируется
формальная БНФ и дается ряд определений и сопутствующих аксиом. В разделе A.4
приводится общий обзор теории ситуаций для мотивации введенных конкретных расширений
IDEF3. В разделе A.5 аксиоматизируется базовое поведение этих расширений с комментариями.