ГОСТ Р ИСО/МЭК 10746-3-2001 Информационная технология (ИТ). Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 3. Архитектура

     6.1 Понятия

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

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

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

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

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

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

Примечания

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

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