42. Методы постепенной формализации задач в управлении проектами.

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

Основные принципы и этапы подхода следующие.

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

2. Выбирается подход к моделир-ю, и вводятся правила преобразования: правила структуризации, или декомпозиции, правила композиции, поиска мер близости на пространстве состояний элементов, в зависимости от конкр. задачи подходы могут чередоваться, применяться параллельно.

3. С помощью языка моделир-я фиксируют элем-ты и связи м\ду ними. При этом не ставится задача полного «перечисления» сис-мы, а фиксир-ся элементы, известные на данный момент, в рез-те чего формир-ся, исходное множ-во эл-тов.

4. Путем преобраз-я полученного отображ-я с помощью принятых правил получ-т новые, не известные ранее компоненты, взаимоотн-я, завис-ти, структуры. Эти компоненты и взаимосвязи м\ду ними могут либо послужить основой для принятия реш-й, либо подсказать послед. шаги на пути подготовки реш-я.

5. Полученные новые результаты включаются в первоначальное описание, и процедура преобразования повторяется до тех пор, пока не найдено удовлетворительное решение.

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

Процесс постепенной формализации задачи может стать обоснованием формальной модели с постепенным доказательством ее адекватности на каждом витке моделирования.