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
А.3 Типы сигнатур интерфейсов сигналов........................................50
А.4 Типы сигнатур интерфейсов операций........................................50
А.5 Типы интерфейсов потоков................................................51
А.6 Пример...............................................................51
VI