ПОИСК Статьи Чертежи Таблицы Спецификации проектов программных систем из "Основы автоматизированного проектирования " Важное значение в процессе разработки ПО имеют средства спецификации проектов ПО. Средства спецификации в значительной мере определяют суть методов ASE. [c.248] Способы и средства спецификации классифицируют по базовой методологии, используемой для декомпозиции ПО как сложной системы, и по аспектам моделирования ПО. [c.248] Различают два подхода к декомпозиции ПО. Первый способ назьшают функциональным или структурным. Он основан на вьщелении функций и потоков данных. Второй способ - объектный, выражает идеи объектно-ориентирован-ного проектирования и программирования. [c.248] Аспектами моделирования приложений являются функциональное, поведенческое и информационное описания. [c.248] Одна из нотаций для DFD предложена Е. Йорданом. В ней описывают процессы (функции), потоки данных, хранилища и внешние сущности, их условные обозначения показаны на рис. 5.3. [c.249] Разработка DFD начинается с построения диаграммы верхнего уровня, отражающей связи программной системы, представленной в виде едтого процесса, с внешней средой. Декомпозиция процесса проводится до уровня, на котором фигурируют элементарные процессы, которые могут быть представлены одностраничными описаниями алгоритмов (мини-спецификациями) на терминальном языке программирования. [c.249] Поведенческие модели описьшают процессы обработки информации. В инструментальных ASE-системах их представляют в виде граф-схем, диаграмм перехода состояний, таблиц решений, псевдокодов (языков спецификаций), процедурных языков программирования, в том числе языков четвертого поколения. [c.249] В граф-схемах, как и в диаграммах DFD, блоки используют для задания процессов обработки, но дуги имеют иной смысл - они описывают последовательность передач управления (вместе со специальными блоками управления). [c.249] В диаграммах перехода состояний узлы соответствуют состояниям моделируемой системы, дуги - переходам из состояния в состояние, атрибуты дуг - условиям перехода и инициируемым при их выполнении действиям. Очевидно, что, как и в других конечно-автоматных моделях, кроме графической формы представления диаграмм перехода состояний можно использовать также табличные формы. Так, при изоморфном представлении с помощью таблиц перехода состояний каждому переходу соответствует строка таблицы, в которой указываются исходное состояние, условие перехода, инициируемое при этом действие и новое состояние после перехода. [c.249] Близкий по своему характеру способ описания процессов основан на таблицах (или деревьях) решений. Каждый столбец таблицы решений соответствует определенному сочетанию условий, при выполнении которых осуществляются действия, указанные в нижерасположенных клетках столбца. [c.250] Таблицы решений удобны при описании процессов с многократными ветвлениями. В этих случаях помогают также визуальные языки программирования, в которых для описания процессов используют графические элементы, подобные приведенным на рис. 5.4. [c.250] Объектный подход представлен компонентно-ориентированными технологиями разработки ПО. При объектном подходе ПО формируется из компонентов, объединяющих в себе алгоритмы и данные и взаимодействующих путем обмена сообщениями. Для поддержки объектного подхода разработан рассматриваемый далее стандартный язьпс моделирования приложений UML. [c.250] Вернуться к основной статье