18588

Спецификации проектов программных систем

Доклад

Информатика, кибернетика и программирование

Спецификации проектов программных систем Важное значение в процессе разработки ПО имеют средства спецификации проектов ПО. Средства спецификации в значительной мере определяют суть методов CASE. Способы и средства спецификации классифицируют по базовой методологии

Русский

2013-07-08

42 KB

7 чел.

Спецификации проектов программных систем

Важное значение в процессе разработки ПО имеют средства спецификации проектов ПО. Средства спецификации в значительной мере определяют суть методов CASE.

Способы и средства спецификации классифицируют по базовой методологии, используемой для декомпозиции ПО как сложной системы, и по аспектам моделирования ПО.

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

Аспектами моделирования приложений являются функциональное, поведенческое и информационное описания.

Практически все способы функциональных спецификаций имеют следующие общие черты:

модель имеет иерархическую структуру, представляемую в виде диаграмм нескольких уровней;

элементарной частью диаграммы каждого уровня является конструкция вход - функция - выход;

необходимая дополнительная информация содержится в файлах поясняющего текста.

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

Рис. 5.3. Изображения элементов в нотации Иордана

понентный состав потоков данных, число повторений циклов и т. п. Для описания структуры информационных потоков можно использовать нотацию Бэ-куса - Наура.   ч

Одна из нотаций для DFD предложена Е. Йорданом. В ней описывают процессы (функции), потоки данных, хранилища и внешние сущности, их условные обозначения показаны на рис. 5.3.

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

Для описания информационных моделей наибольшее распространение получили диаграммы сущность - отношение (ERD - Entity-Relation Diagrams), в которых предусмотрены средства для описания сущностей, атрибутов и отношений. Спецификации хранилищ данных в CASE, как правило, даются с помощью диаграмм сущность - отношение. Стандартной методикой построения таких диаграмм является IDEF1X.

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

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

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

Рис. 5.4. Примеры описания операторов в визуальных языках программирования

Близкий по своему характеру способ описания процессов основан на таблицах (или деревьях) решений. Каждый столбец таблицы решений соответствует определенному сочетанию условий, при выполнении которых осуществляются действия, указанные в нижерасположенных клетках столбца.

Таблицы решений удобны при описании процессов с многократными ветвлениями. В этих случаях помогают также визуальные языки программирования, в которых для описания процессов используют графические элементы, подобные приведенным на рис. 5.4.

В псевдокодах алгоритмы записываются с помощью как средств некоторого языка программирования (преимущественно для управляющих операторов), так и естественного языка (для выражения содержания вычислительных блоков). Используются конструкции (операторы) следования, условные, цикла. Служебные слова из базового языка программирования или из DFD записываются заглавными буквами, фразы естественного языка - строчными.

Языки четвертого поколения предназначены для описания программ как совокупностей заранее разработанных программных модулей. Поэтому одна команда языка четвертого поколения может соответствовать значительному фрагменту программы на языке 3GL. Примерами языков 4GL могут служить Informix-4GL, JAM, NewEra, XAL.

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

Объектный подход представлен компонентно-ориентированными технологиями разработки ПО. При объектном подходе ПО формируется из компонентов, объединяющих в себе алгоритмы и данные и взаимодействующих путем обмена сообщениями. Для поддержки объектного подхода разработан рассматриваемый далее стандартный язык моделирования приложений UML.


 

А также другие работы, которые могут Вас заинтересовать

15032. Әдеби шығарма, көркем мәтінді проблемалық талдай оқыту жолдары 42 KB
  Қазіргі педагогтың кәсіби біліктілігі. Қарағанды қалалық білім басқармасы Білім дамыту Орталығы V қалалық ғылымиәдістемелік конференциясының жадығаттары 28 сәуір 2003ж.Қарағанды 2003ж. 35 бет Әдеби шығарма көркем мәтінді проблемалық талдай оқыту жолдары Ахано...
15033. Әдебиет пен сынның биік белесі 49.5 KB
  ӘДЕБИЕТ ПЕН СЫННЫҢ БИІК БЕЛЕСІ Nov 202006 00:00 by oljas Қазіргі қазақ әдебиеті сынының тарихына оның жүріп өткен жолына көркемдік сапа деңгейі тұрғысынан қарағанда бірнеше айтулы кезеңдерді атап өтуге болар еді. ХХ ғасырдың 2030 жылдарында алаш арыстары негізін қалаған осылар...
15034. Әлем әдебиетіндегі сентиментализм 54 KB
  Әлем әдебиетіндегі сентиментализм ...Өткен ғасырлар үлесіндегі әлем әдебиетінде көптеген әдеби ағымдардың болғаны баршаға аян. Сол ағымдардың ішіндегі 18ғасыр дың екінші жартысы мен 19ғасырдың басында дамыған ағым сентиментализм. Сентиментализм французша сезім с
15035. Жүрегі жүз жыл жырлаған (Жамбыл) 85 KB
  Жүрегі жүз жыл жырлаған Менің пірім Сүйінбай... Қазақ халқы табиғатынан ақын халық. Есте жоқ ескі замандардан бергі ел тарихының көркем шежіресін жасаушылар да оның сақтаушылары да сөз зергерлері ақындар. Ғасырдан ғасырға жалғасып атадан ұрпаққа мирас ...
15036. Жүсіп Баласағұн шығармаларының Қазақ ақындарымен сабақтастығы 56.5 KB
  Жүсіп Баласағұнның және ХІХХХ ғасыр басындағы қазақ әдебиеті өкілдерінің шығармашылығындағы замана бейнесі Түркі әлеміне есімі мәшһүр болып қайта өрлеу дәуірінің аса көрнекті ақыны данышпанойшылы Жүсіп Баласағұн өнегелі ойтолғамдарын өзінің Құтадғу білік
15037. Жыр жампозы - Жамбыл 47 KB
  ӘОЖ 801: 894.342 ЖЫР ЖАМПОЗЫ К.Ж. Демеш Жамбыл облысы әкімияты Тараз қ. Қашанда халық арасынан өнерімен елді сүйсіндірген адамдар шығып отырған. Олар елді қиынқыстау шағында қиыншылықтан шығуға қол ұшын берумен қатар рухани тірегі бола білді. Ел мақтанышына айна
15038. Жырау мен жыршылдық дәстүрдің Қазақ әдебиетіндегі қалыптасуы 52.5 KB
  ӘОЖ 378.147:8.0 ЖЫРАУ МЕН ЖЫРШЫЛЫҚ ДӘСТҮРДІҢ ҚАЗАҚ ӘДЕБИЕТІНДЕГІ ҚАЛЫПТАСУЫ А.Мұқашева Г.Мейірбекова Тараз мемлекеттік педагогикалық институты Тараз қ. Тарих қашан да өз перзенттерінің құнды мұраларымен қымбат әрі барлық кезеңдердің сарапшысы.Ерлігі м...
15039. Зар заман ақындарының (Дулат, Шортанбай, Мұрат) шығармаларындағы идеялық ерекшеліктер 42.5 KB
  ӘОЖ 323 001 574 ХІХ ҒАСЫРДЫҢ ІІ ЖАРТЫСЫНДАҒЫ ҚАЗАҚ ӘДЕБИЕТІНДЕГІ ЗАР ЗАМАН ӨКІЛДЕРІ Қ.С. Қожабекова Тараз мемлекеттік педагогикалық институты Тараз қ. Қазақ әдебиетіндегі байырлық рух ХVІІІ ғасырда жоңғарлар мен қарсы күресте ХІХ ұлт азаттық күресте Мах...
15040. Ілияс Есенберлиннің тарихи романдары 63 KB
  ІЛИЯС ЕСЕНБЕРЛИН 1915-1983 Ілияс Есенберлин 1915 жылы Ақмола облысындағы Атбасар қаласында туған. 1940 жылы Қазақ таукен институтын бітірген. Ұлы Отан соғысына қатысқан. Соғыстан кейінгі жылдарда филармонияны Жазушы баспасын басқарады т.б. жұмыстар атқарады. Жазушы ...