Материал: Моделирование, анализ и оценка надежности информационных систем и технологий. Некравцева Т.А., Толстых Т.О

ный― скачок и ИМ перейдѐт из состояния i в одно из разрешѐнных состояний i + 1 .

91

Рис.5.3. Сетевая модель ИМ

ВЫВОД: Использование сетевого моделирования позволяет отобразить фактическое состояние информационного модуля, информационной системы или информационной технологии в целом в оперативной памяти и, следовательно, оценить полученные на ранних стадиях работы проектные решения и организовать своевременную и эффективную корректировку проектов.

92

5.8. Методология программы IDEF

5.8.1. Причины разработок средств моделирования ИС

Технология создания ИС предъявляет особые требования к методикам реализации и программным инструментаментальным средствам. А именно:

Реализацию проектов по созданию ИС принято разбивать на стадии анализа (описание логики предметной области), проектирования )определение модулей и архитектуры будущей системы), непосредственного кодирования, тестирования и сопровождения.

Жизненный цикл создания сложной ИС сопоставим с ожидаемым временем ее эксплуатации. Следовательно, для создания ИС необходим инструмент, значительно уменьшающий время разработки ИС.

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

5.8.2.Основные принципы системного моделирования SADT

Описание системы с помощью SADT называется моделью. В SADTмоделях используются естественный и графический языки. Источником графического языка является сама методология SADT.

С точки зрения SADT модель может быть сосредоточена либо на функциях системы, либо на ее объектах. SADT-модели, ориентированные на функции называются функциональными моделями, а ориентированные на объекты системы – моделями данных. Функциональная модель представляет с требуемой степенью детализации систему функций, которые отражают свои взаимоотношения через объекты системы. Модели данных дуальны к функциональным моделям и представляют собой подробное описание объектов системы, связанных системными функциями. Полная методология SADT поддерживает создание множества моделей для более точного описания сложной системы. SADT-модель дает полное, точное и адекватное описание системы, имеющее конкретное назначение. Это назначение, вытекает из формального определения модели в SADT: M есть модель системы S, если M может быть использована для получения ответов на вопросы относительно S

93

с точностью A. Вопросы для модели формулируются на самом раннем этапе проектирования, а основная суть этих вопросов, изложенная в одном предложении, становится целью модели. Для определения момента завершения процесса моделирования необходимо задать степень точности модели.

Однако в силу иерархичности систем необходимо точно определить границы рассмотрения данной системы и, ограничив объект моделирования, указать его взаимосвязи с внешней средой. Ограничивая субъект, SADTмодель концентрирует внимание на описываемой системе и позволяет избежать включения посторонних субъектов.

С определением модели тесно связана позиция, с которой наблюдается система и создается ее модель. Эта позиция называется «точкой зрения» данной модели. «Точка зрения» - представляется как место (позиция) человека или объекта, на которое надо встать, чтобы увидеть систему в действии. Иногда только одна из множества возможных «точек зрения» может дать описание, удовлетворяющее цели модели.

После того как определены субъект, цель точка зрения модели, начинается первая итерация процесса моделирования по методологии SADT. Пользователь определяет, что включить в модель, а что исключить из нее. Точка зрения диктует автору модели выбор нужной информации об объекте и форму ее подачи. Цель становится критерием окончания моделирования. Конечным результатом этого процесса является набор тщательно взаимоувязанных описаний, начиная с описания самого верхнего уровня всей системы и кончая подробным описанием деталей или операций системы. Каждое из таких описаний называется диаграммой. SADT-модель объединяет и организует диаграммы в иерархические структуры, в которых диаграммы наверху модели менее детализированы, чем диаграммы нижних уровней. Диаграмма является основным рабочим элементом при создании модели. Разработчик диаграмм и моделей обычно называется аналитиком или, в терминологии SADT, автором. Диаграммы имеют собственные синтаксические правила.

Каждая SADT-диаграмма содержит блоки и дуги. Блоки изображают функции моделируемой системы. Дуги связывают блоки вместе и отображают взаимодействия и взаимосвязи между ними..

Функциональные блоки на диаграммах изображаются прямоугольниками. Левая сторона блока предназначена для входов, верхняя - для управления, правая – для выходов, нижняя – для механизмов. Такое обозначение отражает принцип «черного ящика» системного подхода.

94

SADT требует, чтобы на диаграмме было не менее трех и не более шести блоков, что поддерживает сложность диаграмм и модели на уровне, доступном для чтения, понимания и использования.

Расположение блоков на странице отражает авторское определение доминирования, т.е. топология диаграммы показывает, какие функции оказывают большое влияние на остальные. Блоки в SADT пронумерованы, что служит цели однозначной идентификации системных функций и организации функций в иерархию модели.

Дуги на SADT-диаграмме изображаются одинарными линиями со стрелками на концах. Для функциональных SADT-диаграмм дуга представляет множество объектов, поэтому дуги могут разветвляться и соединяться различными сложными способами. Каждая ветвь дуги может быть помечена или не помечена в соответствии со следующими правилами: непомеченные ветви содержат все объекты, указанные в метке дуги перед разветвлением; ветви, помеченные после точки разветвления, содержат все объекты, указанные в метке дуги после разветвления.

Слияние дуг в SADT, изображаемое как сходящиеся вместе линии, указывает, что содержимое каждой ветви идет на формирование метки для дуги, являющейся результатом слияния исходных дуг. После слияния результирующая дуга всегда помечается для указания нового набора объектов, возникшего после объединения. Каждая ветвь перед слиянием может помечаться или не помечаться в соответствии со следующими правилами: непомеченные ветви содержат все объекты, указанные в общей метке дуги после слияния; помеченные перед слиянием ветви содержат все или некоторые объекты из перечисленных в общей метке после слияния.

При создании SADT-модели одну и ту же диаграмму вместе с ее блоками и дугами перечерчивают несколько раз, что приводит к появлению различных ее вариантов. Чтобы различать различные версии одной и той же диаграммы, в SADT используется схема контроля конфигурации диаграмм, основанная на хронологических номерах или С-номерах. С-номерные коды образуются из инициалов автора и последовательных номеров и ставятся в нижнем правом углу SADT-бланка. Автор проекта SADT ведет реестр, всех созданных им диаграмм, нумеруя их последовательными целыми числами, используя бланк реестра С-номеров SADT.

Для адекватного описания системы требуется несколько диаграмм. Собранные и связанные вместе они становятся SADT-моделью. В SADT дополнительно к правилам синтаксиса диаграмм существуют правила синтак-