ГОСТ Р НСО/МЭК 10746-4-2004
(через определения пронесем), создание объектов соответствует созданию интерфейсов. Таким обра
зом, определение создания интерфейса дано определением создания объекта.
4.1.2.16 Введение (объекта)
Реализация поведения, связанного со спецификацией на LOTOS.
4.1.2.17 Удаление (<Х>)
Удаление объекта —прекращение процесса реализации. Оно может быть достигнуто использо
ванием запрещающего оператора LOTOS, остановкой (стоп) выражения поведения, которая не допус
кает передачи упраатения, или успешным завершением (выход) выражения поведения, когда передача
управления возможна через раз/зешающий оператор.
Удаление интерфейса —процесс, которым будущее поведение объекта ограничивается в том,
что этому поведению не требуется удаляемый интерфейс.
4.1.2.18 Экземпляр типа
Экземпляр типа шаблона объекта - экземпляр данного шаблона объекта представляется в
LOTOS реализацией этого шаблона объекта или приемлемой подстановкой для реализации этого
шаблона объекта. Приемлемая подстановка должна охватывать характеристики, идентифицирую
щие тип. Таким образом, приемлемой подстановкой может быть другой шаблон, поведенчески
совместимый с первым. Он может быть получен путем расширения, как описано в 4.1.2.4.
Использование этого отношения гарантирует, что включены все характеристики рассматривае
мого типа. Однако возможен случай, когда могут быть найдены различные формы соответствия
типу, которым требуются не все характеристики, связанные с данным шаблоном, а только
некоторое их подмножество.
Экземпляр типа шаблона интерфейса —так как шаблон интерфейса представляется точно так
же, как и шаблон объекта (через определение процесса в LOTOS), то сказанное выше применимо (с
заменой термина «объект* на «интерфейс*) к реализации шаблона интерфейса.
Экземпляр тина шаблона действия - экземпляр шаблона действия (обозначениедействия) пред
ставляется в LOTOS другим обозначением действия, предлагающим эквивалентное событие.
4.1.2.19 Тип шаблона (<Х>)
Предикат, выражающий, что <Х>является экземпляром данного шаблона, где <Х> может быть
объектом, интерфейсом или действием.
4.1.2.20 Класс шаблонов (<Х>)
Класс шаблона <Х> —это множество всех <Х>, которые ядтяются экземплярами этого шаблона
<Х>. где <Х> может быть объектом, интерфейсом или действием.
Пр и меч а н ие —Применение класса шаблона действия ограничено в LOTOS, так как LOTOS нс
обеспечивает явно шаблоны действий, реализации и типы шаблонов действий.
4.1.2.21 I/роизводный класс/базовый масс
Если шаблон класса является нарастающей модификацией шаблона другого класса, то первый
класс является производным от второго, второй —базовым классом первого.
Шаблоны LOTOS могут нарастающе модифицироваться путем расширения, обогащения и изме нения
типов данных или поведения. Проблема возникает с модификацией поведения, в частности: -
подтипы: в систему может быть внесена неопределенность, когда начальное состояние
наследуемого шаблона и его модификации одинаковы и, таким образом, отношение подтипа не
может быть гарантировано;
- необходимость перенаправления автоссылки: любая ссылка на производный шаблон из
родительского должна быть перенаправлена на производный шаблон, что не всегда возможно.
Удоатетворителыюго решения этих проблем в стандартном LOTOS нет.
4.1.2.22 Инвариант
В LOTOS могут быть записаны только инварианты, являющиеся определениями процессов. Нет
способа присоединить к определению процесса инвариант, который сам не является определением
процесса.
4.1.2.23 Предусловие
Предикат, который обязательно должен быть истинным для того, чтобы действие могло
осуществиться; он может быть непосредственно выражен в LO TOS с использованием одного или
нескольких:
- последовательностей действий;
- предохранителей и предикатов выбора.
а