ГОСТ Р ИСО/МЭК 10746-4-2004
зовать расширение для получения этого отношения на основе возможности подстановки, но этот
способ в LOTOS не предназначен для таких целей.
4.1.2.10 Иодкласс/суперкласс
Так как типы, которые могут быть написаны в LOTOS для объектов, интерфейсов и, отчасти,
действий, являются типами шаблонов, то отношение подкласса существует между двумя классами,
когда отношение подтипа существует между
двумя
соответствующих!
и
типами шаблонов.
4.1.2. И Шаблон <Х>
Шаблон объектов —определение процесса с некоторых! средством, которое позволяет однознач
но идентифицировать реализацию процесса. Если не задан список параметров, то будет невозможна
идентификация объекта для более чем одной реализации из этого шаблона объектов.
Что касается комбинации шаблонов объектов в LOTOS, то не существует операторов комби
нации. за исключением ограниченного вида области действия, использующей термин LOTOS
«where*.
Шаблон интерфейсов —любое поведение, полученное из определенияпроцесса при рассмотрении
только взаимодействий на подмножестве ворот, связанных с определением процесса. Это подмноже
ство ворот получается путем сокрытия ворот, не нужных для рассматриваемых взаимодействий.
Что касается комбинации шаблонов интерфейсов в LOTOS, то не существует операторов
комбинации, за исключением ограниченного вида области действия, использующей термин LOTOS
«where».
Шаблон действий —обозначение действия, которое может быть символом внутреннего события.
идентификатором ворот или идентификатором ворот с конечной последовательностью значений и
(или) деклараций переменных.
Пр и ме ч а н и е —Здесь определение обозначение действия является придуманным, так как LOTOS
фактически не обеспечивает понятие шаблона действия. В LOTOS возможное поведение специфицируется
заданиемскомбинированных внекотором виде обозначенийдействий. Аналогия между шаблоном иобозначением
действия —лучшее, что может быть сделано в LOTOS. Однако ГОСТ Р ИСО/МЭК 10746-2 требует, чтобы
шаблоны действий были сгруппированы по характеристикам действий. Этого нет в LOTOS, так как представ
ления событий (обозначения действий) существуют изолированно, их невозможно собрать вместе и применить
шаблон для их характеристики.
Композиция шаблонов действий может быть связана с синхронизацией с передачей или гене
рацией значения. В этом случае два (или несколько) шаблонов действий согласуют общий шаблон
действия для осуществления синхронизации, т. е. шаблон действия с общими характеристиками всех
участвующих в синхронизации (композиции) шаблонов действий.
4.1.2.12 Сигнатура интерфейса
Сигнатура интерфейса как набор шаблонов действий, связанных с взаимодействиями интер
фейса. представляется в LOTOS как набор обозначений действий. Члены этого набора являются теми
обозначениями действий, которых! для осуществления требуется синхронизация со средой.
4.1.2.13 Реализация (шаблона <Х>)
Реализация шаблона объекта - результат процесса, который использует шаблон объекта для
создания нового объекта в начальном состоянии. Этот процесс включает в себя актуализацию
формаш/ого списка ворот и формальных параметров определения процесса подстановкой из заданного
списка ворот и списка фактических параметров. Характеристиками создаваемого объекта управляют
шаблон объекта и парахютры. использованные при его реализации.
Реализация шаблона интерфейса - результат процесса, которым из шаблона интерфейса созда
ется интерфейс. Создаваемый интерфейс может в дальнейшем использоваться объектом, с которым
он связан, для взаимодействия со средой. Характеристики создаваемого интерфейса определяются
шаблоном интерфейса и параметрами, использованными при его реализации.
Реализация шаблона действия —осуществление действия в LOTOS. Оно хюжет включать в себя
перезапись выражений ACT ONE.
4.1.2.14 A m
Имя, связанное с определением процесса в шаблоне для составного объекта (т. е. композиция
LOTOS выражений поведения). Роль не может быть использована в качестве парах«етра. Однако
каждой роли в композиции можно присвоить значения данных для их различения или адресации.
4.1.2.15 Создание (<Х>)
Создание объекта —реализация шаблона объекта как часть поведения существующего объекта.
Создание интерфейса - так как объекты и интерфейсы моделируются в LOTOS одинаково
7