ГОСТ Р ИСО/МЭК 10746-4-2004
4.1.2.24 Постусловие
В LOTOS осуществление действия зависит от состояния системы после осуществления дейст
вия. Таким образам, LOTOS не предоставляетсредства для непосредственного выражения постусловий.
4.2 Архитектурная семантика в ACT ONE
В настоящем разделе приведена формализация основных моделирующих и специфицирующих
понятий, установленных в ГОСТ Р ИСО/МЭК 10746-2. Хотя конструкция ACT ONE не является
ЯФС, она используется в стандартизованных ЯФС LOTOS и SDL и предоставляет альтернативную
возможность формализации указанных выше понятий. Поэтому формализация на ACT ONE поня
тий, установленных в ГОС! Р ИСО/МЭК 10746-2, приводится в отдельном разделе.
4.2.1 О с н о в н ы е м о д е л и р у ю щ и е п о н я т и я
4.2.1.1 Объект
Экземпляр сорта, который может быть однозначно указан. Следует отметить, что объекты,
моделируемые таким способом, должны быть специфицированы таким образом, чтобы они имели
некоторую форму существования. Это может быть достигнуто использованием алгебраического
стиля спецификации. Примеры такого стиля включают в себя рекурсию в определениях процессов,
когда объект является элементом списка точений параметров связанного с этим определением
процесса. Альтернативнодля моделирования объектов с формой существования могут использоваться
разделы let .. . in. В обоих стилях требуются предохранители и предикаты выбора для гарантии того,
что реализации определений сорта являются уникальными.
4.2.1.2 Среда (объекта)
ВACT ONE среда объекта не обеспечивается. Это понятие может рассматриваться только через
алгебру обработки и выражения ACT ONE. В результате среда объекта может рассматриваться как
вся алгебра обработки, отличная от выражений ACT ONE, представляющих рассматриваемый
объект, и от операций на этом объекте. Таким образом, среда используется как причина осущест
вления операций на объекте. Такое понятие среды не требует, чтобы опе/>ации на объекте вызывались
другими объектами. Следствием этого является такое понятие, как взаимодействие, т. е. здесь взаимо
действие происходит не между объектами, а между объектом и некоторым внешним агентомалгеброй
обработки.
4.2.1.3 Действие
Осуществление операции. Следует заметить, что это справедливо только в общем случае, так
как нет существенного различия между взаимодействием и внутренним действием с позиций только
ACT ONE. Л именно, возможные действия моделируются операциями в сигнатуре сорта ACT
ONE, и они могут происходить или не происходить в зависимости от выражений ACT ONE.
существующих в алгебре обработки. Таким образом, внутренние действия не обеспечиваются явным
образом в ACT ONE. Однако возможны случаи, когда внутреннее действие может моделироваться
определенными локально в алгебре обработки сортами. Альтернативно псе операции,
объявленные в алгебре обра ботки. могут трактоваться как взаимодействия. Операции,
используемые для удовлетворения таких операций, т. е. уравнения, связанные с рассматриваемыми
операциями, могут трактоваться как внут ренние действия. Например, если процесс вызывает
операция) /юр2. которая удаляет два элемента из очереди, а она в связанных с нею уравнениях
дважды использует операцию pop. то рор2 может
трактоваться как взаимодействие, a pop — как внутреннее действие. Однако при такой трактовке
внутренних действий проблема заключается в том, что нет понятия спонтанного перехода как
такового, например как для экземпляра с символом внутреннего события i в азгебре обработки.
Следует отметить, что в таком виде взаимодействия не требуется, чтобы два или более объектов
взаимодействовали в смысле алгебры обработки, т. е. через синхронизацию в общих воротах. Здесь
взаимодействие может быть интерпретировано как нечто, что вызвано коспенно средой, а не
обязательно объектом, т. е. не другим экземпляром сорта, моделирующего объект. Таким образом,
возможен случай, когда появление предложения события, которое не содержит выражений ACT
ONE. вызывает осуществление взаимодействия, например появление предложения события, при
водящего к реализации определения процесса, список значений параиетров которого содержит операцию
(взаимодействие) на объекте (или объектах).
4.2.1.4 Интерфейс
Операции и уравнения, связанные с объектом.
4.2.1.5 Деяте,гьность
Последовательность применения операций на данном сорте. Эти операции должны удовлетво
рять уравнениям, связанным с сортом. Каждая операция в последовательности встретившихся опера
ций. т. е. каждая операция в активности должна иметь предусловия, которые удовлетворяют
9