ГОСТ Р ИСО/МЭК 10746-3-2001
9.1.3 ДИТР —дополнительная информация для тестирования реализации.
9.2 Структурирующие правила
Технологическая спецификация определяет выбранную технологию ОРО в терминах:
- конфигурации технологических объектов и
- интерфейсов между ними.
Технологическая спецификация:
- выражает то. как реализуются спецификации системы ОРО;
- идентифицирует для технологии спецификации, относящиеся к конструкции систем ОРО;
- предоставляет таксономию для таких спецификаций;
- спеиифиинрует информацию, требуемую от реализаторов для обеспечения тестирования.
При применении спецификации, написанной на языке другой точки зрения, технологическая
спецификация строится так, чтобы дать интерпретацию элементарных терминов спецификаций
других точек зрения.
Технологическая спецификация для функции ОРО может ссылаться на спецификации для
других функций ОРО.
Технологическая спецификация состоит из утверждений о том, что технологические объекты
являются экземплярами названных реализуемых стандартов.
Технологическая спецификация дает форму ДИ’ГР. перечисляя требуемый набор шаблонов и
описательных имен для всех необходимых опорных точек.
Все реализуемые стандарты вводятся через ссылки на другие спецификации. Технологический
язык не определяет каких-либо других правил, ограничивающих поведение технологических объек
тов или создающих реализуемые стандарты.
9.3 Соответствие и опорные точки
Технологический язык используют дтя утверждений, что технологические объекты являются
экземплярами реализуемых стандартов; эти стандарты, в общем случае, содержат требования соот
ветствия.
10 Правила согласования
Набор спецификаций системы ОРО. написанных на языках различных точек зрения, не должен
содержать взаимно противоречивых утверждений (см. 4.2.2), т.е. они должны быть взаимно согла
сованными. Таким образом, полная спецификация системы включает в себя утверждения соответ
ствия между терминами и языками, образующими связь спецификаций одной точки зрения со
спецификацией другой точки зрения и показывающими, что требования согласованности удовле
творены. Минимальные требования согласованности набора спецификаций для системы ОРО со
стоят в гом. что они должны демонстрировать соответствия, определенные в настоящей базовой
модели и в самом наборе спецификаций. Настоящая базовая модель не декларирует родовых
соответствий между всеми парами языков точек зрения. В данном разделе ограничиваются специ
фикации соответствия между вычислительной и информационной спецификациями и между вы
числительной и инженерной спецификациями. В любом случае соответствия выражаются как
интерпретации взаимосвязей терминов в языке одной точки зрения с терминами в языке другой.
Набор спецификаций, основанных на настоящей модели, должен, в общем случае, связывать
спецификации со всех точек зрения.
Ключом к согласованности является идея соответствия между спецификациями, т.е., утверж
дение, что некоторые термины или структуры в одной спецификации соответствуют других! терми
нам или структурам во второй. Соответствие может быть установлено между двумя разными
спецификациями на одном языке или на двух разных языках. Утверждения о соответствии двух
языков подразумевают эквивалентные соответствия между парой спецификаций, выражающих эти
языки.
Анализ согласованности зависит от применения конкретных методов согласования. Большин
ство из них основано на проверке конкретных видов несогласованности и, таким образом, не могут
служить доказательством абсолютной согласованности. Один вид согласования привлекает набор
правил соответствия для управления преобразованием одного языка в другой. Так, для заданных
спецификации Si на языке точки зрения 1_| и спецификации S; на языке точки зрения L>, где S, и
S, специфицируют одну и ту же систему, к S, может быть применено преобразование Т, приводящее к
новой спецификации T(S,) на языке точки зрения L,, которая может непосредственно сравниваться
29