ГОСТ Р ИСО/МЭК 10746-4-2004
пает из среды. Вывод объекта идет и среду. Среда объекта может быть специфицирована непосред
ственно или оставлена неспецифицированной. Если она не специфицирована, то появление схем
операций, производящих вывод или требующих ввода, может произойти со средой, производящей
ввод или получающей вывод, соответственно. Если же среда объекта специфицирована, то этим
подразумевается, что для каждой связанной с объектом схемы операций существует другая схема
операций (возможно, связанная с другим объектом), которая требует вводов и выводов того же самого
типа, что и рассматриваемый объект. Эти две схемы операций сопрягаются друг с другом и ввод/вывод
рассматриваемой операции переименовывается в вывод/ввод операции, представляющей среду.
Среда объекта может быть задана переменными, на которые ссылается объект, имеющий
глобальную область действия, например так происходит в аксиоматических описаниях.
4.4.1.3 Действие
Действие моделируется в Z осуществлением операции, специфицированной в схеме операций.
Результатом является осуществление изменений (или нулевых изменений) в состояниях объектов,
с которыми ассоциировано действие. Действие может привести к недетерминированному результату.
Гак как в Z нет явной нотации для инкапсуляции, то обычно в Z не определено, яазяется
действие наблюдаемым или внутренним, следовательно, различия между взаимодействиями и внут
ренними действиями не определено явно. В настоящем стандарте используется соглашение, что
схема операций, представляющая действие, которое имеет ввод, вывод или глобальные переменные,
специфицирует взаимодействие со средой. Среда может быть задана или нет (см. 4.4.1.2). Действия,
требующие ввода от неспецифицированной среды и не дающие выводов, могут рассматриваться как
вызываемые инешне ненаблюдаемые действия. Действия, дающие вывод в неспецифицированную
среду, могут рассматриваться как вызываемые внутренние (спонтанные) наблюдаемые действия.
Действия, требующие ввода от неспецифицированной среды и дающие вывод в эту среду, могут
рассматриваться как вызываемые внешне наблюдаемые действия.
Если среда объекта специфицирована, то это подразумевает, что для каждой схемы операции,
требующей вводов и выводов, которые ассоциированы с интерфейсом объекта, т. е. для наблюдае
мого действия, существует другая схема операции (возможно, ассоциированная с другим объектом),
которая требует вводов и выводов того же типа, что и для рассматриваемого объекта. При соотне
сении этих двух схем операций вводы/выводы рассматриваемой операции переименовываются в
вывод/вводы операции, предстаазяющей среду.
Появление операций, ссылающихся на глобальные для спецификации переменные, можно
рассматривать как взаимодействия.
Все операции в Z яазяются элементарными: схемы операции в Z либо осущестазяются пазиос
тью, либо не осущестазяются совсем. Следовательно, в Z невозможны действия, не являющиеся
элементарными.
Объект, взаимодействующий сам с собой, неформально может быть смоделирован компози
цией схем операций Z. Например, операция ОрЛ с выводом а.’:А может быть скомпонована с
операцией ОрВ с вводом Ь?:А и дополнена предикатом конъюнкции, устанавливающим, что а! = Ь?.
В Z понятие взаимоотношения причины и результата не является строгим. Однако, если
операция для своего осуществления требует ввода, то это можно рассматривать как то, что среда
яазяется причиной осущестазения операции, т. е. среда действует как пронзвод»ггель, а схема
опе/юции —как потребитель. Аналогично, если схема операции создает вывод, то можно считать, что
среда действует как потребитель, а операция —как производитель. Если данная схема операции
требует ввода и дает вывод или не имеет ни ввода, ни вывода, то для конкретного действия нельзя
установить отношение причины и результата.
П р и м е ч а н и е —Следует отмстить, что приведенное синтаксическое соглашение для различия внут
ренних и наблюдаемых действий является ограниченным, так как нет семантического различия между опера
циями. которые должны интерпретироваться как спонтанные или внутренние, и операциями, которые требуют
участия среды; различие может быть устаноатсно только в комментариях на естественном языке, которые
должны сопровождать спецификации на Z. Как следствие этою, приведенное выше определение трактует
потерянную очередь как подтип очереди. Ясно, что введенная дополнительная (потерянная) операция над
потерянной очередью будет вести себя недстсрминировано.
4.4.1.4 Интерфейс
Абстракция повеления объекта, полученная путем идентификации операций, ассоциированных
с тем объектом, который образует основу для интерфейса. Во всех остальных схемах операций все
вводы и выводы скрыты, и появление определенных в них операций рассматривается как внутренние
21