Семантическая модель языковых объектов для автоматизации процесса…
9
Каждый аспект характеризуется точностью, т. е. содержит опре-
деленное число знаков.
Слово
С
характеризует предмет, его свойства и отношения. В се-
мантическом плане слово состоит из аспектов. Глубина характери-
стики объекта определяется количеством аспектов в слове, которое
оценивается объемом сведений, необходимым для описания объекта
в рамках решаемой задачи. В общем случае число аспектов опреде-
ляется на основании анализа статистических данных. В частном слу-
чае возможно строгое аналитическое определение числа аспектов.
В математической интерпретации слово в общем случае пред-
ставляет собой кортеж знаков, длина которого может быть произ-
вольной. Выражение вида
1 2
,
, ...,
,
m
C
являясь словом, пред-
ставляет собой кортеж длины
m
.
Описанные выше элементы модели ЯСЦ транслируются в соот-
ветствующие элементы системы онтологий [13–15], а именно: в он-
тологию верхнего уровня для описания НБ сертификации, в онтоло-
гию предметных областей для представления знаний каждого от-
дельного нормативного документа, в онтологию источника знаний,
который описывает терминосистему предметной области сертифика-
ции, в онтологию задач и методов. При этом в онтологии задач и ме-
тодов представлен метод извлечения знаний из нормативных доку-
ментов, в основу которого положена валентность глаголов. Онтоло-
гия запроса описывает конкретный запрос пользователя к объекту
сертификации, а онтология-приложение — срез онтологии предмет-
ной области и онтологии задач и методов к онтологии запроса. Онто-
логическая система, построенная на основе модели ЯСЦ, является
ядром диалоговой системы поддержки принятия решений СА.
Выводы.
Описанная модель ЯСЦ языковых объектов из пред-
метной области «Сертификация систем с интенсивным использова-
нием ПО» является формальной основой для создания системы онто-
логий, содержащих знания концептуального характера о смысловой
структуре НБ и ТД на системы, подвергаемые процедуре сертифика-
ции. Применение модели ЯСЦ позволит обеспечивать возможность
реализации онтологического среза и формирования на его основе от-
четов в ответ на запросы пользователя, которым является СА.
ЛИТЕРАТУРА
[1]
Харченко В.С., Ястребинецкий М.А., Васильченко В.Н. Нормирование и
оценка безопасности информационных и управляющих АЭС: регулиру-
ющие требования к программному обеспечению.
Ядерная и радиацион-
ная безопасность
, 2002, № 1, с. 18—33.
[2]
Конорев Б.М., Сергиенко В.В., Чертков Г.Н., Алексеев Ю.Г. Доказатель-
ная независимая верификация и оценка скрытых дефектов критического
программного обеспечения на основе диверсифицированного измерения
инвариантов.
Радиоэлектронные и компьютерные системы
, 2009, № 7,
с. 192—199.
