Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


“ипы св€зей между функци€ми




ќдним из важных моментов при моделировании с помощью метода SADT €вл€етс€ точна€ согласованность типов св€зей между функци€ми. –азличают по крайней мере св€зи семи типов (в пор€дке возрастани€ их относительной значимости):

Ј случайна€;

Ј логическа€;

Ј временна€;

Ј процедурна€;

Ј коммуникационна€;

Ј последовательна€;

Ј функциональна€.

—лучайна€ св€зь показывает, что конкретна€ св€зь между функци€ми незначительна или полностью отсутствует. Ёто относитс€ к ситуации, когда имена данных на SADT-дугах в одной диаграмме имеют слабую св€зь друг с другом.  райний вариант этого случа€ показан на рис. 2.8.

Ћогическа€ св€зь Ч данные и функции собираютс€ вместе благодар€ тому, что они попадают в общий класс или набор элементов, но необходимых функциональных отношений между ними не обнаруживаетс€.

–ис. 2.8. —лучайна€ св€зь

 

¬ременна€ св€зь Ч представл€ет функции, св€занные во вре≠мени, когда данные используютс€ одновременно или функции включаютс€ параллельно, а не последовательно.

ѕроцедурна€ св€зь (рис. 2.9) Ч функции сгруппированы вмес≠те благодар€ тому, что они выполн€ютс€ втечение одной и той же части цикла или процесса.

 

 

–ис. 2.9. ѕроцедурна€ св€зь

 

 оммуникационна€ св€зь Ч функции группируютс€ благодар€ тому, что они используют одни и те же входные данные и/или производ€т одни и те же выходные данные (рис. 2.10 ).

 

–ис. 2.10.  оммуникационна€ св€зь

 

ѕоследовательна€ св€зь Ч выход одной функции служит входными данными дл€ следующей функции. —в€зь между элементами на диаграмме €вл€етс€ более тесной, чем в рассмотренных выше случа€х, поскольку моделируютс€ причинно-следственные зависимости (рис. 2.11).

–ис. 2.11. ѕоследовательна€ св€зь

 

‘ункциональна€ св€зь Ч все элементы функции вли€ют на выполнение одной и только одной функции. ƒиаграмма, €вл€юща€с€ чисто функциональной, не содержит чужеродных элементов, относ€щихс€ к последовательному или более слабому типу св€зи.

ќдним из способов определени€ функционально-св€занных диаграмм €вл€етс€ рассмотрение двух блоков, св€занных через управл€ющие дуги, как показано на рис. 2.12.

–ис. 2.12. ‘ункциональна€ св€зь

 

¬ математических терминах необходимое условие дл€ простейшего типа функциональной св€зи имеет следующий вид:

 

C = g(B)=g(f(A)).

 

¬ табл. 2.2 представлены все типы св€зей, рассмотренные выше.

¬ажно отметить, что уровни 4Ч6 устанавливают св€зи, которые разработчики считают важнейшими дл€ получени€ диаграмм хорошего качества.

”ровень значимости “ип св€зи ’арактеристика типа св€зи
        дл€ функций дл€ данных
  —лучайна€ —лучайна€ —лучайна€
  Ћогическа€ ‘ункции одного и то≠го же множества или типа (например, Ђре≠дактировать все вхо≠дыї) ƒанные одного и того же множества или ти≠па
  ¬ременна€ ‘ункции одного и то≠го же периода време≠ни (например, Ђопе≠рации инициализа≠цииї) ƒанные, используе≠мые в каком-либо временном интервале
  ѕроцедурна€ ‘ункции, работаю≠щие в одной и той же фазе или итерации (например, Ђпервый проход компил€то≠раї) ƒанные, используе≠мые во врем€ одной и той же фазы или ите≠рации
   оммуника≠ционна€ ‘ункции, использую≠щие одни и те же дан≠ные ƒанные, на которые воздействует одна и та же де€тельность
  ѕоследова≠тельна€ ‘ункции, выполн€ю≠щие последователь≠ные преобразовани€ одних и тех же данных ƒанные, преобразуе≠мые последователь≠ными функци€ми
  ‘ункцио≠нальна€ ‘ункции, объедин€е≠мые дл€ выполнени€ одной функции ƒанные, св€занные содной функцией

“аблица2.2

ќписание типов св€зей

2.3.2.

ћќƒ≈Ћ»–ќ¬јЌ»я

ѕ–ќ÷≈——ќ¬ IDEF3

 

ћетод моделировани€ IDEF3[14], €вл€ющийс€ частью семей≠ства стандартов IDEF, был разработан в конце 1980-х годов дл€ закрытого проекта ¬¬— —Ўј. Ётот метод предназначен дл€ таких моделей процессов, в которых важно пон€ть последовательность выполнени€ действий и взаимозависимости между ними. ’от€ IDEF3 и не достиг статуса федерального стандарта —Ўј, он приобрел широкое распространение среди системных аналитиков как дополнение к методу функционального моделировани€ IDEF0 (модели IDEF3 могут использоватьс€ дл€ детализации функциональных блоков IDEF0, не имеющих диаграмм декомпозиции). ќсновой модели IDEF3 служит сценарий процесса, который выдел€ет последовательность действий и подпроцессов анализируемой системы.

 ак и в методе IDEF0, основной единицей модели IDEF3 €вл€етс€ диаграмма. ƒругой важный компонент модели Ч действие, или в терминах IDEF3 Ђединица работыї (Unit of Work Ч UOW). ƒиаграммы IDEF3 отображают действие в виде пр€моугольника. ƒействи€ именуютс€ с использованием глаголов или отглагольных существительных, каждому из действий присваиваетс€ уникальный идентификационный номер. Ётот номер не используетс€ вновь даже в том случае, если в процессе построени€ модели действие удал€етс€. ¬ диаграммах IDEF3 номер действи€ обычно предвар€етс€ номером его родител€ (рис. 2.13).

–ис. 2.13. »зображение и нумераци€ действи€ в диаграмме IDEF3

 

—ущественные взаимоотношени€ между действи€ми изображаютс€ с помощью св€зей. ¬се св€зи в IDEF3 €вл€ютс€ однонаправленными, и хот€ стрелка может начинатьс€ или заканчиватьс€ на любой стороне блока, обозначающего действие, диаграммы IDEF3 обычно организуютс€ слева направо таким образом, что стрелки начинаютс€ на правой и заканчиваютс€ на левой стороне блоков. ¬ табл. 2.3 приведены три возможных типа св€зей.

 

“аблица 2.3

“ипы св€зей IDEF3

»зображение Ќазвание Ќазначение
  ¬ременное предшество≠вание (Temporal precedence)     »сходное действие должно завершитьс€, прежде чем конечное действие сможет на≠чатьс€    
ќбъектный поток (Object flow)     ¬ыход исходного действи€ €вл€етс€ входом конечного действи€ (исходное действие должно завершитьс€, прежде чем конечное действие сможет начатьс€)    
Ќечеткое от≠ношение (Relationship) ¬ид взаимодействи€ между исходным и ко≠нечным действи€ми задаетс€ аналитиком отдельно дл€ каждого случа€ использовани€ такого отношени€

 

—в€зь типа Ђвременное предшествованиеї показывает, что исходное действие должно полностью завершитьс€, прежде чем начнетс€ выполнение конечного действи€.

—в€зь типа Ђобъектный потокї используетс€ в том случае, когда некоторый объект, €вл€ющийс€ результатом выполнени€ исходного действи€, необходим дл€ выполнени€ конечного действи€. ќбозначение такой св€зи отличаетс€ от св€зи временного предшествовани€ двойной стрелкой. Ќаименовани€ потоковых св€зей должны четко идентифицировать объект, который передаетс€ с их помощью. ¬ременна€ семантика объектных св€зей аналогична св€з€м предшествовани€, это означает, что порождающее объектную св€зь исходное действие должно завершитьс€, прежде чем конечное действие может начать выполн€тьс€.

—в€зь типа Ђнечеткое отношениеї используетс€ дл€ выделени€ отношений между действи€ми, которые невозможно описать с использованием св€зей предшествовани€ или объектных св€зей. «начение каждой такой св€зи должно быть определено, поскольку св€зи типа Ђнечеткое отношениеї сами по себе не предполагают никаких ограничений. ќдно из применений нечетких отношений Ч отображение взаимоотношений между параллельно выполн€ющимис€ действи€ми.

«авершение одного действи€ может инициировать начало выполнени€ сразу нескольких других действий или, наоборот, определенное действие может требовать завершени€ нескольких других действий до начала своего выполнени€. —оединени€ разбивают или соедин€ют внутренние потоки и используютс€ дл€ изображени€ ветвлени€ процесса:

Ј разворачивающие соединени€ используютс€ дл€ разбиени€ потока. «авершение одного действи€ вызывает начало выполнени€ нескольких других;

Ј сворачивающие соединени€ объедин€ют потоки. «авершение одного или нескольких действий вызывает начало выполнени€ другого действи€.

¬ табл. 2.4 описаны три типа соединений.

“аблица 2.4

“ипы соединений

 

√рафическое обозначение Ќазвание ¬ид ѕравила инициации
&     —оедине≠ние Ђиї     –азворачива≠ющее  аждое конечное действие об€зательно инициируетс€
—ворачиваю≠щее  аждое исходное действие об€зательно должно завер≠шитьс€
X     —оедине≠ние Ђиск≠лючающее Ђилиїї   –азворачива≠ющее ќдно и только одно конечное действие инициируетс€
—ворачиваю≠щее ќдно и только одно исходное действие должно завершитьс€
ќ     —оедине≠ние Ђилиї     –азворачива≠ющее ќдно или несколько конечных действий инициируютс€
—ворачиваю≠щее ќдно или несколько исходных действий должны завершитьс€

 

—оединени€ Ђиї инициируют выполнение конечных действий. ¬се действи€, присоединенные к сворачивающему соединению Ђиї, должны завершитьс€, прежде чем начнетс€ выполнение следующего действи€. Ќа рис. 2.14 после обнаружени€ пожара инициируютс€ включение пожарной сигнализации, вызов пожарной охраны, и начинаетс€ тушение пожара. «апись в журнал производитс€ только тогда, когда все три перечисленных действи€ завершены.

 

–ис. 2.14. —оединени€ Ђиї

 

—оединение Ђисключающее Ђилиїї означает, что вне зависимос≠ти от количества действий, св€занных со сворачивающим или разворачивающим соединением, инициировано будет только одно из них, и поэтому только оно будет завершено перед тем, как любое действие, следующее за сворачивающим соединением, сможет начатьс€. ≈сли правила активации соединени€ известны, они об€зательно должны быть документированы либо в его описании, либо пометкой стрелок, исход€щих из разворачивающего соединени€. Ќа рис. 2.15 соединение Ђисключающее Ђилиїї используетс€ дл€ отображени€ того факта, что студент не может одновременно быть направлен на лекции по двум разным курсам.

 

–ис. 2.15. —оединение Ђисключающее Ђилиїї

—оединение Ђилиї предназначено дл€ описани€ ситуаций, которые не могут быть описаны двум€ предыдущими типами соединений. јналогично св€зи нечеткого отношени€ соединение Ђилиї в основном определ€етс€ и описываетс€ непосредственно системным аналитиком. Ќа рис. 2.16 соединение J2 может активизировать проверку данных чека и/или проверку суммы наличных. ѕроверка чека инициируетс€, если покупатель желает расплатитьс€ чеком, проверка суммы наличных Ч при оплате наличными. “о и другое действие инициируетс€ при частичной оплате как чеком, так и наличными.

¬ рассмотренных примерах все действи€ выполн€лись асинхронно, т.е. они не инициировались одновременно. ќднако существуют случаи, когда врем€ начала или окончани€ параллельно выполн€емых действий должно быть одинаковым, т.е. действи€ должны выполн€тьс€ синхронно. ƒл€ моделировани€ такого поведени€ системы используютс€ различные виды синхронных соединений, которые обозначаютс€ двум€ двойными вертикальными лини€ми внутри пр€моугольника.

 

 

–ис. 2.16. —оединени€ Ђилиї

Ќапример, в спортивных сост€зани€х выстрел стартового пистолета, запуск секундомера и начало сост€зани€ должны произойти одновременно. Ќа рис. 2.17 представлена модель этого примера, построенна€ с использованием синхронного соединени€.

—инхронное разворачивающее соединение не об€зательно должно иметь парное сворачивающее соединение, т.е. начинающиес€ одновременно действи€ не об€заны оканчиватьс€ одновременно. ¬озможны также ситуации синхронного окончани€ асинхронно начавшихс€ действий.

–ис. 2.17. —инхронное соединение

 

¬се соединени€ на диаграммах должны быть парными, из чего следует, что любое разворачивающее соединение имеет парное себе сворачивающее. ќднако типы соединений не об€зательно должны совпадать.

—оединени€ могут комбинироватьс€ дл€ создани€ более сложных ветвлений.  омбинации соединений следует использовать с осторожностью, поскольку перегруженные ветвлением диаграммы могут оказатьс€ сложными дл€ воспри€ти€.

ƒействи€ в IDEF3 могут быть декомпозированы или разложены на составл€ющие дл€ более детального анализа. ћетод IDEF3 позвол€ет декомпозировать действие несколько раз, что обеспечивает документирование альтернативных потоков процесса в одной модели.

2.3.3.





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-11-05; ћы поможем в написании ваших работ!; просмотров: 3934 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

ƒва самых важных дн€ в твоей жизни: день, когда ты по€вилс€ на свет, и день, когда пон€л, зачем. © ћарк “вен
==> читать все изречени€...

1273 - | 1174 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.02 с.