Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Диаграммы переходов состояний (SDT)
SDT демонстрирует поведение разрабатываемой программной системы при получении управляющих воздействий (извне). В диаграммах такого вида узлы соответствуют состояниям динамической системы, а дуги – переходу системы из одного состояния в другое. Узел, из которого выходит дуга, является начальным состоянием, узел, в который дуга входит – следующим. Дуга помечается именем входного сигнала или события, вызывающего переход, а так же сигналом или действием, сопровождающим переход. Условные обозначения, используемые при построении диаграмм переходов состояний, показаны на рис. 4.
Рис. 4. Условные обозначения диаграмм переходов состояний: а - терминальное состояние; б - промежуточное состояние; в - переход На рис. 5. представлена диаграмма переходов состояний программы активно не взаимодействующей с окружающей средой, которая имеет примитивный интерфейс, производит некоторые вычисления (например вычисляет значение заданной функции) и выводит простой результат.
Рис. 5. Диаграмма переходов состояний программного обеспечения, активно не взаимодействующего с окружающей средой На рис. 6 представлена диаграмма переходов торгового автомата активно взаимодействующего с покупателем. Рис. 6. Диаграмма переходов состояний торгового автомата Функциональные диаграммы Функциональными называют диаграммы, в первую очередь отражающие взаимосвязи функций разрабатываемого программного обеспечения. Они создаются на ранних этапах проектирования систем, для того чтобы помочь проектировщику выявить основные функции и составные части проектируемой системы и, по возможности, обнаружить и устранить существенные ошибки. Современные методы структурного анализа и проектирования предоставляют разработчику определённые синтаксические и графические средства проектирования функциональных диаграмм информационных систем. 4.1. Методология SADT В качестве примера рассмотрим методологию SADT предложенную Дугласом Россом. На ее основе разработана, в частности, известная методология IDEF0 (Icam DEFinition). Методология SADT представляет собой набор методов, правил и процедур, предназначенных для построения функциональной модели объекта какой-либо предметной области. Функциональная модель SADT отображает функциональную структуру объекта, т.е. производимые им действия и связи между этими действиями. Основные элементы этой методологии основываются на следующих концепциях: · графическое представление блочного моделирования. На SADT-диаграмме функции представляется в виде блока, а интерфейсы входа/выхода в виде дуг, соответственно входящих в блок и выходящих из него. Интерфейсные дуги отображают взаимодействие функций друг с другом; · строгость и точность отображения. Правила SADT включают: · уникальность меток и наименований; · ограничение количества блоков на каждом уровне декомпозиции; · синтаксические правила для графики; · связность диаграмм; · отделение организации от функции; · разделение входов и управлений. Методология SADT может использоваться для моделирования и разработки широкого круга систем, удовлетворяющих определенным требованиям и реализующим требуемые функции. В уже разработанных системах методология SADT может быть использована для анализа выполняемых ими функций, а также для указания механизмов, посредством которых они осуществляются. Диаграммы – главные компоненты модели, все функции программной системы и интерфейсы на них представлены как блоки и дуги. Место соединения дуги с блоком определяет тип интерфейса. Дуга, обозначающая управление, входит в блок сверху, в то время как информация, которая подвергается обработке, представляется дугой с левой стороны блока, а результаты обработки – это дуги с правой стороны. Механизм (человек или автоматизированная система), который осуществляет операцию, представляется в виде дуги, входящей в блок снизу (рис. 7). Рис. 7. Функциональный блок и интерфейсные дуги Блоки на диаграмме размещают по «ступенчатой» схеме в соответствии с последовательностью их работы или доминированием, которое понимается как влияние, оказываемое одним блоком на другие. В функциональных диаграммах SADT различают пять типов влияний блоков друг на друга: · вход-выход блока подается на вход блока с меньшим доминированием, т.е. следующего (рис. 8, а); · управление – выход блока используется как управление для блока с меньшим доминированием (рис. 8, б); · обратная связь по входу – выход блока подается на вход блока с большим доминированием (рис. 8, в); · обратная связь по управлению – выход блока используется как управляющая информация для блока с большим доминированием (рис. 8, г); · выход-исполнитель – выход блока используется как механизм для другого блока (рис. 8, д). Одной из наиболее важных особенностей методологии SADT является постепенное введение все больших уровней детализации по мере создания диаграмм, отображающих модель. На рис. 9 приведены четыре диаграммы и их взаимосвязи, показывающие структуру SADT-модели. Каждый компонент модели может быть декомпозирован на другой диаграмме. Детальная диаграмма иллюстрирует внутреннее строение блока «родительской» диаграммы. Рис. 8. Типы влияний блоков: а - вход; б - управление; в - обратная связь по входу; д - выход-исполнитель 4.2. Иерархия диаграмм Прежде всего, вся система представляется в виде простейшей компоненты – одного блока и дуг, представляющих собой интерфейсы с внешними по отношению к данной системе функциями. Имя блока является общим для всей системы. Затем блок, который представляет систему в целом, детализируется на следующей диаграмме. Он представляется в виде нескольких блоков, соединенных интерфейсными дугами. Каждый блок детальной диаграммы представляет собой подфункцию, границы которой определены интерфейсными дугами. Каждый из блоков детальной диаграммы может быть также детализирован на следующей в иерархии диаграмме. На каждом шаге декомпозиции более общая диаграмма называется родительской для более детальной диаграммы. Все диаграммы связывают друг с другом иерархической нумерацией блоков: первый уровень – АО, второй – А1, А2 и т. п., третий – А11, А12, А13 и т. п., где первые цифры – номер родительского блока, а последняя – номер конкретного блока детальной диаграммы.
Рис. 9. Структура SADT-модели. Декомпозиция диаграмм Во всех случаях каждая подфункция может содержать только те элементы, которые входят в исходную функцию, причем никакие из них не могут быть опущены. Т.е. родительский блок и его интерфейсы обеспечивают контекст. К нему нельзя ничего добавить, и из него не может быть ничего удалено. Дуги, входящие в блок и выходящие из него на диаграмме верхнего уровня, являются точно теми же самыми, что и дуги, входящие в диаграмму нижнего уровня и выходящие из нее, потому что блок и диаграмма представляют одну и ту же часть системы. На рис. 10 - 12 представлены различные варианты выполнения функций и соединения дуг с блоками. Рис. 10. Одновременное выполнение Рис. 11. Соответствие родительской и детальной диаграмм Последовательность операций, время их выполнения не указываются на SADT-диаграммах. Обратные связи, итерации, продолжающиеся процессы и перекрывающиеся (по времени) функции могут быть изображены с помощью дуг. Обратные связи могут выступать в виде комментариев, замечаний, исправлений и т.д. (рис. 12). Рис. 12. Пример обратной связи Пример 1. Разработку функциональных диаграмм продемонстрируем на примере уточнения спецификаций программы сортировки одномерного массива с использованием нескольких методов. Диаграмма, представленная на рис. 13, а, является диаграммой верхнего уровня. Она иллюстрирует исходные данные программы и ожидаемые результаты. Диаграмма, представленная на рис. 13, б, детализирует функции программы. На ней показаны три блока: Меню, Сортировка, Вывод результата. Для каждого блока определены исходные данные, управляющие воздействия и результаты. На детализирующей диаграмме используются следующие обозначения: I1 – размер массива; I2 – массив; С1 – выбор метода; R1 – вывод описания метода; R2 – отсортированный массив. Рис. 13. Функциональные диаграммы для системы исследования функций: а - диаграмма верхнего уровня; б - уточняющая диаграмма Диаграммы потоков данных (DFD) Такая диаграмма состоит из трех типов узлов: узлов обработки данных, узлов хранения данных и внешних узлов, представляющих внешние, по отношению к используемой диаграмме, источники или потребители данных. Дуги в диаграмме соответствуют потокам данных, передаваемых от узла к узлу. Они помечены именами соответствующих данных. Описание процесса, функции или системы обработки данных, соответствующих узлу диаграммы, может быть представлено диаграммой следующего уровня детализации, если процесс достаточно сложен. Для изображения диаграмм потоков данных традиционно используют два вида нотаций: нотации Иордана и Гейна-Сарсона (табл. 4). Таблица 4
Первым шагом при построении иерархии диаграмм потоков данных является построение контекстных диаграмм, показывающих как система будет взаимодействовать с пользователями и другими внешними системами. При проектировании простых систем достаточно одной контекстной диаграммы, имеющей звездную топологию, в центре которой располагается основной процесс, соединенный с источниками и приемниками информации. Для сложных систем строится иерархия контекстных диаграмм, которая определяет взаимодействие основных функциональных подсистем проектируемой системы как между собой, так и с внешними входными и выходными потоками данных и внешними объектами. При этом контекстная диаграмма верхнего уровня содержит набор подсистем, соединенных потоками данных. Контекстные диаграммы следующего уровня детализируют содержимое и структуру подсистем. После построения контекстных диаграмм полученную модель следует проверить на полноту исходных данных и отсутствие информационных связей с другими объектами. Для каждой подсистемы, присутствующей на контекстных диаграммах, выполняется ее детализация при помощи диаграмм потоков данных, при этом необходимо соблюдать следующие правила: · правило балансировки – означает, что при детализации подсистемы можно использовать только те компоненты (подсистемы, процессы, внешние сущности, накопители данных), с которыми она имеет информационную связь на родительской диаграмме; · правило нумерации – означает, что при детализации подсистем должна поддерживаться их иерархическая нумерация. Например, подсистемы, детализирующие подсистему с номером 2, получают номера 2.1, 2.2, 2.3 и т.д. При построении иерархии диаграмм потоков данных переходить к детализации процессов следует только после определения структур данных, которые описывают содержание всех потоков и накопителей данных. Структуры данных могут содержать альтернативы, условные вхождения и итерации. Условное вхождение означает, что соответствующие компоненты могут отсутствовать в структуре. Альтернатива означает, что в структуру может входить один из перечисленных элементов. Итерация означает, что компонент может повторяться в структуре некоторое указанное число раз. Для каждого элемента данных может указываться его тип (непрерывный или дискретный). Для непрерывных данных может указываться единица измерения (кг, см и т.п.), диапазон значений, точность представления и форма физического кодирования. Для дискретных данных может указываться таблица допустимых значений. Построенную модель системы необходимо проверить на полноту и согласованность. В полной модели все ее объекты (подсистемы, процессы, потоки данных) должны быть подробно описаны и детализированы. Выявленные недетализированные объекты следует детализировать, вернувшись на предыдущие шаги разработки. В согласованной модели для всех потоков данных и накопителей данных должно выполняться правило сохранения информации: все поступающие куда-либо данные должны быть считаны, а все считываемые данные должны быть записаны. В соответствии с вышесказанным процесс построения модели разбивается на следующие этапы: 1. Выделение множества требований в основные функциональные группы – процессы. 2. Выявление внешних объектов, связанных с разрабатываемой системой. 3. Идентификация основных потоков информации, циркулирующей между системой и внешними объектами. 4. Предварительная разработка контекстной диаграммы. 5. Проверка предварительной контекстной диаграммы и внесение в нее изменений. 6. Построение контекстной диаграммы путем объединения всех процессов предварительной диаграммы в один процесс, а также группирования потоков. 7. Проверка основных требований контекстной диаграммы. 8. Декомпозиция каждого процесса текущей DFD с помощью детализирующей диаграммы или спецификации процесса. 9. Проверка основных требований по DFD соответствующего уровня. 10. Добавление определений новых потоков в словарь данных при каждом их появлении на диаграммах. 11. Проверка полноты и наглядности модели после построения каждых двух-трех уровней. Пример 2. Разработаем иерархию диаграмм потоков данных программы сортировки одномерных массивов. Для начала построим контекстную диаграмму, для чего определим внешние сущности и потоки данных между программой и внешними сущностями. Внешней сущностью по отношению к программе является Пользователь. Он выбирает метод сортировки и вводит исходные данные, а затем получает от программы описание выбранного метода и отсортированный массив. На рис. 14 представлена контекстная диаграмма данной программы. Рис. 14. Контекстная диаграмма программы построения графиков/таблиц функций После детализации у нас получилось три процесса: Меню, Сортировка, Вывод результата. Для хранения описаний алгоритмов служит Хранилище алгоритмов. Теперь определим потоки данных. Детализирующая диаграмма потоков данных изображена на рис. 15. Как мы видим, она несколько отличается от функциональной диаграммы (рис. 13), например, на ней показано хранилище данных для хранения описаний алгоритмов. Это отличие является важным при проектировании баз данных. Рис. 15. Детализирующая диаграмма потоков данных программы сортировки одномерного массива (нотация Гейна-Сарсона) 6. Диаграммы сущность-связь Базовыми понятиями ER-модели данных (ER – Entity-Relationship) являются: сущность, атрибут и связь. Первый вариант модели сущность-связь был предложен в 1976 г. Питером Пин-Шэн Ченом. В дальнейшем многими авторами были разработаны свои варианты подобных моделей (нотация Мартина, нотация IDEF1X, нотация Баркера и др.). Кроме того, различные программные средства, реализующие одну и ту же нотацию, могут отличаться своими возможностями. Все варианты диаграмм сущность-связь исходят из одной идеи – рисунок всегда нагляднее текстового описания. Все такие диаграммы используют графическое изображение сущностей предметной области, их свойств (атрибутов), и взаимосвязей между сущностями. Поскольку нотация Баркера является наиболее распространенной, в дальнейшем будем придерживаться именно ее. 6.1. Основные понятия ER-диаграмм Сущность – это класс однотипных объектов, информация о которых должна быть учтена в модели. Сущность имеет наименование, выраженное существительным в единственном числе и обозначается в виде прямоугольника с наименованием (рис 16, а). Примерами сущностей могут быть такие классы объектов как «Студент», «Сотрудник», «Товар». Экземпляр сущности – это конкретный представитель данной сущности. Например, конкретный представитель сущности «Студент» – «Максимов». Причем сущности должны иметь некоторые свойства, уникальные для каждого экземпляра этой сущности, для того чтобы различать экземпляры. Атрибут сущности – это именованная характеристика, являющаяся некоторым свойством сущности. Наименование атрибута должно быть выражено существительным в единственном числе (возможно, с описательными оборотами или прилагательными). Примерами атрибутов сущности «Студент» могут быть такие атрибуты как «Номер зачетной книжки», «Фамилия», «Имя», «Пол», «Возраст», «Средний балл» и т.п. Атрибуты изображаются в прямоугольнике, обозначающем сущность (рис. 16, б). Ключ сущности – это неизбыточный набор атрибутов, значения которых в совокупности являются уникальными для каждого экземпляра сущности. При удалении любого атрибута из ключа нарушается его уникальность. Ключей у сущности может быть несколько. На диаграмме ключевые атрибуты отображаются подчеркиванием (рис. 16, в). Связь – это отношение одной сущности к другой или к самой себе. Возможно по одной сущности находить другие, связанные с ней. Например, связи между сущностями могут выражаться следующими фразами – «СОТРУДНИК может иметь несколько ДЕТЕЙ», «СОТРУДНИК обязан числиться точно в одном ОТДЕЛЕ». Графически связь изображается линией, соединяющей две сущности (рис. 17):
Рис. 16. Обозначения сущности в нотации Баркера: а - без атрибутов; б - с указанием атрибутов; в - с ключевым атрибутом Каждая связь имеет одно или два наименования. Наименование обычно выражается неопределенной формой глагола: «Продавать», «Быть проданным» и т.п. Каждое из наименований относится к своему концу связи. Иногда наименования не пишутся ввиду их очевидности. Рис. 17. Пример связи между сущностями Связь может иметь один из следующих типов: Рис. 18. Типы связей Связь типа один-к-одному означает, что один экземпляр первой сущности связан точно с одним экземпляром второй сущности. Такая связь чаще всего свидетельствует о том, что мы неправильно разделили одну сущность, на две. Связь типа один-ко-многим означает, что один экземпляр первой сущности связан с несколькими экземплярами второй сущности. Это наиболее часто используемый тип связи. Пример такой связи приведен на рис. 17. Связь типа много-ко-многим означает, что каждый экземпляр первой сущности может быть связан с несколькими экземплярами второй сущности, и наоборот. Тип связи много-ко-многим является временным типом связи, допустимым на ранних этапах разработки модели. В дальнейшем такую связь необходимо заменить двумя связями типа один-ко-многим путем создания промежуточной сущности. Каждая связь может иметь одну из двух модальностей связи: Рис. 19. Модальности связей Связь может иметь разную модальность с разных концов как на рис. 17. Каждая связь может быть прочитана как слева направо, так и справа налево. Связь на рис. 17 читается так: Слева направо: «Сотрудник может иметь несколько детей». Справа налево: «Ребенок должен принадлежать точно одному сотруднику». 6.2. Пример разработки простой ER-диаграммы Необходимо разработать информационную систему по заказу некоторой оптовой торговой фирмы, которая должна выполнять следующие действия: · хранить информацию о покупателях; · печатать накладные на отпущенные товары; · следить за наличием товаров на складе. Выделим все существительные в этих предложениях – это будут потенциальные кандидаты на сущности и атрибуты, и проанализируем их (непонятные термины будем выделять знаком вопроса): · Покупатель – явный кандидат на сущность. · Накладная – явный кандидат на сущность. · Товар – явный кандидат на сущность · (?)Склад – а вообще, сколько складов имеет фирма? Если несколько, то это будет кандидатом на новую сущность. · (?)Наличие товара – это, скорее всего, атрибут, но атрибут какой сущности? Сразу возникает очевидная связь между сущностями – "покупатели могут покупать много товаров" и "товары могут продаваться многим покупателям". Первый вариант диаграммы выглядит так: Рис. 20. Первый вариант ER-диаграммы Задав дополнительные вопросы менеджеру, мы выяснили, что фирма имеет несколько складов. Причем, каждый товар может храниться на нескольких складах и быть проданным с любого склада. Куда поместить сущности "Накладная" и "Склад" и с чем их связать? Спросим себя, как связаны эти сущности между собой и с сущностями "Покупатель" и "Товар"? Покупатели покупают товары, получая при этом накладные, в которые внесены данные о количестве и цене купленного товара. Каждый покупатель может получить несколько накладных. Каждая накладная обязана выписываться на одного покупателя. Каждая накладная обязана содержать несколько товаров (не бывает пустых накладных). Каждый товар, в свою очередь, может быть продан нескольким покупателям по нескольким накладным. Кроме того, каждая накладная должна быть выписана с определенного склада, и с любого склада может быть выписано много накладных. Таким образом, после уточнения, диаграмма будет выглядеть следующим образом:
Рис. 21. Промежуточный вариант ER-диаграммы Пора подумать об атрибутах сущностей. Беседуя с сотрудниками фирмы, мы выяснили следующее: · каждый покупатель является юридическим лицом и имеет наименование, адрес, банковские реквизиты; · каждый товар имеет наименование, цену, а также характеризуется единицами измерения; · каждая накладная имеет уникальный номер, дату выписки, список товаров с количествами и ценами, а также общую сумму накладной. Накладная выписывается с определенного склада и на определенного покупателя; · каждый склад имеет свое наименование; Снова выпишем все существительные, которые будут потенциальными атрибутами, и проанализируем их: · Юридическое лицо – термин риторический, мы не работаем с физическими лицами. Не обращаем внимания; · Наименование покупателя – явная характеристика покупателя; · Адрес – явная характеристика покупателя; · Банковские реквизиты – явная характеристика покупателя; · Наименование товара – явная характеристика товара; · (?)Цена товара – похоже, что это характеристика товара. Отличается ли эта характеристика от цены в накладной? · Единица измерения – явная характеристика товара; · Номер накладной – явная уникальная характеристика накладной; · Дата накладной – явная характеристика накладной; · (?)Список товаров в накладной – список не может быть атрибутом. Вероятно, нужно выделить этот список в отдельную сущность; · (?)Количество товара в накладной – это явная характеристика, но характеристика чего? Это характеристика не просто "товара", а "товара в накладной"; · (?)Цена товара в накладной – опять же это должна быть не просто характеристика товара, а характеристика товара в накладной. Но цена товара уже встречалась выше - это одно и то же? · Сумма накладной – явная характеристика накладной. Эта характеристика не является независимой. Сумма накладной равна сумме стоимостей всех товаров, входящих в накладную; · Наименование склада – явная характеристика склада. В ходе дополнительной беседы с менеджером удалось прояснить различные понятия цен. Оказалось, что каждый товар имеет некоторую текущую цену. Эта цена, по которой товар продается в данный момент. Естественно, что эта цена может меняться со временем. Цена одного и того же товара в разных накладных, выписанных в разное время, может быть различной. Таким образом, имеется две цены – цена товара в накладной и текущая цена товара. С возникающим понятием "Список товаров в накладной" все довольно ясно. Сущности "Накладная" и "Товар" связаны друг с другом отношением типа много-ко-многим. Такая связь, как мы отмечали ранее, должна быть расщеплена на две связи типа один-ко-многим. Для этого требуется дополнительная сущность. Этой сущностью и будет сущность "Список товаров в накладной". Связь ее с сущностями "Накладная" и "Товар" характеризуется следующими фразами - "каждая накладная обязана иметь несколько записей из списка товаров в накладной", "каждая запись из списка товаров в накладной обязана включаться ровно в одну накладную", "каждый товар может включаться в несколько записей из списка товаров в накладной", " каждая запись из списка товаров в накладной обязана быть связана ровно с одним товаром". Атрибуты "Количество товара в накладной" и "Цена товара в накладной" являются атрибутами сущности " Список товаров в накладной". Точно также поступим со связью, соединяющей сущности "Склад" и "Товар". Введем дополнительную сущность "Товар на складе". Атрибутом этой сущности будет "Количество товара на складе". Таким образом, товар будет числиться на любом складе и количество его на каждом складе будет свое. Теперь можно внести все это в диаграмму: Рис. 22. Окончательный вариант ER-диаграммы Порядок выполнения работы: 1. На основе технического задания из лабораторной работы № 1 выполнить анализ функциональных и эксплуатационных требований к программному продукту. 2. Оформить пояснительную записку к эскизному проекту в соответствии с ГОСТ 2.119-73 Эскизный проект (см. приложение 4). 3. Определить спецификации процессов. 4. Определить диаграммы переходов состояний. 5. Определить функциональные диаграммы (верхнего уровня и детализирующую). 6. Определить диаграммы потоков данных для решаемой задачи (контекстную и детализирующую). 7. Определить диаграммы «сущность-связь», если в задании присутствует база данных. Примечание: При выполнении пп. 3 – 7 желательно использовать MS Visio. 8. Добавить словарь терминов. 9. Оформить все полученные результаты в виде приложений к эскизному проекту. 10. Сдать и защитить работу. Защита отчета по лабораторной работе Отчет по лабораторной работе должен включать в себя: 1. Постановку задачи. 2. Пояснительную записку к эскизному проекту: · все полученные диаграммы; · спецификации процессов; · словарь; · выбор метода решения и языка программирования. Защита отчета по лабораторной работе заключается в предъявлении преподавателю полученных результатов (на экране монитора), демонстрации полученных навыков и ответах на вопросы преподавателя. Контрольные вопросы 1. Этапы разработки программного обеспечения. 2. Постановка задачи и предпроектные исследования. 3. Функциональные и эксплуатационные требования к программному продукту. 4. Составляющие эскизного проекта. 5. Спецификации и модели. 6. Диаграммы потоков данных. 7. Функциональные диаграммы. 8. Диаграммы переходов состояний. 9. Диаграммы «сущность-связь». 10. Факторы, влияющие на разработку программного обеспечения. Лабораторная работа № 3 Структурный подход к программированию. Стадия «Технический проект» Цель занятия: изучить вопросы проектирования программного обеспечения. Ознакомиться с понятиями структурной и функциональной схем. Рассмотреть метод пошаговой детализации при разработке структурной схемы программного продукта. Изучить методики Джексона и Константайна при проектировании программного обеспечения. Лабораторная работа рассчитана на 4 академических часа. Подготовка к лабораторной работе: 1. Ознакомиться с лекционным материалом по теме "Этапы разработки программного обеспечения. Проектирование программного обеспечения" учебной дисциплины "Технология разработки программного обеспечения". 2. Изучить соответствующие разделы в изданиях [1, 2]. Теория: Проектирование программного обеспечения при структурном подходе При проектировании сложного программного обеспечения, прежде всего, необходимо определить структурные компоненты и связи между ними. Полученная в результате структура ПО должна быть представлена в виде структурной или функциональной схем и спецификаций ее компонентов. |
Последнее изменение этой страницы: 2019-05-08; Просмотров: 474; Нарушение авторского права страницы