ГОС! Р ИСО/МЭК 10746-4-2004
Т а 6 л и и а 2 —Интерфейсы объекта
1
Иитср<||с>’ схарактеризуется:
Вил объект*
Система
- воротами системы с их списками сигналов
- вхолнымм/выходными каналами с их списками сигналов
Б.юк
- воротами шока с их списками сигналов
- входными/выходными каналами с их списками сигналов
- входными/выходными путями сигнаюв с их списками сигналов
- набором (лкспортированных/импортированных) удаленных процедур
- набором (зкепортированных/импартированных) удаленных переменных
Процесс
- воротами процесса с их списками сигнаюв
- набором всех допустимых входных/выходных сигнаюв
- набором всех экспортированных/импортироваиных процедур
- набором (обнаруженных/видимых) разделяемых переменных
Услуга
- воротами услуги с их списками сигналов
- набором всех допустимых входных/выходных сигнаюв
- набором всех экспортированных/импортированных процедур
- идентификацией таймера
- наборами всех сигнаюв. передаваемых в каждом направлении
Таймер
Канал
Сигнальный путь
- наборами всех сигналов, передаваемых в каждом направлении
4.3.1.5 Деятельность
В общем случае деятельность не может быть обозначена явно, так как она может охватывать
несколько объектов.
Одним из частных случаев деятельности является выполнение локальной или удаленной проце
дуры с действием вызов в начале деятельности и потенциальными действиями возврата в конце.
4.3.1.6 Поведение (объекта)
Поведение процесса/услуги яаляется множеством всех переходов этого (ой) процесса/услуги.
Действия ввести дают ограничения на обстоятельства, при которых могут происходить переходы.
Дополнительные ограничения могут быть введены с помощью конструкций обеспечить и непрерыв
ный сигнал. Объект может демонстрировать недетерминированное поведение.
Поведение блока собирается из повелений содержащихся в нем процессов. Поведение системы
собирается из поведений содержащихся в ней блоков.
Поведением капаю или сигнального пути яаляется перенос сигналов (немедленный или с
задержкой).
В SDL поведение таймера является предопределенным всмысле работы в качестве будильника.
4.3.1.7 Состояние (объекта)
Множество всех последовательностей действий, в которых может участвовать объект, в данный
момент времени для процесса или услуги определяется текущим состоянием SDL в это время,
значениями локальных переменных и содержимым ачодного порта.
Состоянием блока или системы яаляется общее состояние всех содержащихся в нем (ней)
процессов и блоков плюс всех содержащихся каналов и сигнальных путей.
Состояние капаю явно или неявно задается блоком. Эго состояние зависит от того, имеет ли
канал свойство задержки.
Состояние сигнального пути всегда задано неявно.
Состоянием таймера —активен или не активен. Состояние активного таймера определяется
временем задержки до отправки сигнала тайм-аута.
4.3.1.8 Коммуникация
Перенос информации между двумя или несколькими объектами осущесталяется явными или
неявными (в случае удаленных процедур или экспортированных/аипортироваш/ых переменных) ка
паю.»и или сигнальными путями. Информацию переносят сигналы.
4.3.1.9 Положение в пространстве
Действия осуществляются в экземплярах процессов и услуг. Передача действий осуществляется
в каналах и сигнальных путях.
17