Софтуерни технологии



страница10/106
Дата11.05.2023
Размер2.27 Mb.
#117653
ТипАнализ
1   ...   6   7   8   9   10   11   12   13   ...   106
Softuerni Texnologii
Свързани:
empty doc
3.2.2. Аналитичен модел
Създадените спецификации на изискванията към софтуера са основа за
изграждане на първия формален модел на целевата система — т. нар. аналити-
чен
модел. Той е резултат от проведения структурен анализ и предназначение-
то му е да улесни следващите дейности по проектиране. Основните съставящи
на аналитичния модел са:
а) Модел на данните
Моделът на данните представя основните обекти, атрибутите, които ги
описват, и връзките на обектите помежду им. Обект може да бъде всяко нещо,
което създава или използва информация в софтуерната система. Описанието на
38
обекта включва описание на същността и на атрибутите му, които представят
основните характеристики и свойства на този обект. Например в една библио-
течна система обектът книга има атрибути регистрационен номер, индекс (за
принадлежност към област в съответствие с общоприета класификация), загла-
вие, автор(и), издателство, година на издаване, цена, език, на който е написана,
и др. Друг обект е читател, който може да се опише с атрибути име, ЕГН,
адрес, образование, месторабота.
Обектите са свързани помежду си по различен начин. Например обектите
читател и книга са свързани с отношения заемам, връщам, загубвам, поръчвам.
Разглежданите отношения са ориентирани, т. е. имат посока, която трябва да се
отчита при анализирането и изобразяването им.
За всяко отношение могат да се определят стойностите на две основни
характеристики: кардиналност и модалност. Кардиналността е характе-
ристика, която определя колко екземпляра от единия обект могат да са в отно-
шение с екземпляри от другия обект. Кардиналността се описва с „един" и ,мно-
гo" и може да бъде един-към-един (1:1 читател — ЕГН), един-към-много (l:N
читател — книги) и много-към-много (M:N читатели — групи по интереси).
Модалността определя дали отношението между два обекта е задължи-
телно (модалност 1) или незадължително (модалност 0). Например отношение-
то заема между читател — книга в двете посоки има модалност 0, защото във
всеки момент има читатели, които не са заели книги, и книги, които не са взети
от читатели.
Използвайки приетите означения, отношенията между разглежданите обек-
ти могат да се представят графично по следния начин:

Диаграма, представяща обектите и отношенията между тях, се нарича ди-
аграма елемент-връзка (entity-relationship diagram ERD). Тя е предложена за
пръв път от Чен [4] за проектиране на релационни СУБД и после многократно
е разширявана и по съдържание, и по форма. ERD е графично представяне, в
което обектите се представят с надписани правоъгълници, а отношенията —
чрез свързващите ги надписани линии. Въведени са специални означения за
кардиналността и модалността на всяко отношение.
Описанието на обектите и атрибутите им заедно с диаграмата, представя-
ща отношенията между тях, определят модела на данните.
б) Функционален модел
Предназначението на този модел е да представи основните функции на соф-
туерната система чрез проследяване на преобразуването на информацията в нея.
Диаграмата на потока на данните (Data Flow Diagram) e графично представяне,
39



Като задължителна част на аналитичния модел се разглежда и речникът на
данните,
който представлява систематично и точно описание на всеки елемент
на данните, споменат в някой от моделите на софтуерната система. Описанието
на елемент от речника обикновено съдържа:

  • име на обекта;

  • синоними — други имена, използвани за същия обект;

  • списък на срещанията на този обект — къде и как се използва;

  • описание на същността на обекта;

  • допълнителна информация.

Основно преимущество на структурния анализ е простотата и нагледност-
та. Освен с това широкото му практическо използване се обяснява и с наличи-
ето на множество инструментални средства, подпомагащи систематичното му
прилагане за конструиране, описване и автоматично проверяване на пълнотата
и непротиворечивостта на съответните модели.

Фиг. 33
описващо трансформациите на данните така, че от входните данни в системата да
се получат исканите изходи. Използваните графични елементи са: правоъгълник
за означаване на външни обекти, предаващи или приемащи информация от сис-
темата; кръг — за означаване на функция, променяща данните по някакъв начин
и надписани стрелки, представящи съответните входни и изходни данни. Пример
за диаграма на потока на данните (ДПД) е показан на фиг. 3.3
Широкото практическо използване на ДПД се обуславя от тяхната изклю-
чителна простота и нагледност. Те могат да се съставят с различна степен на
детайлизираност. Например така наречената фундаментална ДПД (диаграма на
ниво 0) представя софтуерната система като една обобщена функция, преобра-
зуваща входа на системата в изхода. По-нататъшното анализиране изяснява ос-
новните функции, докато се достигне до описание, което може да бъде основа
за проектирането. Графичното представяне на функциите може да се съпътства
с допълнително описание на всеки елемент в ДПД. Това описание се нарича
спецификация на процеса. Освен входа, изхода и същността на извършваната
трансформация могат да се задават и допълнителни изисквания към всяка от
описваните функции.
Класическият структурен анализ е разширен с допълнителни техники за
отразяване на особеностите на определени класове софтуерни системи. Нап-
ример за моделиране на системи в реално време е предложено създаването на
диаграми на потока на управление [5]. Диаграмите на потока на управление
(ДПУ) и съответните им подробни описания, наречени спецификация на уп-
равлението
(control specification), могат да бъдат създавани с помощта на съ-
ответни инструментални средства.
в) Поведенчески модел
За някои видове системи се предлага създаването и на модел на поведението
на софтуерната система. При този подход системата се описва чрез различимите
си състояния и начина на преминаване от едно състояние в друго. Диаграмата
на преобразуване на състоянията (state transition diagram) представя графич-
но наблюдаваните състояния на системата (чрез правоъгълници) и събитията, пре-
дизвикващи преминаването от едно състояние в друго (чрез стрелки). Събитията
се описват чрез наредени двойки (пораждащо събитие, ответно действие).


Сподели с приятели:
1   ...   6   7   8   9   10   11   12   13   ...   106




©obuch.info 2024
отнасят до администрацията

    Начална страница