В основу параметрического
описания ресурсов, которыми обмениваются БП, в системе
IDEF0\Doctor
положено понятие "пространство
состояний", описанное в
Общих положениях настоящей инструкции.
Форма "Пространство состояний"
Форма "Пространство
состояний" (см. Рис.1) предназначена для корректировки перечня
параметров, которые могут быть использованы для описания тех или иных
ресурсов. Отображаемый формой список параметров никак не привязан к
ресурсам. Предполагается, что каждый из параметров может быть использован
для описания того или иного ресурса. Форма активируется нажатием кнопки
панели инструментов или через меню "Редактирование"
-> "Пространство состояний".
При создании новой
IDEF0-модели с базу данных автоматически
прописывается список "стандартных" параметров, которые по мнению
разработчиков системы
IDEF0\Doctor
имеют широкое применение. Например, "вес", "цена", "объем" и т.д. В новых
версиях системы список этих параметров расширяется, а при загрузке моделей
автоматически в базу данных вносятся соответствующие дополнения. Вместе с
именами "стандартных" параметров вносятся данные о типе параметров, его
области допустимых значений и единицах измерения ("стандартные"
единицы измерения).
Рис.1. Форма "Пространство
состояний"
Модельер с использованием
сервиса формы "Пространство состояний" может
самостоятельно добавлять новые параметры, которые система будет
анализировать по общим правилам. При этом следует понимать, что
использование параметров, совпадающих по смыслу со стандартными
"стандартными" снижает эффективность отчетов, которые может предоставить
система. Ведь только со "стандартными" параметрами может взаимодействовать
встроенный лингвистический интепретатор системы.
Основные функции Форма "Пространство
состояний":
Добавление, корректировка и удаление имен параметров
Поле 1 предназначено для
редактирования имени выбранного в списке 2 параметра или ввода имени
нового параметра. Соответственно, редактирование имени параметра
происходит при нажатии кнопки "Измен.", а
добавление - при нажатии кнопки "Добав.".
Удаление имени
параметра из списка параметров осуществляется нажатием кнопки "Удал.".
Функция корректировки имени
"стандартного" параметра и его удаления заблокирована.
Задание типа параметра
В системе
IDEF0\Doctor определены следующие типы параметров, отличающиеся
способом задания областей допустимых значений:
"Числовая ось". Все
действительные числа.
"Числовой интервал (от и
до). Все действительные числа на заданном интервале.
"Натуральный ряд". Все
натуральные числа.
"Числовой ряд". Дискретные
действительные числа.
"Лингвистический ряд".
Множество лингвистических значений.
"Лингвистическая
переменная". В существующей версии системы не поддерживается (!)
Рис. 2. Задание типа
параметра
Например, на Рис.2 для
параметра "Согласование IDEF0-диаграммы",
описывающего статус согласования диаграммы задается тип переменной
"Лингвистический ряд".
Функция изменения типа
"стандартного" параметра заблокирована.
Задание области допустимых значений параметров
Задание области допустимых
значений необходимо только для тех параметров, которые принимают числовые
значения на заданном интервале, или те параметры, которые могут принимать
ограниченное количество дискретных значений. В иных случаях функция
задания области допустимых значений будет заблокирована.
Рис. 3. Задание области
допустимых значений
Кнопка "Задать
ОДЗ параметра" (см. Рис. 3) активирует появление формы "Список", в
которую могут быть внесены дискретные значения параметра (по одному на
строку) или данные об интервале значений параметров в виде значений двух
чисел, размещенных в первой и второй строке списка. Для внесения данных о
полуинтервале при ограничении "сверху" или "снизу" вносятся,
соответственно, в первую строку знак "+" или во вторую строку знак "-".
При выборе типа параметра
"Числовая ось" данные об области допустимых значений вносятся
автоматически, а функция изменения области допустимых значений
для данного типа параметров блокируется.
Функция изменения области
допустимых значений "стандартного" параметра также заблокирована.
Изменение предпочтения по выбору единицы измерения параметра
Каждый из параметров может
иметь иметь несколько единиц измерения (например, для параметра "Длина"
единицами измерения являются "мм", "см", "дц", "м", "км" и другие). Для
"стандартных" параметров система
IDEF0\Doctor
автоматически создает набор возможных единиц измерения и делает выбор
наиболее предпочтительной для использования единицы измерения. Например,
на Рис. 1 для параметра "Вес" (см. поле 1) выбрана единица измерения "мг"
(см. комбинированный список 4).
Предпочтительная единица
измерения не является жестким ограничением. При описании
спецификаций БП,
модельером могут быть выбраны иные единицы измерения параметров.Предпочтительная единица измерения будет только предъявляться
первой в списке выбора единиц измерения.
Предпочтительную единицу
измерения можно изменить с помощью комбинированного списка 4 (см. Рис.1).
После ввода нового параметра
модельер обязан определить единицы измерения этого параметра, если
параметр не является безразмерным. Для этого он может определить новые
единицы измерения ("нестандартные") или использовать автоматически
созданные ("стандартные") единицы измерения. С этой целью используется
сервис, предоставляемый формой "Выбор единиц
измерения параметра", которая активируется кнопкой "Изменить" (см.
на Рис.1 - кнопка 5).
Рис.4. Изменение перечня
единиц измерения
См.
подробное описание
работы с формой
"Выбор единиц измерения параметра".
Модель пространства
состояний в первую очередь создается для параметрического описания
ресурсов. Состояние БП является лишь производной от описания ресурсов на
входах или выходах его интерфейсов и составляется в терминах этих
описаний. Описание пространства состояний может опережать, а иногда идет
параллельно с параметрическим описанием ресурсов, с которыми оперируют
моделируемые БП. Отношение между множеством ресурсов и множеством
параметров описывается с помощью сервиса формы "Параметры
ресурса" (см. Рис. 5).
