4. Методология Гейни-Сарсона

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

В качестве нотации используются DFD (Data-Flow Diagrams) - диаграммы потоков данных. Простота DFD заключается в использовании только четырех символов для продуцирования картины, лежащей в основе логической природы любой информационной системы на любом уровне детализации: символа для идентификации внешних объектов; символа для идентификации хранилищ данных; символа для указания активностей; символа для указания направления движения данных.

Подход к логическому моделированию, получивший название методологии Гейни-Сарсона, основан на процессе, разбиваемом на восемь этапов:

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

Этап 2. Разработка модели данных первого уровня - списка элементов данных, располагающихся в каждом хранилище данных. Список составляется на основе собственных знаний или знаний пользователя о том, какая информация необходима для описания системы.

Этап 3. Анализ отношений между объектами и структурами данных, хранящихся в системе, и построение соответствующей диаграммы отношений, демонстрирующей все отношения (связи), которые существуют между объектами. При этом для каждой пары объектов возможны связи следующих типов: один-один, один-много, много-один, много-много.

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

Этап 5. Расширение DPD с целью уточнения системных данных за счет результатов анализа отношений объектов и нормализации.

Этап 6. Разбиение логической модели обработки данных на процедурные единицы - автоматические и ручные процедуры, которые могут выполняться (и, следовательно, разрабатываться) как отдельные части.

Этап 7. Спецификации деталей каждой процедурной единицы, которые будут необходимы для реализации системы. Также спецификации могут включать:

• «экстракт» DFD, демонстрирующий части системы, в которых специфицируемая процедурная единица используется;

• детали таблиц, доступные процедурной единице;

• форматы экранов и сообщений для процедурной единицы;

• детали логики и реализованных фрагментов, написанные на структурированном английском языке или псевдокоде.

Этап 8. Принятие решения о необходимости прототипирования процедурной единицы или ее непосредственной реализации на целевом языке.

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