ГОСТ Р ИСО/МЭК 10746-4-2004
Объект может быть сделан поведенчески совместимым с другим объектом после некоторой
модификации его поведения, которая может включать в себя расширение (добавление нового пове
дения) или сужение (ограничение) поведения объекта. Этот процесс модификации объекта называ
ется уточнением (см. 4.1.2.5).
4.1.2.5 Уточнение
Уточнение является процессом, с помошыо которого объект может быть модифицирован путем
расширения или сужения его поведения (либо комбинацией этих способов) таким образом, чтобы
соответствоватьдругому объекту. Если Р и Q —процессы LOTOS, то *Q расширяет Р* (записывается
■>Qextends Р») означает, что Q имеет не меньше трасс, чем Р. но в среде, трассы которой ограни
чиваются трассами Р, Q имеет те же самые взаимоблокировки. «Q суживает Р» (записывается «•Q
reduce Р») означает, что Q имеет не больше трасс, чем Р, но в среде, трассы которой ограничи ваются
трассами Q, Р имеет те же самые взаимоблокировки.
4.1.2.6 Трасса
Трасса поведения объекта из его начального состояния в некоторое другое является записью
конечной последовательности взаимодействий (наблюдаемыхсобытий) между объектом и его средой.
4.1.2.7 Тип <Х>
Типы, которые могут быть явно записаны в LOTOS для объектов и интерфейсов, являются
типами шаблонов. В LOTOS нет явных конструкций, позволяющих моделировать типы действий
как таковые. Спецификация LOTOS состоит из выражения поведения, которое само состоит из
обозначений действий (шаблонов действий). Эти шаблоны действий либо проявляются как часть
поведения системы, и в этом случае их появление может неформально рассматриваться как реали
зация шаблона действия, либо не проявляются, и в этом случае шаблон действия остается нереали
зованным. Сами шаблоны действий могут задаваться либо символом внутреннего события i либо
представлениями событий в воротах, которые могут иметь или не иметь конечной последователь
ности значений и (или) деклараций переменных.
LOTOS не предоставляет возможностей для непосредственной характеристики действий, но
ограниченная форма характеристики действия встроена в синхронизацию LOTOS. А именно, можно
считать, что синхронизированные обозначения действий (шаблоны действий) должны соответство
вать одному и тому же типу действия для того, чтобы действие могло произойти. Однако LOTOS не
классифицирует характеризующие признаки этих произвольных обозначений действий и. таким
образом, нет возможности ввести формальный тип для любого заданного действия. Может встре
титься случай, когда неформально представлению события, участвующему во взаимодействии,
приданы роли причины и результата, но в общем случае это не так. См. 4.1.1.8.
Символ внутреннего события может использоваться для представления типа действия, когда
общая характеристика этой совокупности действий состоит в том. что они не имеют характеристик.
Следует заметить, что если ограничиться единственным возможным в LOTOS предикатом для
объектов (и интерфейсов), которые соответствуют типу шаблона, то понятия типа и шаблона,
определенные в ГОСТ Р ИСО/МЭК 10746-2, суживаются до методов моделирования в LOTOS. В
LOTOS нет разницы между типом в широком смысле слова и типом шаблона в более узком смысле
реализации шаблона.
4.1.2.8 Класс <Х>
Представление класса есть зависимость от характеризующего тип предиката, которому должны
удовлетворять члены класса. Объекты, интерфейсы и действия могут удовлетворять многим произ
вольным характеризующим тип предикатам. Тип, который может быть в нем записан, является
типом шаблона. Класс объектов, интерфейсов или действий, связанных с этим типом, является
классом шаблонов.
Пр и ме ч а н и е —Следует заметить, что если ограничиться единственной возможной в LOTOS клас
сификацией объектов, интерфейсов и действий, которые соответствуют типу шаблона, то понятия класса и
класса шаблонов, определенные в ГОСТ Р ИСО/МЭК 10746-2, суживаются до методов моделирования в
LOTOS. В LOTOS нет ратины между классом в широком смысле слова и классом шаблонов в более узком
смысле как множества реализаций данного типа шаблонов.
4.1.2.9 Подтип/супертип
Так как типы, которые могут быть написаны в LOTOS для объектов, интерфейсов и. отчасти,
действий, являются типами шаблонов, то отношение подтипа в LOTOS является отношением,
которое может существовать между типами шаблонов. Однако в LOTOS существует непрямой способ
записи отношения подтипа непосредственно. Если требуется отношение подтипа, то можно исполь-
6