Современные проблемы информатики Лекция 3 Поведение транзиционных систем Обогащения алгебры поведений. - презентация

1 Современные проблемы информатики Лекция 3 Поведение транзиционных систем Обогащения алгебры поведений

2 2 Транзиционная система => поведение => транзиционная система a b a a b a a b a a ab a ab a ab … … u

3 3 Отношение аппроксимации на состояниях транзиционных систем Частичная бисимуляция (аппроксимирует), если существует частичная бисимуляция …

4 4 Поведение транзиционных систем S – транзиционная система, определяется, как наименьшее решение системы

5 5 Поведения как состояния транзиционной системы Множество называется транзиционно замкнутым, если Множество U есть транзиционная система:

6 6 Теорема частичный порядок

7 7 Приведение транзиционных систем Состояние => поведение Алгоритм приведения Для конечных систем

8 8 Для бесконечных систем По теореме Тарского

9 9 Пример ?

10 10 Обогащения алгебры поведений

11 11 (u;v)=uv

12 12

13 13

14 14 интерливинг синхронизация

15 15 бисимуляция

16 16 Явное определение параллельной композиции

17 17 CCS Алгебра действий: Алгебра поведений (процессов): Обогащение алгебры поведений:

18 18 Calculus of Communicated Processes

19 19 CSP