ГОСТ I» ИСО/МЭК 10746-3-2001
В настоящей базовой модели предписание с информационной точки зрения ограничено не
большим основным набором понятий и правил, ориентированных на область применения и характер
информационных спецификаций.
6.1 Понятия
Информационный язык содержит понятия ГОСТ Р ИСО/МЭК 10746-2 и настоящего стандар
та, подчиняющиеся правилам 6.2.
6.1.1 Инвариантная схема —набор предикатов об одном или нескольких информационных
объектах, которые всегда должны быть истинны. Предикаты ограничивают возможные состояния и
изменения состояний объектов, к которым они применяются.
П р и м е ч а н и е —Таким образом, инвариантная схема является спецификацией типов одного или
нескольких информационных объектов, которая всегда должна удовлетворять при любом поведении
объектов.
6.1.2 Статическая схема —спецификация состояния (в некоторый момент времени) одного
или нескольких информационных объектов, удовлетворяющих ограничениям всех инвариантных
схем.
П р и мс ч а н и с —Таким образом, статическая схема является спецификацией типов одною или
нескольких информационных объектов в некоторый момент времени. Эти типы являются подтипами заданных
инвариантов схемы типов.
6.1.3 Динамическая схема —спецификация допустимых изменений состояний одного или
нескольких информационных объектов, удовлетворяющих ограничениям всех инвариантных схем.
П р и м е ч а н и я
1 Поведение в информационной системе может моделироваться как переходот одной статической схемы
к другой, т. е. как изменение классов экземпляров с одного типа па другой.
2 В информационном языке изменение состояния, в котором участвует несколько обьсктов. может
рассматриваться как взаимодействие междуэтими объектами. Нс всеобъекты, участвующие во взаимодействии,
обязательно изменяют состояние: некоторые объекты могут быть вовлечены во взаимодействие «только для
чтения».
6.2 Структурирующие правила
Информационная спецификация определяет семантику информации и семантику обработки
информации в системе ОРО в терминах конфигурации информационных объектов, поведения этих
объектов и контрактов среды для системы.
Шаблон информационного объекта ссылается на статическую, инвариантную и динамическую
схемы. Взаимосвязи между информационными объектами могут моделироваться как часть состоя
ний этих информационных объектов. Информационные объекты являются либо элементарными,
либо представлены как композиция других информационных объектов. Состояние составного объ
екта представляется комбинацией состояний его компонентов. Шаблон элементарного информаци
онного объекта представляет понятие, для которого нет модели на некотором конкретном уровне
абстракции. Составной информационный объект предстааляет производное понятие, выраженное в
терминах других понятий. Гак как композиция объектов включает в себя их обособление, то
информационный объект, являющийся компонентом одного составного объекта, не может быть
компонентом другого. Следовательно, информационные объекты, получающиеся в результате реа
лизации шаблона составного информационного объекта, существуют только как часть реализован
ного составного объекта и не имеют смысла вне его.
Допустимые изменения состояний, заданные динамической схемой, могут включать в себя
создание новых информационных объектов и удаление информационных объектов, задействован
ных в динамической схеме. Допустимые изменения состояний могут быть предметом упорядочения и
временных ограничений.
П р и м е ч а н и е 1—Результат постижении состояния одним или несколькими информационными
объектами может моделироваться как создание нового информационного объекта.
В информационной спецификации конфигурации информационных объектов и их поведение
не обязательно должны быть пригодны для распределения (т. е. не обязательно должна существовать
некоторая концепция отказа или размещения информационных взаимодействий).
П р и м е ч а н и е 2 —Если информационная нотация использует понятие интерфейса, то ни один из
определенных интерфейсов нс может сам являться опорной точкой; таким образом, нет привязки к ин терфей
сам. появляющимся в реализации.
к