Б) Описание образцов

Образцы составляют совместно с операциями процедурную часть программы на РДО-языке. Они представляют собой знания о функционировании моделируемой системы (знания о предметной области), записанные в виде модифицированных продукционных правил в соответствии с синтаксисом языка.

Описание образца имеет следующий формат:

$Pattern <имя_образца>:<тип_образца> [trace | no trace]

[ $Parameters <описание_параметров_образца>]

$Relevant_resources <описание_релевантных_ресурсов_образца>

[ <способ_выбора>]

$Time = <выражение времени>

$Body

<тело_образца>

$End

В данной версии языка возможны образцы следующих типов:

· operation - образец, описывающий операцию;

· irregular_event - образец, описывающий нерегулярное событие;

· rule - образец, описывающий продукционное правило;

· keyboard - образец, описывающий клавиатурную операцию.

Описание параметров образца имеет следующий формат:

<имя параметра>: <тип параметра> [= <значение по умолчанию>]

{<имя параметра>: <тип параметра> [= <значение по умолчанию>]}

Описание релевантных ресурсов для образцов типа operation и keyboard имеет следующий формат:

<имя релевантного ресурса>: <описатель>

<статус_конвертора_начала> <статус конвертора конца>

Описание релевантных ресурсов образца для образцов типа irregular_event и rule имеет следующий формат:

<имя_релевантного_ресурса>: <описатель> <статус конвертора>

Описатель ресурса - это либо имя типа ресурса, либо имя ресурса.

Статус конвертора описывает, что происходит с релевантным ресурсом. В данной версии языка определены следующие статусы конверторов:

· Keep - релевантный ресурс сохраняется, но его состояние (значения параметров) изменяется;

· Create - релевантный ресурс создается;

· Erase - релевантный ресурс уничтожается;

· NonExist - релевантный ресурс не существует;

· NoChange - состояние релевантного ресурса не изменяется.

Способ выбора определяет, какие ресурсы будут использованы в качестве релевантных в том случае, если описатель релевантного ресурса есть имя типа и существует более одного ресурса, удовлетворяющего предусловию. В РДО-языке определены следующие способы выбора:

· first - использовать первые попавшиеся ресурсы, удовлетворяющие предусловиям;

· with_max <арифметическое выражение> - использовать такую комбинацию релевантных ресурсов, для которой значение указанного арифметического выражения максимально;

· with_min <арифметическое выражение> - использовать такую комбинацию релевантных ресурсов, для которой значение указанного арифметического выражения минимально.

Выражение времени представляет собой арифметическое выражение целого или вещественного типа.

Тело образца имеет следующий формат:

<имя_релевантного_ресурса> <правило использования>

{ <имя_релевантного_ресурса> <правило использования>}

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

для образца типа operation и keyboard:

<предусловие> [Convert_begin <конвертор>] [Convert_end <конвертор>]

для образца типа irregular_event:

[Convert event <конвертор>]

для образца типа rule:

<предусловие> [Convert_rule <конвертор>]

Предусловие записывают в следующем формате:

Choice from <логическое выражение> [<способ выбора>]

или

Choice NoCheck [<способ выбора>]

Конвертор записывают в следующем формате:

<конвертор_параметра релевантного ресурса>

{ <конвертор параметра релевантного ресурса>}

Конвертор параметра релевантного ресурса имеет формат:

<имя параметра> set <арифметическое выражение>

или

<имя параметра> NoChange

в) Описание операций

Операции определяют содержимое базы знаний модели. Объект операций имеет следующий формат:

$Operations

<описание операции> {<описание операции>}

$End

Описание каждой операции имеет следующий формат:

<имя операции>: <имя образца> <значения параметров образца>

г) Объект описания показателей

Показатели, которые требуется собрать в процессе прогона модели, описываются в отдельном объекте следующего формата:

$Results

<описание показателя> {<описание показателя>}

$End

В свою очередь описание отдельного показателя имеет формат:

<имя показателя>: [trace | no trace] <вид показателя> <описатель>

Виды собираемых показателей с соответствующими описателями:

· watch par <имя параметра ресурса> - наблюдать значение параметра ресурса;

· watch state <логическое выражение> - наблюдать состояние системы;

· watch_quant<имя типа> [NoCheck | <логическое выражение>] - наблюдать количество временных ресурсов;

· watch_value <имя типа> [NoCheck | <логическое выражение>] <арифметическое выражение> - наблюдать значение параметра временного ресурса в момент уничтожения ресурса;

· get value <арифметическое выражение> - наблюдать значение в момент окончания прогона.