Диссертация (1152223), страница 29
Текст из файла (страница 29)
В качестве отправной точки проектирования он предлагает воспользоваться диаграммой потоков данных. Вначале необходимо разделить проектируемую систему на совокупность отдельных модулей, в результате мы получаем структуру проектируемой системы. Хотя в рассматриваемой методологии явно об этом не говорится, идёт речь о функциональной декомпозиции на подсистемы. Затем, используя диаграмму потоков данных, создаётся описание потоков (информационных илиматериальных), которые возникают между подсистемами.
В дальнейшем, информационные потоки детализуются, для этого используется диаграмма сущность-связь [111]. Эта методологияшироко используется при создании учётно-аналитических информационных систем, но поскольку в основе первоначального разбиения системы на модули лежит функциональный принцип, эта методология структурного анализа, к сожалению, не вполне применима для созданияпроцессно-ориентированных информационных систем. Остаётся открытым вопрос: какую номенклатуру моделей следует применять при создании процессно-ориентированных систем.Вторая группа методологий фокусирует внимание на последовательности шагов разработки, но не специфицирует состав используемых моделей.
В качестве примера назовём методологию разработки программного обеспечения Rational Unified Process (RUP), созданную ком-113панией Rational Software (сегодня IBM) [112]. В основе RUP лежит итеративная модель разработки — на каждой итерации проектная команда должна достичь запланированные цели, получить промежуточную, но работающую версию конечного продукта. Такая методология позволяет быстро реагировать на меняющиеся требования, обнаруживать и устранять ошибки наранних стадиях проекта. Полный жизненный цикл разработки продукта состоит из четырёх фаз,каждая из которых включает в себя одну или несколько итераций.
Методология RUP базируется на следующих принципах [113]:–Ранняя идентификация и непрерывное устранение ошибок;–Концентрация на выполнении требований заказчика;–Реализации изменений в требованиях и проектных решениях;–Компонентная архитектура решения;–Постоянный контроль качества на всех этапах разработки;–Работа над проектом в сплочённой команде, ключевую роль играют архитекторы.Перечисленные принципы, по сути, близки к гибкой методологии разработки (Agile) [24].Эта группа методологий применима для разработки процессно-ориентированных систем, мыболее подробно исследуем этот вопрос в главе, посвящённой разработке СУБП.Сущностно-содержательное представление модели бизнес-процессаПервоначально моделью называли некое вспомогательное средство, объект, который вопределённой ситуации заменял другой объект.
В.А. Штофф называет моделью «материальныйили мысленно представляемый объект или явление, являющийся упрощённой версией моделируемого объекта или явления (прототипа), и в достаточной степени повторяющий свойства,существенные для целей конкретного моделирования, опуская несущественные свойства, в которых он может отличаться от прототипа» [114]. Ф.И. Перегудов и Ф.А. Тарасенко называютмоделью «некий объект-заместитель, который в определённых условиях может заменять объект-оригинал, воспроизводя интересующие нас свойства и характеристики оригинала, причёмимеет существенные преимущества удобства (наглядность, обозримость, доступность испытаний, лёгкость оперирования с ним и пр.)» [115].
Моделями могут быть абстрактные, идеальныепостроения. Например, математическая модель определяется как «результат отображения одной абстрактной математической структуры на другую, тоже абстрактную, либо как результатинтерпретации структуры в терминах и образах второй» [116].А.И. Уёмов отмечал разнообразие значений термина «модель» в современной науке. Всвязи с этим, он выражает сомнение, можно ли говорить о моделях и моделировании вообще, ане о моделях и моделировании в определённой науке.
Даже в рамках одной науки зачастую нетединства мнений по поводу употребления термина «модель» [117]. Поэтому следует опреде-114лить тот смысл, в котором употребляют этот термин. Например, В. А. Штофф полагал возможным исключить из научного языка такие значения термина «модель», для выражения которыхсуществуют другие прочно установившиеся термины. А.И. Уёмов считает, что переносить спомощью аналогии свойства модели на прототип можно лишь в том случае, если эти свойствами являются существенными, а не случайными сходствами.
Он особо останавливается наструктурно-функциональной аналогии, когда на основе тождества структур сравниваемых систем делается вывод о тождестве их функций, и функционально-структурной аналогии, когдаиз сходства функций делается вывод о сходстве их структур. Применительно к моделированиюбизнес-процессов этот принцип означает, что сходство структуры модели и собственно бизнеспроцесса не означает автоматически, что модель выполняет ту же функцию, что и процесс. Инаоборот, из сходства функций модели и прототипа не следует сходство их структур [118].Типология моделиПо целям моделирования модели делятся на: познавательные, которые являются формойорганизации и представления знаний, и прагматические, которые являются средством организации практических действий, средством управления, иными словами, рабочим представлениемцелей [115].По способам воплощения модели делятся на материальные и абстрактные.
Материальныемодели: макеты, шаблоны или выкройки, которые, благодаря подобию, могут в определённойстепени заместить оригинал. Абстрактные модели являются идеальными конструкциями, построенными средствами мышления, сознания. Например, языковые модели, построенные средствами языков или нотаций моделирования, являются абстрактными. Свойства языков моделейявляются предметом науки семиотики, изучающей знаки не в отдельности, а как входящие взнаковые системы.
Выделяют три основных группы отношений [119]:синтактику — отношения между различными знаками, позволяющие отличать их и стро-ить из них знаковые конструкции все более высокой сложности;семантику — отношения между знаками и тем, что они обозначают, или вложенный, из-начальный смысл знаков;прагматику — отношения между знаками и теми, кто их использует в своей деятельности,или понятый, воспринятый смысл знаков.Формализованный подход заключается в выявлении устойчивых связей между элементами изучаемого процесса или явления. Формальной Д.А. Новиков называет модель, основаннуюна формулах или математическом аппарате так, что любое свойство этой модели может бытьдоказано математически [105].
Например, модели, использующие формализм машины состояний или сетей Петри, являются формальными, их свойства математически доказуемы.115Визуальные модели графически представляют объекты реального мира, замещая ихнаглядным, образным эквивалентом. Визуальная знаковая модель имеет нотацию, включающую: алфавит, определяющий набор графических символов, синтаксис, устанавливающий правила соединения знаков в осмысленные предложения, семантику — правила, с помощью которых формируются смысл выражающие элементы языка [120].Принято различать статические и динамические модели. Первые модели отображают систему в некоторый фиксированный момент времени, вторые — показывают изменение системыво времени. Математическая модель динамической системы предполагает выбор некоторой совокупности переменных величин, посредством которых определяется состояние системы в любой момент времени; задание функции, которая описывает эволюцию состояния во времени.Набор всех переменных состояния образует т.н.
фазовое пространство системы, а совокупностьзначений всех переменных состояния в любой момент времени называется фазовой точкой. Изменение состояния динамической системы во времени называется движением, ему отвечает перемещение фазовой точки в фазовом пространстве. Исследование поведения динамической системы сводится к изучению разбиения её фазового пространства на области, различающиесяхарактером траекторий, и к выяснению зависимости структуры такого разбиения от значенийпараметров системы.Соответствие между моделью и реальностьюРазличия между моделью и реальностью принципиально неизбежны и неустранимы. Возникает вопрос о применимости той или иной модели. Упрощение является средством выявления главных эффектов в исследуемом объекте или явлении.
В практической деятельностиупрощённость моделей является не только допустимой, но и желательной. Если бы модель была полностью эквивалентна оригиналу, возможно, не возникала бы потребность в моделировании. Для большинства целей оказывается достаточно неполное, упрощённое отображение действительности. Модель передаёт только часть свойств исследуемого объекта, является егоупрощением. Что именно из свойств оригинала следует включать в его модель, а что — нет, зависит от целей моделирования. Таким образом, выбор цели определяет, что можно и что нужноотбросить, в каком направлении упрощать модель по сравнению с отображаемым оригиналом.Упрощённой моделью легче оперировать.
Как отмечают Ф.И. Перегудов и Ф.А. Тарасенко, часто более простая модель оказывается более правильной, упрощённость моделей основана какна свойствах мышления, ресурсов моделирования, так и на свойствах самой природы [115].Как считает Ю.А. Гастев, соответствие между оригиналом и моделью можно охарактеризовать с помощью понятия морфизм. Если любое свойство оригинала можно отобразить на модели единственным образом, причём модель во всех отношениях эквивалентна прототипу, то116можно говорить, что они оба неразличимы, их связывает отношение изоморфизма [121]. Еслиже модель не в полной мере отображает оригинал, отбрасывает детали, не важные для целеймоделирования, можно говорить о гомоморфном отображении.Модель описывает реальность с определённой долей приближения.