ГОСТ Р ИСО/МЭК 10746-4-2004
4.3.1.10 Паюжение во времени
Каждое действие характеризуется датами начала и окончания действия. Действия могут быть
мгновенными. Длительность действия не может быть обозначена явно. Для действий может быть
составлено расписание: происходить в конкретное время или после заданной задержки.
П р и м е ч а н и е
а) Глобальное время доступно в SDL через now. При этом ничего не говорится о единицах измерения.
б) Для двух последовательных действий а/ исправедливо отношение now (at) <= now (а2)._
в> Явным обратом обращаться ко времени можно только с помощью действий установки таймера, a now
применяется вразрешакнцихусловияхи непрерывныхсигналах. Следуетизбегатьсоставления расписания действий
для фиксированных моментов времени.
4.3.1.11 Тонка взаимодействия
Точками взаимодействия являются ворота экземпляров блоков, процессов и услуг и оконечные
точки (возможно, неявные) каналов и сигназьных путей. Совместно используемые переменные так
же являются точками взаимодействия. Они имеют положение. Объект может иметь несколько точек
взаимодействия.
4.3.2 С п е и и ф и ц и р у ю ш и еп о н я т и я
4.3.2.1 Композиция
Композиция объектов:
а) объект система может быть конкурентной композицией объектов йзок. которые могут быть
соединены киназами;
б) объект биюк может быть конкурентной композицией объектов блок (которые могут быть
соединены каналами) или конкурентной композицией объектов процесс (которые могут быть соеди
нены сигнальными путями);
в) объект процесс может быть чередующейся композицией объектов услуга,
г)
Kauai
может быть композицией Споков, соединенных киназами.
Композиция поведений:
а) поведение системы является конкурентной композицией поведений ее Споков:
б) поведение Спока яазяется конкурентной композицией поведений его подйюков или процессов;
г) поведение процесса является чередующейся композицией поведений его услуг или последо
вательной композицией действий графа процесса;
д) поведение услуги является последовательной композицией взаимодействий графа услуги,
е) поведение капала может быть композицией поведений составляющих его блоков и соединя
ющих их каналов.
4.3.2.2 Составной объект
Согласно 4.3.2.1 следующие объекты могут быть представлены как композиции:
- система,
- блок,
- процесс,
- капал.
4.3.2.3 Декомпозиция
Декомпозиция объектов —спецификация данного объекта как композиции.
Декомпозиция поведений - спецификация данного поведения как композиции.
4.3.2.4 Поведенческая совместилзость
В SDL нет общих способов явного описания поведенческой совместимости, однако семанти
ческие основы языка допускают определение поведенческой совместимости и ее проверки в терми
нах переходных систем.
Экземпляр переходного класса может рассматриваться как ограниченно поведенчески совмес
тимый с экземпляром соответствующего базового класса, а экземпляр переопределенного типа может
рассматриваться как ограниченно поведенчески совместимый с экземпляром соответствующего
виртуа/ьного типа. Язя требований ограниченной поведенческой совместимости может быть ис
пользован раздел at least.
4.3.2.5 Уточнение
В SDL имеется два способа уточнения спецификации объекта:
- построение подструктур (на уровне блока или системы);
- использование объеюгно-ориентмрованных свойств (наследования, виртуальных и родовых
параметров).
1$