§6. Заключение
Целью этой работы является получение опыта по построению метамодели «асинхронный процесс» и ее модельной интерпретации в виде «сети Петри», а также по исследованию их свойств.
На основе реального физического процесса - оцифровки звука на компьютере (звукозаписи) - была построена метамодель асинхронный процесс «Звукозапись» P, над ней были проведены операции репозиции, редукции и композиции процессов P и вспомогательного процесса P3 «Подготовка к звукозаписи». Действия по составлению метамодели сопровождены семантическими пояснениями. Проведен анализ свойств данного асинхронного процесса.
Важной частью работы является построение сети Петри по данному асинхронному процессу на основе структуры и логики поведения процесса. С помощью этого инструмента изучены динамика и принципы функционирования компонентов сети, а следовательно и компонентов процесса.
- §1. Постановка задачи
- §2. Описание процесса звукозаписи
- §3. Построение метамодели «асинхронный процесс»
- §4. Операции над процессами
- 4.1 Репозиция асинхронного процесса «Звукозапись»
- 4.2 Редукция асинхронного процесса «Звукозапись»
- 4.3 Композиция процессов
- 4.3.1 Асинхронный процесс «Подготовка к звукозаписи»
- 4.3.2 Редукция асинхронного процесса «Подготовка к звукозаписи»
- 4.3.3 Композиция процессов «Звукозапись» и «Подготовка к звукозаписи»
- §5. Предметная интерпретация асинхронного процесса
- §6. Заключение