- •23. Система переходов Келлера: определение, способы задания. Представление асинхронных процессов.
- •24. Отношение непосредственного следования на множестве состояний системы переходов.
- •25. Свойства потокового отношения (отношения непосредственного следования). Замыкание отношения непосредственного следования. Свойство сходимости системы.
- •Сходимость
- •26. Расширенная функция непосредственного следования. Область задания и область значений.
- •27. Помеченные системы переходов. Алфавит действий и функция пометки. Описание асинхронных процессов, порождаемых помеченными системами.
- •28. Локальные свойства помеченных графов.
- •29. Фундаментальная теорема асинхронных параллельных вычислений Келлера.
- •30. Свойства помеченной системы переходов и глобальные свойства порождающей её системы переходов Келлера.
- •31. Метамодель Варшавского: определение, способы задания. Соглашения по назначению инициаторов и результантов. Представление процессов.
- •32. Основные ограничения на порождаемые асинхронные процессы. Протокол асинхронного процесса.
- •35. Алгебра асинхронных процессов. Одноместные и многоместные операции.
- •36. Параллельные схемы программ Карпа-Миллера.
- •37. Информационный базис. Основные определения и функции.
- •38. Отношение конкуренционной зависимости. Детерминизм системы.
- •39. Определение вычислительного процесса, основные аксиомы.
- •40. Неуправляемые вычислительные процессы над памятью.
- •41. Метамодель Хоара: терминология, основные определения, способы задания.
- •42. Представление асинхронных процессов в метамодели Хоара.
- •43. Операции над процессами в метамодели Хоара.
- •45. Модельная интерпретация и объектные модели. Представление асинхронных процессов в различных объектных моделях.
- •46. Соответствия объектных моделей и метамоделей асинхронных процессов.
- •47. Модельная и предметная интерпретации моделей асинхронных процессов.
- •48. Бинарная система переходов Келлера. Модель системы с рукой-роботом.
45. Модельная интерпретация и объектные модели. Представление асинхронных процессов в различных объектных моделях.
Метамодели хороши для анализа и синтеза моделей более низкого уровня. Однако они не годятся для анализа и синтеза реальных систем.
Модельная интерпретация – это некая процедура понижения уровня абстракции конкретной метамодели.
Результатом выполнения модельной интерпретации явл. модели более низкого уровня абстракции, получившие название объектных моделей.
Наиболее известные модельные интерпретации:
Сетевые модельные интерпретации: 1) : S Bn, B = {0, 1} //Получение элемента множества S . Структурирование мн-ва состояний (бин. сист. Келлера) 2) : S (Z+)n //Каждому элементу S сопоставляется целочисленный вектор Объектные модели: сети Петри
Автоматная модельная интерпретация: 3) : S X Q Y, где Х – входной алфавит; Q – мн-во внутренних состояний; Y – выходной алфавит Объектные модели: автоматные сети Петри; системы сложения векторов (??).
Представление АП в разл. объектных моделях: здесь говорим о том, как представляются процессы в моделях, перечисленных выше. Например, в сетях Петри представлением процесса может быть «протокол» перемещения фишек или кортеж маркировок (вы ведь не забыли про эту дуальность? ;)).
46. Соответствия объектных моделей и метамоделей асинхронных процессов.
Возьмём в качестве метамодели систему переходов Келлера. В ней состояние s S «соответствует» маркировке ’ R(C, ) из сетевой объектной модели. А отношение F соответствует (имхо) функции следующего состояния.
Вот такую же аналогию надо придумать и с автоматной объектной моделью.
47. Модельная и предметная интерпретации моделей асинхронных процессов.
Асинхронный процесс можно рассматривать как метамодель, порождающую различные широко используемые объектные модели. Порождение частных моделей предусматривает использование механизма интерпретации асинхронных процессов, который может быть двухступенчатым.
Первый этап – модельная интерпретация– состоит в том, что основным понятиям АП (ситуации, отношению следования, инициаторам и результантам) ставятся в соответствие понятия частных моделей, причём эта система соответствий базируется на введении дополнительных ограничений на АП.Пример результата выполнения модельной интерпретации– сети Петри.
Модельные интерпретации сами по себе могут остаться неинтерпретированными моделями. Однако если АП или его модельным интерпретациям при решении конкретных задач поставить в соответствие некоторые метки, обозначающие символы, операторы, атрибуты или предикаты из заданного множества (пользуясь семантическими соображениями), то такие модели становятся интерпретированными. Это вторая, предметная интерпретацияАП, которая должна быть согласована с приложениями и зависит от специфики решаемых задач.Пример результата выполнения предметной интерпретации– модель системы с рукой-роботом: там компонентам структурированных ситуаций ставятся в соответствие некоторые предикаты.