(ф ункциональны х блоков в терм инах ID E F0). К ак правило, моделирование средствами ID E F0 является первым этапом изучения лю бой системы; 1DEF1 — м етодология м оделирования инф орм ационны х потоков внутри системы , позволяю щ ая отображ ать и анализировать их структуру и взаимосвязи; ID E F1X (IDEF1 E xtended) м етодология построения реляционны х структур. ID E F1X относится к типу м етодологий “С ущ ность-взаим освязь” (E R E ntity-R elationship) и, как правило, используется для м оделирования реляционны х баз данны х, им ею щ их отнош ение к рассм атриваем ой системе; ID EF2 —м етодология динам ического м оделирования развития систем . В связи с весьм а серьезны м и слож ностями ан али за дин ам ических систем от этого стандарта практически отказались, и его разви тие приостановилось на самом начальном этапе. О днако в настоящ ее врем я присутствую т алгоритм ы и их ком пью терны е реализации, позволяю щ ие превращ ать набор статических диаграм м ID E F0 в динам ические м одели, построенны е на базе “раскраш енны х сетей П етри” (C PN C olor Petri N ets); ID EF3 м етодология докум ентирования процессов, происходящ их в системе, которая используется, наприм ер, при исследовании технологических процессов на предприятиях. С помощ ью IDEF3 описы ваю тся сценарий и последовательность операций для каждого процесса. ID EF3 им еет прям ую взаимосвязь с м етодологией ID EF0 —каж дая функция (ф ункциональны й блок) м ож ет бы ть представлена в виде отдельного процесса средствам и 1DEF3; ID E F4 м етодология построения объектно-ориентированны х систем. С редства ID E F4 позволяю т наглядно отображ ать структуру объектов и залож енны е принципы их взаим одействия, тем сам ы м позволяя анализировать и оптим изировать слож ны е объектно-ориентированны е системы; ID E F5 м етодология онтологического и сследования слож ны х систем. С помощ ью м етодологии TDEF5 онтология систем ы м ож ет бы ть описана при 28 |
может быть реализован в виде аппаратных средств и программного обеспечения. В реальной жизни программные проекты чаще всего достаточно сложны, и их декомпозиция (по принципу "разделяй и властвуй") это основная и, наверное, единственная стратегия борьбы со сложностью. Этот подход заключается в декомпозиции задачи на функции или процессы, приводящий к созданию иерархии процессов и подпроцессов. Основная задача, поставленная перед программным приложением, является, как уже было отмечено выше, автоматизация работы актуария. Для выдвижения требований к приложению сначала формализуем весь процесс работы актуария. Для решения подобных задач существуют хорошо обкатанные методологии и стандарты моделирования систем. К таким стандартам относятся методологии семейства IDEF. С их помощью можно •' эффективно отображать и анализировать модели деятельности широкого спектра сложных систем в различных разрезах. При этом широта и глубина ; обследования процессов в системе определяется самим разработчиком, что позволяет не перегружать создаваемую модель излишними данными. В настоящий момент к семейству IDEF можно отнести следующие стандарты: IDEF0 методология функционального моделирования. С помощью наглядного графического языка IDEF0, изучаемая система предстает перед разработчиками и аналитиками в виде набора взаимосвязанных функций (функциональных блоков в терминах IDEF0). Как правило, моделирование средствами IDEF0 является первым этапом изучения любой системы; IDEF1 методология моделирования информационных потоков внутри системы, позволяющая отображать и анализировать их структуру и взаимосвязи; IDEF1X (IDEF1 Extended) методология построения реляционных структур. IDEF1X относится к типу методологий “Сущность-взаимосвязь” (ER Entity-Relationship) и, как правило, используется для моделирования реляционных баз данных, имеющих отношение к рассматриваемой системе; 28 IDEF2 методология динамического моделирования развития систем. В связи с весьма серьезными сложностями анализа динамических систем от этого стандарта практически отказались, и его развитие приостановилось на самом начальном этапе. Однако в настоящее время присутствуют алгоритмы и их компьютерные реализации, позволяющие превращать набор статических диаграмм IDEF0 в динамические модели, построенные на базе “раскрашенных сетей Петри” (CPN Color Petri Nets); IDEF3 методология документирования процессов, происходящих в системе, которая используется, например, при исследовании технологических процессов на предприятиях. С помощью IDEF3 описываются сценарий и последовательность операций для каждого процесса. IDEF3 имеет прямую взаимосвязь с методологией IDEF0 каждая функция (функциональный блок) может быть представлена в виде отдельного процесса средствами IDEF3; IDEF4 методология построения объектно-ориентированных систем. Средства IDEF4 позволяют наглядно отображать структуру объектов и заложенные принципы их взаимодействия, тем самым позволяя анализировать и оптимизировать сложные объектно-ориентированные системы; IDEF5 методология онтологического исследования сложных систем. С помощью методологии IDEF5 онтология системы может быть описана при помощи определенного словаря терминов и правил, на основании которых могут быть сформированы достоверные утверждения о состоянии рассматриваемой системы в некоторый момент времени. На основе этих утверждений формируются выводы о дальнейшем развитии системы и производится её оптимизация. В основе методологии IDEF0 лежат несколько основных понятий. Первым из них является понятие функционального блока (Activity Box). Функциональный блок графически изображается в виде прямоугольника (рис. 1.2.) и олицетворяет собой некоторую конкретную функцию в рамках 29 |