Дисциплина посвящена подробному рассмотрению математических моделей и методов моделирования, применяемых в сфере информационных технологий и используемых при разработке информационных систем. Описываются и характеризуются различные формальные модели систем, как дискретных, так и стохастических. Особое внимание уделяется изучению таких классов моделей, как конечные автоматы, сети Петри, цепи Маркова, системы массового обслуживания. Рассматриваются вопросы использования имитационного моделирования.
Общие понятия и положения моделирования. Определение модели, её характеристики и свойства. Классификация моделей. Понятие абстрактного автомата. Автоматы Мили и Мура. Понятие и определение сети Петри. Основные типы взаимодействия процессов. Моделирование с помощью сетей Петри параллельных вычислений и их синхронизация. Основные свойства сетей Петри. Анализ сетей Петри. Определение марковского процесса. Дискретные марковские процессы. Непрерывные марковские процессы. Потоки событий. Понятие и классификация систем массового обслуживания (СМО). Основные характеристики СМО и способ их аналитического нахождения для различных классов СМО. Сети СМО. Понятие и особенности имитационного моделирования. Составляющие имитационной модели. Основные этапы имитационного моделирования.
http://www.codenet.ru/db/other/case/ - учебник CASE-технологии. Современные методы и средства проектирования информационных систем.
http://www.neuch.ru/referat/21986.html - реферат по CASE-технологиям.
http://abc.vvsu.ru/Books/imit_model/default.asp - лабораторный практикум. Имитационное моделирование Кийкова Е.В., Лаврушина Е.Г.
http://www.compmodel.ru/273/ - главы учебника по стохастическому моделированию.