ГОСТ Р ИСО/МЭК 10746-1-2004
схема может быть использована для описания того, что сумма расходов за день равна 0$ каждую
полночь; эта статическая схема не устанавливает ограничений на текущий счет в полночь.
Динамическая схема устанавливает, как может эволюционировать информация по мерс работы
системы. Например, для банковского счета требуются динамические схемы для депозита, расходов,
оплаты и изменения вкладов. Динамическая схема может быть применена только при определенных
обстоятельствах (которые м о т быть специфицированы с помощью статической схемы). Например,
динамическая схема для расхода NS может устанавливать, что текущий счет уменьшается на NS при
условии, что общее количество расходов не превышает 500$. Динамическая схема не может специ
фицировать получающееся состояние, которое нарушает инвариантные ограничения, т. е. могут рас
ходоваться только деньги со счета.
В дополнение к описанным изменениях* состояния динамическая схема может создавать и
удалять объекты-компоненты. Это позволяет всю информационную спецификацию системы ОРО
моделировать как один (составной) информационный объект.
Эти схемы могут применяться ко всей системе или к отдельным областям внутри нее. В частно
сти, в больших и быстро эволюционирующих системах согласование и образование федераций от
дельных информационных областей будет одной из больших задач, которые необходимо решать
для административного управления информацией.
Схемы для составных информационных объектов не обязательно должны относиться ко всем
компонентам информационного объекта. Эти схемы могут быть состаатены из схем отдельных ком
понентов при условии, что такая композиция имеет ехшел. Инкапсуляция информационных объек
тов связана с уровнем абстракции рассматриваемого описания. Например, на подходящем уровне
абстракции схемы для составных информационных объектов могут относиться к внутреннему стро
ению их компонентов, хотя на более высоком уровне абстракции это может быть невозможным. Тем
самым допускается спецификация таких сложных фраз, как «телефонный номер клиента, расходы
которого сегодня превысили 400$».
Некоторые элементы, видимые с предпринимательской точки зрения, могут быть видны и с
информационной точки зрения, и наоборот. Например, деятельность, видимая с предпринима
тельской точки зрения, может проявляться в информационной точке зрения как спецификация
некоторой обработки, которая вызывает переход состояния информационной категории.
Разные нотации для информационных спецификаций моделируют свойства информации раз
ными способами. Основное внимание может уделяться классификации и переклассификации типов
информации или состояниям и поведению объектов. Внекоторых языках спецификаций элементар
ные информационные объекты представляются как значения. Применяемые подходы зависят от
метода моделирования и используемой нотации.
Оценка соответствия системы информационной спецификации включает в себя соотнесение
выраженных в спецификации требований (например, в инвариантной схеме) с набором наблюде
ний поведения системы в точках соответствия, идентифицированных в инженерной и технологи
ческой спецификациях, и оценку степени согласованности между требованиями и наблюдениями.
8.4 Вычислительный язык
Вычислительная точка зрения сконцентрирована непосредственно на распределении обработ
ки, но не на методах взаимодействия, которые позволяют осуществить распределение. Вычисли
тельная спецификация разлагает систему на объекты, выполняющие отдельные функции и
взаимо действующие через четко определенные интерфейсы. Это обеспечивает основу для
рассмотрения того, как распределить работу, которая должна быть выполнена, так как
интерфейсы могут быть распределены независимо при условии, что в инженерной спецификации
могут быть определены методы коммуникации для обеспечения поведения в этих интерфейсах.
Сердцевиной вычислительного языка является модель объекта, определяющая:
- вид интерфейса, который может иметь объект;
- способы, которыми интерфейсы могут быть связаны, и виды взаимодействий, которые мо
гут через них происходить;
- действия, которые может осущесгатятъ объект; в частности, создание новых объектов и
интерфейсов и установление связывания.
Вычислительная модель объекта обеспечивает основу для гарантии того, что языки специфи
каций, языки программирования и методы коммуникации являются согласованными, обеспечивая
тем самым открытое взаимодействие и переносимость компонентов.
(.•
19