Приложение С (справочное). Схемы ОРМ для верификации и валидации интероперабельности

Приложение С
(справочное)

Схемы
ОРМ для верификации и валидации интероперабельности

Методология ОРМ предоставляет два семантически эквивалентных способа представления одной и той же модели: графический и текстовый. Текстовая модель в OPL генерируется в подмножестве английского языка таким образом, чтобы сохранить ограничения графической модели. Так как синтаксис и семантика OPL являются подмножеством английского естественного языка, эксперты в определенной области знаний смогут легко понимать текстовую модель.

На рисунках С.1, С.2 и С.3 представлена обязательная часть настоящего стандарта с использованием ОРМ. Производственное приложение разработано для реализации продукта, соответствующего спецификациям. Спецификации разрабатываются в соответствии с ожиданиями потребителей или пользователей продукта (рисунок С.1).

Рисунок С.1 - Общая концепция верификации и валидации интероперабельности

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

- глобальной структуры приложения;

- узлов или компонентов;

- их взаимозависимости;

- их конфигурирования и развертывания.

Верификация и валидация проверяют соответствие спроектированных и реализованных механизмов интероперабельности между MSU.

Структура производственного приложения представлена тремя иерархическими уровнями: уровень процессов, уровень действий и уровень функций в ГОСТ Р ИСО 16100-1. Для выполнения целей производственного приложения требуются ресурсы различных типов (рисунок С.2). Типы ресурсов включают человеческие, энергетические, механические, электрические, аппаратные, сетевые, программные и т.д. Для каждого типа ресурсов необходим набор модулей для обеспечения целевого функционирования производственного приложения.

Рисунок С.2 - Ресурсы производственного приложения

Верификация и валидация выполняются с применением артефактов разработанного приложения и включают взаимодействия для проверки соответствия спроектированной и реализованной интероперабельностью между MSU (рисунок С.3).

Рисунок С.3 - Верификация интероперабельности и сопоставление профилей возможностей