ГОСТ I» ИСО/МЭК 10746-3-2001
16.2.2 Правила.........................................................................................................................................44
16.2.2.1 Дублирование...............................................................................................................44
16.2.2.2 Создание контрольных точек и восстановление..............................................44
16.3 Прозрачность положения.......................................................................................................................44
16.4 Прозрачность миграции...................................................; .................................................................44
16.4.1 Понятие...........................................................................................................................................44
16.4.2 Правила............................................... 45
16.5 Прозрачность постоянства..........................................45
16.5.1 Понятие.................45
16.5.2 Правила...........................................................................................................................................45
16.6 Прозрачность перемещения........................................................................................................................45
16.7 Прозрачность дублирования..................................................................................................................45
16.7.1 Понятие...........................................................................................................................................45
16.7.2 Правила...........................................................................................................................................45
16.8 Прозрачность транзакции.......................................................................................................................46
16.8.1 Понятие...........................................................................................................................................46
16.8.2 Правила...........................................................................................................................................46
Приложение Л Формальные правила для вычислительных супертипов/подтипов............................47
А.1 Обозначения и соглашения..........................................................................................................................47
Л.2 Система типов.................................................................................„............................................................47
А.2.1 Правила типов......................................................................................................................................47
Л.2.2 Определения типов.............................................................................................................................. 48
Л.2.3 Алгоритм проверки типа.................................................................................................................... 49
А.З Типы сигнатур интерфейсов сигналов......................................................................................................50
Л.4 Типы сигнатур интерфейсов операций...................50
А.5 Типы интерфейсов потоков..........................................................................................................................51
А.6 Пример....................51
VI