ГОСТ Р ИСО/МЭК 10746-3-2001

  Категория » Автоматизация производства » Нормативная документация   


ГОСТ Р ИСО/МЭК 10746-3-2001 Управление данными и открытая распределенная обработка.

1. Область применения

В настоящем стандарте:
- определено, как специфицируются системы открытой распределенной обработки (ОРО) с использованием понятий, введенных в ГОСТ Р ИСО/МЭК 10746-2;
- идентифицированы характеристики, по которым системы относятся к системам ОРО.
В стандарте установлен каркас для координации разработки стандартов по системам ОРО.

2. Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты:
ГОСТ Р ИСО/МЭК 7498-1-97. Информационная технология. Взаимосвязь открытых систем. Базовая эталонная модель. Часть 1. Базовая модель.
ГОСТ Р ИСО/МЭК 10746-2-2000. Информационная технология. Открытая распределенная обработка. Часть 2. Базовая модель.
ИСО/МЭК 10181-2-96. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 2. Основы аутентификации.
ИСО/МЭК 10181-3-96. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 3. Управление доступом.
ИСО/МЭК ПМС 10181-4-97. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 4. Неопровержимое получение.
ИСО/МЭК 10181-5-96. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 5. Конфиденциальность.
ИСО/МЭК 10181-6-96. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 6. Целостность.
ИСО/МЭК 10181-7-96. Информационная технология. Взаимосвязь открытых систем. Основы защиты информации для открытых систем. Часть 7. Основы проверки защиты.
ИСО/МЭК 11170-1-96. Информационная технология. Методы безопасности. Административное управление ключом. Часть 1. Основы проверки защиты.

ГОСТ Р ИСО/МЭК 10746-3-2001

3. Определения

В настоящем стандарте используют следующие определения.
3.1 Описательные определения
В настоящем стандарте используют следующие термины, определенные в:
1). ГОСТ Р ИСО/МЭК 7498-1
- синтаксис передачи;
2). ИСО/МЭК 10181-2:
- заявитель;
- обменная информация аутентификации;
- основной;
- доверительная третья сторона;
3). ИСО/МЭК 10181-3:
- информация управления доступом;
- функция решения о доступе;
- функция принудительного доступа;
- инициатор;
- цель;
4). ИСО/МЭК ПМС 10181-4:
- генератор доказательства;
- пользователь доказательства;
- верификатор доказательства;
- источник (неопровержимых данных);
- получатель (неопровержимых данных);
- неопровержимое доказательство;
- запросчик неопровержимой услуги;
- нотариус;
5). ИСО/МЭК 10181-5:
- конфиденциально защищенные данные;
- сокрытие;
- источник;
- получатель;
- вскрытие;
6). ИСО/МЭК 10181-6:
- целостно-защищенные данные;
- источник;
- получатель;
- защищать;
- подтверждать;
7). ИСО/МЭК 10181-7:
- функция сборщика сигналов тревоги;
- функция проверяющего сигналы тревоги;
- функция анализатора проверки следов;
- функция архивиста проверки следов;
- функция записывающего проверки;
- функция исследователя проверок следов;
- функция сборщика проверок следов;
8). ИСО/МЭК 11170-1:
- создание ключа;
- регистрация ключа;
- сертификация ключа;
- дерегистрация ключа;
- распространение ключа;
- сохранение ключа;
- архивация ключа;
- удаление ключа.

4. Общие положения

4.1 Точки зрения

4.1.1 Понятия
4.1.1.1 Предпринимательская точка зрения - точка зрения на систему ОРО и ее среда, которая сфокусирована на назначении, области применения и политике этой системы.
4.1.1.2 Информационная точка зрения - точка зрения на систему ОРО и ее среда, которая сфокусирована на семантике и обработке информации.
4.1.1.3 Вычислительная точка зрения - точка зрения на систему ОРО и ее среда, которая позволяет ее распределить путем функциональной декомпозиции на объекты, взаимодействующие через интерфейсы.
4.1.1.4 Инженерная точка зрения - точка зрения на систему ОРО и ее среда, которая сфокусирована на механизмах и функциях, требуемых для обеспечения распределенного взаимодействия между объектами в системе.
4.1.1.5 Технологическая точка зрения - точка зрения на систему ОРО и ее среду, которая сфокусирована на выборе технологии в этой системе.
4.1.2 Использование точек зрения
Перечисленные выше точки зрения были выбраны как необходимый и достаточный набор для удовлетворения потребностей стандартов ОРО. С этих точек зрения может рассматриваться на соответствующем уровне абстракции вся система ОРО, и в этом случае среда определяет контекст, в котором работает система ОРО. С этих же точек зрения могут рассматриваться и отдельные компоненты системы ОРО.

Примечание - процесс абстрагирования может быть таким, что среда системы и оставшиеся компоненты объединяются в единый объект.

ГОСТ Р ИСО/МЭК 10746-3-2001

4.2 Языки точек зрения ОРО
4.2.1 Понятие
4.2.1.1 Язык - определения понятий и правил для спецификации системы ОРО с данной точки зрения; например, инженерный язык - определения понятий и правил для спецификации системы ОРО с инженерной точки зрения.
4.2.2 Использование языков точек зрения
В настоящей базовой модели определен набор из пяти языков, каждый из которых соответствует одной из определенных в 4.1.1 точек зрения. Каждый язык используют для спецификации системы ОРО с соответствующей точки зрения. Этими языками являются:
- предпринимательский язык (определенный в разделе 5);
- информационный язык (определенный в разделе 6);
- вычислительный язык (определенный в разделе 7);
- инженерный язык (определенный в разделе 8);
- технологический язык (определенный в разделе 9).
Каждый язык использует понятия из ГОСТ Р ИСО/МЭК 10746-2 и вводит уточнения этих понятий, предписывающие правила и дополнительные, специфические для данной точки зрения, понятия, относящиеся к природе рассматриваемых спецификаций. Указанные дополнительные понятия, в свою очередь, определяются с использованием понятий ГОСТ Р ИСО/МЭК 10746-2.
Спецификация системы включает в себя спецификации одной или нескольких точек зрения. Эти спецификации должны быть взаимно согласованными. Правила для согласования структур спецификаций точек зрения приведены в разделе 10. Спецификатор должен продемонстрировать каким-либо образом, что термины в спецификациях используются согласованно. Спецификация системы, использующая спецификации нескольких точек зрения, часто ограничивает реализаторов в большей степени, чем спецификация, использующая меньше точек зрения. Объекты, идентифицированные с одной точки зрения, могут быть специфицированы с использованием языка этой или другой точки зрения. Для достижения взаимной согласованности набора спецификаций точек зрения не обязательно полностью специфицировать объект с каждой точки зрения.

Примечания:
1. Список терминов, заимствованных из ГОСТ Р ИСО/МЭК 10746-2, приведен в этом ГОСТе.
2. Квалификация термина из ГОСТ Р ИСО/МЭК 10746-2 названием точки зрения (например, "вычислительный объект") интерпретируется как использование термина из ГОСТ Р ИСО/МЭК 10746-2, дополнительные положения для которого заданы в языке указанной точки зрения.
3. Использование неквалифицированного термина из ГОСТ Р ИСО/МЭК 10746-2 в спецификации точки зрения (например, "интерфейс") интерпретируется как термин, квалифицированный названием точки зрения (например, "вычислительный интерфейс"), если соответствующий язык точки зрения устанавливает дополнительные ограничения для этого термина.


4.3 Функции ОРО
4.3.1 Функция ОРО - функция, необходимая для обеспечения открытой распределенной обработки.
4.3.2 Использование функций ОРО
В настоящей базовой модели, в разделах 11-15, специфицированы функции, требуемые для обеспечения ОРО.
Описание каждой функции ОРО содержит:
- объяснение использования функции для открытой распределительной обработки;
- предписывающие утверждения о структуре и поведении функции, достаточные для того, чтобы гарантировать общую целостность базовой модели;
- утверждение о других функциях ОРО, от которых зависит данная.

5. Предпринимательский язык

Предпринимательский язык включает в себя понятия, правила и структуры для спецификации системы ОРО с предпринимательской точки зрения. Предпринимательская спецификация определяет назначение, область применения и политику системы ОРО. В данной базовой модели предписание предпринимательской точки зрения ограничено небольшим основным набором понятий и правил, относящихся к области применения и характеру предпринимательских спецификаций.
5.1 Понятия
Предпринимательский язык содержит понятия ГОСТ Р ИСО/МЭК 10746-2 и настоящего стандарта, подчиняющиеся правилам 5.2.
5.1.1 Общность - конфигурация объектов, образованная для достижения цели. Цель формулируется в виде контракта, который задает, как цель может быть достигнута.
5.1.2 федерация - общность областей.
5.2 Структурирующие правила
Предпринимательская спецификация определяет, а предпринимательский язык должен позволять выразить цель, область применения и политику системы ОРО в терминах каждого из следующих элементов:
- ролей, исполняемых системой;
- деятельностей, предпринимаемых системой;
- утверждений о политике системы, включая относящиеся к контрактам среды.
В предпринимательской спецификации система ОРО и среда, в которой она работает, представляются как общность. На некотором уровне описания система ОРО представляется как предпринимательский объект в общности. Цели и область применения системы ОРО определяются в терминах ролей, исполняемых ею в общности, частью которой она является, и утверждений о политике относительно этих ролей. Общность определяется в терминах каждого из следующих элементов:
- предпринимательских объектов, входящих в общность;
- ролей, исполняемых каждым из этих объектов;
- политики, управляющей взаимодействием между предпринимательскими объектами;
- политики, управляющей созданием, использованием и удалением ресурсов предпринимательскими объектами;
- политики, управляющей конфигурацией предпринимательских объектов и назначением им ролей;
- политики, относящейся к контрактам среды, управляющим системой.

ГОСТ Р ИСО/МЭК 10746-3-2001

6. Информационный язык

Информационный язык охватывает понятия, правила и структуры для спецификации системы ОРО с информационной точки зрения. Информационная спецификация определяет семантику информации и семантику обработки информации в системе ОРО. В настоящей базовой модели предписание с информационной точки зрения ограничено небольшим основным набором понятий и правил, ориентированных на область применения и характер информационных спецификаций.
6.1 Понятия
Информационный язык содержит понятия ГОСТ Р ИСО/МЭК 10746-2 и настоящего стандарта, подчиняющиеся правилам 6.2.
6.1.1 Инвариантная схема - набор предикатов об одном или нескольких информационных объектах, которые всегда должны быть истинны. Предикаты ограничивают возможные состояния и изменения состояний объектов, к которым они применяются.

Примечание - таким образом, инвариантная схема является спецификацией типов одного или нескольких информационных объектов, которая всегда должна удовлетворять при любом поведении объектов.

6.1.2 Статическая схема - спецификация состояния (в некоторый момент времени) одного или нескольких информационных объектов, удовлетворяющих ограничениям всех инвариантных схем.

Примечание - таким образом, статическая схема является спецификацией типов одного или нескольких информационных объектов в некоторый момент времени. Эти типы являются подтипами заданных инвариантов схемы типов.

6.1.3 Динамическая схема - спецификация допустимых изменений состояний одного или нескольких информационных объектов, удовлетворяющих ограничениям всех инвариантных схем.

Примечания:
1. Поведение в информационной системе может моделироваться как переход от одной статической схемы к другой, т.е. как изменение классов экземпляров с одного типа на другой.
2. В информационном языке изменение состояния, в котором участвует несколько объектов, может рассматриваться как взаимодействие между этими объектами. Не все объекты, участвующие во взаимодействии, обязательно изменяют состояние; некоторые объекты могут быть вовлечены во взаимодействие "только для чтения".


6.2 Структурирующие правила
Информационная спецификация определяет семантику информации и семантику обработки информации в системе ОРО в терминах конфигурации информационных объектов, поведения этих объектов и контрактов среды для системы.
Шаблон информационного объекта ссылается на статическую, инвариантную и динамическую схемы. Взаимосвязи между информационными объектами могут моделироваться как часть состояний этих информационных объектов. Информационные объекты являются либо элементарными, либо представлены как композиция других информационных объектов. Состояние составного объекта представляется комбинацией состояний его компонентов. Шаблон элементарного информационного объекта представляет понятие, для которого нет модели на некотором конкретном уровне абстракции. Составной информационный объект представляет производное понятие, выраженное в терминах других понятий. Так как композиция объектов включает в себя их обособление, то информационный объект, являющийся компонентом одного составного объекта, не может быть компонентом другого. Следовательно, информационные объекты, получающиеся в результате реализации шаблона составного информационного объекта, существуют только как часть реализованного составного объекта и не имеют смысла вне его.
Допустимые изменения состояний, заданные динамической схемой, могут включать в себя создание новых информационных объектов и удаление информационных объектов, задействованных в динамической схеме. Допустимые изменения состояний могут быть предметом упорядочения и временных ограничений.

Примечание - результат достижения состояния одним или несколькими информационными объектами может моделироваться как создание нового информационного объекта.

В информационной спецификации конфигурации информационных объектов и их поведение не обязательно должны быть пригодны для распределения (т.е. не обязательно должна существовать некоторая концепция отказа или размещения информационных взаимодействий).

Примечание - если информационная нотация использует понятие интерфейса, то ни один из определенных интерфейсов не может сам являться опорной точкой; таким образом, нет привязки к интерфейсам, появляющимся в реализации.

6.3 Соответствие и опорные точки
Утверждения соответствия в информационных спецификациях требуют, чтобы поведение системы ОРО соответствовало конкретному набору инвариантных, статических и динамических схем. Реализатор, декларирующий соответствие, должен перечислить инженерные опорные точки, которые дают доступ к системе, и инженерные и вычислительные спецификации, которые в этих точках применимы.
Тем самым идентифицированные опорные точки становятся точками соответствия. Взаимодействия в этих точках соответствия могут быть затем интерпретированы в терминах информационного языка для проверки того, что они согласуются с инвариантными, статическими и динамическими схемами. Информационные спецификации могут применяться для всех четырех классов опорных точек (программируемых, воспринимаемых, взаимодействия и обмена), идентифицированных в ГОСТ Р ИСО/МЭК 10746-2.

10746-3-2001.pdf [794.47 Kb]



Вы можете сохранить эту статью:

ГОСТ Р ИСО/МЭК 10746-3-2001

из категории » Нормативная документация »  в сервисах:



Просто нажмите на кнопку нужного Вам сервиса и данная статья будет сохранена.

Дополнительная информация по теме:

ГОСТ Р ИСО/МЭК 8824-3-2002 ГОСТ Р ИСО/МЭК 8824-3-2002

ГОСТ Р ИСО/МЭК 8824-3-2002 Информационная технология. Абстрактная синтаксическая нотация версии один. Настоящий стандарт содержит полный аутентичный текст международного стандарта ИСО/МЭК 8824-3-98 "Информационная технология. Абстрактная синтактическая нотация версии один (АСН. 1). Часть 3. Специфик ...

ГОСТ Р 54008-2010 ГОСТ Р 54008-2010

Настоящий стандарт устанавливает схемы декларирования соответствия, их типовой состав, содержание и применение. Стандарт распространяется на декларирование соответствия при обязательном подтверждении соответствия продукции установленным требованиям. Стандарт предназначен для разработчиков технически ...

ГОСТ 34.320-96 ГОСТ 34.320-96

ГОСТ 34.320-96. Информационные технологии. Система стандартов по базам данных. Концепции и терминология для концептуальной схемы и информационной базы. Настоящий стандарт устанавливает основные понятия и термины концептуальных схем и информационных баз, охватывающие разработку, описание и приме ...

ГОСТ 19.202-78 ГОСТ 19.202-78

Настоящий стандарт устанавливает форму и порядок составления программного документа “Спецификация“. Спецификация является основным программным документом для компонентов, применяемых самостоятельно, и для комплексов“.Структура и оформление документа устанавливаются в соответствии с ГОСТ 19.105-78. И ...

ГОСТ Р МЭК 61032-2000 ГОСТ Р МЭК 61032-2000

ГОСТ Р МЭК 61032-2000. Защита людей и оборудования, обеспечиваемая оболочками. Щупы испытательные. Настоящий стандарт устанавливает элементы и размеры испытательных щупов, предназначенных для проверки защиты, обеспечиваемой оболочками, с точки зрения защиты людей от доступа к опасным частям внутри о ...


Для поиска по всем категориям нашего сайта рекомендуем Вам пройти авторизацию либо зарегистрироваться.

Яндекс.Метрика Rambler's Top100 Рейтинг@Mail.ru   "СМАРТ Системы"      © 2007-2016 Все права защищены.