Теоретические основы лабораторной работы

На начальном этапе разработки облика бизнес-системы (при создании соответствующих спецификаций требований) должен разрабатываться комплекс взаимосвязанных моделей, описывающий с различной степенью детализации рассматриваемую систему. В состав данного комплекса целесообразно включить три переходящих одна в другую формальных моделей.

Базовой в этом семействе моделей является статическая модель потоков данных, представляющая собой иерархию так называемых потоковых диаграмм.

Следующий уровень-это базовая динамическая модель потоков данных, которая формируется из DFD модели путем представления ее элементов (процессов и хранилищ данных) в форме взаимно согласованных фрагментов сетей Петри. Исходя из этого для модели второго уровня предлагается обозначение DFD/PN-модель, где PN-аббревиатура от Petri Nets. DFD/PN-модель отображает движение потоков данных, изображаемых раскрашенными маркерами (фишками), однако не раскрывая взаимозависимости между перемещением маркеров и внутренней структурой информационных сущностей, характеризующих прототип бизнес-системы.

Детализация внутренней структуры (атрибутов) информационных сущностей отображается с помощью диаграмм сущность-связь, образующих ER-модель системы. Модель третьего уровня, обозначенная как DFD/PN/ER-модель, формируется на основе DFD/PN-модели путем введения в нее, с одной стороны, условий перемещения маркеров в виде функций атрибутов ER-модели и, с другой стороны, операторов корректировки значений этих атрибутов в результате перемещения маркеров.

Подробнее методика преобразования DFD-диаграмм в DFD/PN-модель изложена в Приложнии1 и основывается на материалах, опубликованных в работах [12, 13].