ГОСТ Р ИСО/МЭК 10746-1-2004
используемые для предоставления необходимых базовых операций в спецификациях с других точек
зрения, а цель технологической спецификации состоит в предоставлении дополнительной инфор
мации. необходимой для реализации и тестирования, путем выбора стандартных решений для базо
вых компонентов и средств коммуникации. Такой выбор необходим для полной спецификации си
стемы, но он существенно удален от остального процесса проектирования.
Однако технологический выбор имеет некоторые последствия. Одной областью, в которой
выбор технологической спецификации возврашает нас к другим аспектам проектирования систе
мы, является обеспечение конкретного качества услуг. Выборы с технологической точки зрения
определяют стоимость взаимодействий и тем самым, косвенно, качество услуг, которое может быть
достигнуто поведением, определенным в спецификациях с других точек зрения.
Технологическая спецификация играет основную роль в процессе тестирования соответствия.
Она идентифицирует точки соответствия в реальной системе, в которых тестер может проводить
наблюдения поведения, и предоставляет информацию, необходимую для интерпретации наблюде
ний тестера в терминах словарей и понятий спецификаций системы с других точек зрения. Это
позволяет, например, распознавать допустимые взаимодействия гак, что их приемлемость может
быть проверена относительно некоторого специфицированного поведения технологического объек
та. Нужная для этой цели информация называется дополнительной информацией для тестирования
реализации (ДИТР).
8.7 Согласованность между точками зрения
Спецификации системы с пяти точек зрения связаны утверждениями, определяющими отно
шения между их основными терминами и устанавливающими, что:
- спецификации опюсятся к одной системе и не являются независимыми;
- спецификации самосогласованные;
- наблюдаемое поведение в точках соответствия технологической спецификации может быть
соотнесено с требованиями в спецификациях с других точек зрения.
Многие необходимые связи представлены неявно используемыми нотациями, являясь результа
том соответствия между именами. Однако некоторые ключевые ограничения необходимо устанавливать
явно. В архитектуре ограничения накладываются на отношения междутерминами всамих языках
точек зрения, устанавливая некоторые пределы отображений, которые могутбыть введены.
Большинство ог раничений устанавливается для отношений междутерминами в вычислительном и
инженерном языках; они определяются так, чтобы создать согласованные интерпретации, когда
компоненты системы (та кие, как поддерживающие функции ОРО) специфицируются по
отдельности.
Четкие отображения между точками зрения необходимы, если процессы идентификации ин
терфейсов и обеспечения прозрачностей должны обеспечиваться автоматически средствами разра
ботки. Например, вычислительный объект может быть реализован как набор связанных инженерных
объектов, но один инженерный объект не может представлять несколько вычислительных объектов;
вычислительный интерфейс не может быть разделен на отдельные инженерные интерфейсы за
исключением случая, когда они связаны функцией дублирования; вычислительные интерфейсы
недвусмысленно идентифицируются инженерными идентификаторами. Ограничения такого вида
позволяют гарантировать, что для обеспечения всего диапазона возможного вычислительного пове
дения будут применимы общие инженерные средства.
Язя иллюстрации характера возможных соответствий предположим, например, что некоторая
спецификация системы может быть представлена как набор взаимодействующих объектов точки
зрения I (VI), как показано на рисунке 10. Та же самая система может быть описана с другой точки
зрения (V2) как другой набор других взаимодействующих объектов V2, что показано на рисунке II.
32
Рисунок 10—Вид VI системыРисунок 11—Вид V2 системы