ГОСТ Р ИСО/МЭК 10746-4-2004
действия, т. е. они не требуют участия объектов среды. Получившийся в результате текст Z.
представляющий данный объект, является шаблоном интерфейса. Любой экземпляр шаблона ин
терфейса ямяется интерфейсом.
4.4.1.5 Деятельность
Понятие деятельности как однонаправленного ациклического графа действий непосредственно
не существует в языке Z. Однако понятие деятельности может быть смоделировано путем некоторого
расширения, а именно с помощью записи, что если действие л-предшествует действию у в некоторой
деятельности, то постусловие действия х должно удовлетворять предусловию для действия у.
4.4.1.6 Повескние (объекта)
Поведение объекта в данном состоянии является множеством всех возможных деятельностей,
которые могут быть осуществлены из этого состояния. Фактическая последовательность действий,
которые могут произойти, может зависеть от азняния среды объекта и ограничений, выраженных в
предусловиях.
4.4.1.7 Состояние (объекта)
Значения используемых для вычисления предусловий переменных состояния, объявленных в
ассоциированной (ых) с шаблоном объекта схема (ы) состояния.
4.4.1.8 Коммуникация
Коммуникация может быть смоделирована в Z через ввод и вывод операций. Обычно вводы/вы-
воды операционных схем рассматриваются как коммуникации со средой объекта. Так как коммуни
кация осуществляется между объектами, то для моделирования коммуникации должна быть
специфицирована среда объекта (см. 4.4.1.2). Тогда коммуникация получается с помощью первона
чальной нормализации операционных схем, ассоциированных со взаимодействующими объектами и
последующего их соединения, при котором вывод одной схемы операции переименовывается во ввод
другой. Такое моделирование коммуникации требует, чтобы вводы и выводы соответствующих схем
операции были одного типа.
Альтернативно коммуникации могут быть предстааэены появлением схем операций, ссылаю
щихся на глобазьпые для спецификации переменные; при этом значения глобальных переменных
после появления операции будут переданы всем другим ссылающимся на эти переменные схема.»
операций.
4.4.1.9 Положение в прост/юнстве
Понятие пространства в Z не рассматривается. Положение в пространстве, в котором проис
ходит действие, может быть задано в Z в терминах модели спецификации, а не в терминах реальной
моделируемой системы. Таким образом, положение в пространстве может быть введено как тип Z.
Если это сделано, то могут быть специфицированы отношения, связывающие схемы операций с
положениями в пространстве. Тогда можно будет говорить о положениях в пространстве, в которых
происходят действия.
4.4.1.10 /7аюжение во времени
Понятие времени в Z не рассматривается. Положение во времени, в котором происходит
действие, может быть задано в Z в терминах модели спецификации, а не в терминах реальной
моделируемой системы. Таким образом, положение во времени может быть введено как тип Z,
который может быть связан с данными действиями, например, некоторым отношением. Если это
сделать, то можно будет количественно определять моменты времени, когда могут произойти
действия.
4.4.1.11 Точка взаимодействия
Понятие точки взаимодействия зависит от взаимодействия и положений в пространстве и
времени (см. 4.4.1.3, 4.4.1.9 и 4.4.1.10).
4.4.2 С п е ц и ф и ц и р у ю щ и е п о н я т и я
4.4.2.1 Композиция
Композиция объектов - композиция объектов не обеспечивается явным образом в языке Z, так
как в нем, кроме всего прочего, отсутствует инкапсуляция. Однако некоторые характеристики
композиции можно смоделировать, включая в схему и переопределяя операции с помощью продви
жения.
Композиция поведений —так как поведение в самом вырожденном случае может рассматри
ваться как действие, а действие в Z является осуществлением операции, определенной схемой
операции, то композиция действий соответствует в Z комбинации схем операций. Схемы операций
могут быть скомбинированы несколькими способами как:
- схема вычисления,
22