Вершина - потоковый граф
Cтраница 2
 |
Диаграмма проходов по алгоритму распознавания. [16] |
В данной главе объектом анализа являются маркированные потоковые графы с произвольной семантической природой свойств дуг и вершин, отражающей характер обработки и взаимодействия процессов распределенных программ. Обобщение семантической природы меток дуг и вершин потокового графа программы требует исследования разрешимости как самих моделей вычислений, так и задач их анализа. [17]
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ. [18]
Страницы: 1 2