какая запись изображает сторожевое условие guard condition на диаграммах языка uml
Элементы графической нотации диаграммы состояний
Переход и событие
На диаграмме состояний переход изображается сплошной линией со стрелкой, которая выходит из исходного состояния и направлена в целевое состояние (например, выход из строя на рис. 9.1). Каждый переход может быть помечен строкой текста, которая имеет следующий общий формат:
Формально, событие представляет собой спецификацию факта, имеющего место в пространстве и во времени. Про события говорят, что они «происходят», при этом отдельные события должны быть упорядочены во времени. После наступления события нельзя уже вернуться к предыдущим, если такая возможность явно не предусмотрена в модели.
Переход называется триггерным, если его специфицирует событие-триггер, связанное с внешними условиями по отношению к рассматриваемому состоянию.
Переход называется нетриггерным, если он происходит по завершении выполнения ду-деятельности в данном состоянии.
Выражение действия (action expression) представляет собой вызов операции или передачу сообщения, имеет атомарный характер и выполняется сразу после срабатывания соответствующего перехода до начала действий в целевом состоянии.
В качестве примера выражения действия перехода ( рис. 9.6) может служить отображение сообщения на экране банкомата в том случае, когда запрашиваемая клиентом сумма превосходит остаток на его счету. В случае если кредит не превышен, то происходит переход в состояние получения наличных.
Какая запись изображает сторожевое условие guard condition на диаграммах языка uml
змбчб 6
дЙБЗТБННБ УПУФПСОЙК (statechart diagram)
тБУУНПФТЕООБС ЧЩЫЕ ДЙБЗТБННБ ЛМБУУПЧ РТЕДУФБЧМСЕФ УПВПК МПЗЙЮЕУЛХА НПДЕМШ УФБФЙЮЕУЛПЗП РТЕДУФБЧМЕОЙС НПДЕМЙТХЕНПК УЙУФЕНЩ. тЕЮШ ЙДЕФ П ФПН, ЮФП ОБ ДБООПК ДЙБЗТБННЕ ЙЪПВТБЦБАФУС ФПМШЛП ЧЪБЙНПУЧСЪЙ УФТХЛФХТОПЗП ИБТБЛФЕТБ, ОЕ ЪБЧЙУСЭЙЕ ПФ ЧТЕНЕОЙ ЙМЙ ТЕБЛГЙЙ УЙУФЕНЩ ОБ ЧОЕЫОЙЕ УПВЩФЙС. пДОБЛП ДМС ВПМШЫЙОУФЧБ ЖЙЪЙЮЕУЛЙИ УЙУФЕН, ЛТПНЕ УБНЩИ РТПУФЩИ Й ФТЙЧЙБМШОЩИ, УФБФЙЮЕУЛЙИ РТЕДУФБЧМЕОЙК УПЧЕТЫЕООП ОЕДПУФБФПЮОП ДМС НПДЕМЙТПЧБОЙС РТПГЕУУПЧ ЖХОЛГЙПОЙТПЧБОЙС РПДПВОЩИ УЙУФЕН ЛБЛ Ч ГЕМПН, ФБЛ Й ЙИ ПФДЕМШОЩИ РПДУЙУФЕН Й ЬМЕНЕОФПЧ.
тБУУНПФТЙН РТПУФПК РТЙНЕТ. мАВПЕ ФЕИОЙЮЕУЛПЕ ХУФТПКУФЧП, ФБЛПЕ ЛБЛ ФЕМЕЧЙЪПТ, ЛПНРШАФЕТ, БЧФПНПВЙМШ, ФЕМЕЖПООЩК БРРБТБФ Ч УБНПН ПВЭЕН УМХЮБЕ НПЦЕФ ИБТБЛФЕТЙЪПЧБФШУС ФБЛЙНЙ УЧПЙНЙ УПУФПСОЙСНЙ, ЛБЛ «ЙУРТБЧЕО» Й «ОЕЙУРТБЧЕО». йОФХЙФЙЧОП СУОП, ЛБЛПК УНЩУМ ЧЛМБДЩЧБЕФУС Ч ЛБЦДПЕ ЙЪ ЬФЙИ РПОСФЙК. вПМЕЕ ФПЗП, ЙУРПМШЪПЧБОЙЕ РП ОБЪОБЮЕОЙА ДБООПЗП ХУФТПКУФЧБ ЧПЪНПЦОП ФПМШЛП ФПЗДБ, ЛПЗДБ ПОП ОБИПДЙФУС Ч ЙУРТБЧОПН УПУФПСОЙЙ. ч РТПФЙЧОПН УМХЮБЕ ОЕПВИПДЙНП РТЕДРТЙОСФШ УПЧЕТЫЕООП ЛПОЛТЕФОЩЕ ДЕКУФЧЙС РП ЕЗП ТЕНПОФХ Й ЧПУУФБОПЧМЕОЙА ТБВПФПУРПУПВОПУФЙ.
пДОБЛП РПОЙНБОЙЕ УЕНБОФЙЛЙ РПОСФЙС УПУФПСОЙС РТЕДУФБЧМСЕФ ПРТЕДЕМЕООЩЕ ФТХДОПУФЙ. дЕМП Ч ФПН, ЮФП ИБТБЛФЕТЙУФЙЛБ УПУФПСОЙК УЙУФЕНЩ ОЕ ЪБЧЙУЙФ (ЙМЙ УМБВП ЪБЧЙУЙФ) ПФ МПЗЙЮЕУЛПК УФТХЛФХТЩ, ЪБЖЙЛУЙТПЧБООПК Ч ДЙБЗТБННЕ ЛМБУУПЧ. рПЬФПНХ РТЙ ТБУУНПФТЕОЙЙ УПУФПСОЙК УЙУФЕНЩ РТЙИПДЙФУС ОБ ЧТЕНС ПФЧМЕЮШУС ПФ ПУПВЕООПУФЕК ЕЕ ПВЯЕЛФОПК УФТХЛФХТЩ Й НЩУМЙФШ УПЧЕТЫЕООП ДТХЗЙНЙ ЛБФЕЗПТЙСНЙ, ПВТБЪХАЭЙНЙ ДЙОБНЙЮЕУЛЙК ЛПОФЕЛУФ РПЧЕДЕОЙС НПДЕМЙТХЕНПК УЙУФЕНЩ. рПЬФПНХ РТЙ РПУФТПЕОЙЙ ДЙБЗТБНН УПУФПСОЙК ОЕПВИПДЙНП ЙУРПМШЪПЧБФШ УРЕГЙБМШОЩЕ РПОСФЙС, ЛПФПТЩЕ Й ВХДХФ ТБУУНПФТЕОЩ Ч ДБООПК ЗМБЧЕ.
тБОЕЕ, Ч ЗМБЧБИ 1 Й 4, ВЩМП ПФНЕЮЕОП, ЮФП ЛБЦДБС РТЙЛМБДОБС УЙУФЕНБ ИБТБЛФЕТЙЪХЕФУС ОЕ ФПМШЛП УФТХЛФХТПК УПУФБЧМСАЭЙИ ЕЕ ЬМЕНЕОФПЧ, ОП Й ОЕЛПФПТЩН РПЧЕДЕОЙЕН ЙМЙ ЖХОЛГЙПОБМШОПУФША. дМС ПВЭЕЗП РТЕДУФБЧМЕОЙС ЖХОЛГЙПОБМШОПУФЙ НПДЕМЙТХЕНПК УЙУФЕНЩ РТЕДОБЪОБЮЕОЩ ДЙБЗТБННЩ ЧБТЙБОФПЧ ЙУРПМШЪПЧБОЙС, ЛПФПТЩЕ ОБ ЛПОГЕРФХБМШОПН ХТПЧОЕ ПРЙУЩЧБАФ РПЧЕДЕОЙЕ УЙУФЕНЩ Ч ГЕМПН. уЕКЮБУ ОБЫБ ЪБДБЮБ ЪБЛМАЮБЕФУС Ч ФПН, ЮФПВЩ РТЕДУФБЧЙФШ РПЧЕДЕОЙЕ ВПМЕЕ ДЕФБМШОП ОБ МПЗЙЮЕУЛПН ХТПЧОЕ, ФЕН УБНЩН ТБУЛТЩФШ УХЭОПУФШ ПФЧЕФБ ОБ ЧПРТПУ: «ч РТПГЕУУЕ ЛБЛПЗП РПЧЕДЕОЙС УЙУФЕНБ ПВЕУРЕЮЙЧБЕФ ОЕПВИПДЙНХА ЖХОЛГЙПОБМШОПУФШ?».
иПФС ДЙБЗТБННЩ УПУФПСОЙК ЮБЭЕ ЧУЕЗП ЙУРПМШЪХАФУС ДМС ПРЙУБОЙС РПЧЕДЕОЙС ПФДЕМШОЩИ ЬЛЪЕНРМСТПЧ ЛМБУУПЧ (ПВЯЕЛФПЧ), ОП ПОЙ ФБЛЦЕ НПЗХФ ВЩФШ РТЙНЕОЕОЩ ДМС УРЕГЙЖЙЛБГЙЙ ЖХОЛГЙПОБМШОПУФЙ ДТХЗЙИ ЛПНРПОЕОФПЧ НПДЕМЕК, ФБЛЙИ ЛБЛ ЧБТЙБОФЩ ЙУРПМШЪПЧБОЙС, БЛФЕТЩ, РПДУЙУФЕНЩ, ПРЕТБГЙЙ Й НЕФПДЩ.
дЙБЗТБННБ УПУФПСОЙК РП УХЭЕУФЧХ СЧМСЕФУС ЗТБЖПН УРЕГЙБМШОПЗП ЧЙДБ, ЛПФПТЩК РТЕДУФБЧМСЕФ ОЕЛПФПТЩК БЧФПНБФ. рПОСФЙЕ БЧФПНБФБ Ч ЛПОФЕЛУФЕ UML ПВМБДБЕФ ДПЧПМШОП УРЕГЙЖЙЮЕУЛПК УЕНБОФЙЛПК, ПУОПЧБООПК ОБ ФЕПТЙЙ БЧФПНБФПЧ. чЕТЫЙОБНЙ ЬФПЗП ЗТБЖБ СЧМСАФУС УПУФПСОЙС Й ОЕЛПФПТЩЕ ДТХЗЙЕ ФЙРЩ ЬМЕНЕОФПЧ БЧФПНБФБ (РУЕЧДПУПУФПСОЙС), ЛПФПТЩЕ ЙЪПВТБЦБАФУС УППФЧЕФУФЧХАЭЙНЙ ЗТБЖЙЮЕУЛЙНЙ УЙНЧПМБНЙ. дХЗЙ ЗТБЖБ УМХЦБФ ДМС ПВПЪОБЮЕОЙС РЕТЕИПДПЧ ЙЪ УПУФПСОЙС Ч УПУФПСОЙЕ. дЙБЗТБННЩ УПУФПСОЙК НПЗХФ ВЩФШ ЧМПЦЕОЩ ДТХЗ Ч ДТХЗБ, ПВТБЪХБС ЧМПЦЕООЩЕ ДЙБЗТБННЩ ВПМЕЕ ДЕФБМШОПЗП РТЕДУФБЧМЕОЙС ПФДЕМШОЩИ ЬМЕНЕОФПЧ НПДЕМЙ. дМС РПОЙНБОЙС УЕНБОФЙЛЙ ЛПОЛТЕФОПК ДЙБЗТБННЩ УПУФПСОЙК ОЕПВИПДЙНП РТЕДУФБЧМСФШ ОЕ ФПМШЛП ПУПВЕООПУФЙ РПЧЕДЕОЙС НПДЕМЙТХЕНПК УХЭОПУФЙ, ОП Й ЪОБФШ ПВЭЙЕ УЧЕДЕОЙС РП ФЕПТЙЙ БЧФПНБФПЧ.
бЧФПНБФ (state machine) Ч СЪЩЛЕ UML РТЕДУФБЧМСЕФ УПВПК ОЕЛПФПТЩК ЖПТНБМЙЪН ДМС НПДЕМЙТПЧБОЙС РПЧЕДЕОЙС ЬМЕНЕОФПЧ НПДЕМЙ Й УЙУФЕНЩ Ч ГЕМПН. ч НЕФБНПДЕМЙ UML БЧФПНБФ СЧМСЕФУС РБЛЕФПН, Ч ЛПФПТПН ПРТЕДЕМЕОП НОПЦЕУФЧП РПОСФЙК, ОЕПВИПДЙНЩИ ДМС РТЕДУФБЧМЕОЙС РПЧЕДЕОЙС НПДЕМЙТХЕНПК УХЭОПУФЙ Ч ЧЙДЕ ДЙУЛТЕФОПЗП РТПУФТБОУФЧБ У ЛПОЕЮОЩН ЮЙУМПН УПУФПСОЙК Й РЕТЕИПДПЧ. у ДТХЗПК УФПТПОЩ, БЧФПНБФ ПРЙУЩЧБЕФ РПЧЕДЕОЙЕ ПФДЕМШОПЗП ПВЯЕЛФБ Ч ЖПТНЕ РПУМЕДПЧБФЕМШОПУФЙ УПУФПСОЙК, ЛПФПТЩЕ ПИЧБФЩЧБАФ ЧУЕ ЬФБРЩ ЕЗП ЦЙЪОЕООПЗП ГЙЛМБ, ОБЮЙОБС ПФ УПЪДБОЙС ПВЯЕЛФБ Й ЪБЛБОЮЙЧБС ЕЗП ХОЙЮФПЦЕОЙЕН. лБЦДБС ДЙБЗТБННБ УПУФПСОЙК РТЕДУФБЧМСЕФ ОЕЛПФПТЩК БЧФПНБФ.
рТПУФЕКЫЙН РТЙНЕТПН ЧЙЪХБМШОПЗП РТЕДУФБЧМЕОЙС УПУФПСОЙК Й РЕТЕИПДПЧ ОБ ПУОПЧЕ ЖПТНБМЙЪНБ БЧФПНБФПЧ НПЦЕФ УМХЦЙФШ ТБУУНПФТЕООБС ЧЩЫЕ УЙФХБГЙС У ЙУРТБЧОПУФША ФЕИОЙЮЕУЛПЗП ХУФТПКУФЧБ, ФБЛПЗП ЛБЛ ЛПНРШАФЕТ. ч ЬФПН УМХЮБЕ ЧЧПДСФУС Ч ТБУУНПФТЕОЙЕ ДЧБ УБНЩИ ПВЭЙИ УПУФПСОЙС: «ЙУРТБЧЕО» Й «ОЕЙУРТБЧЕО» Й ДЧБ РЕТЕИПДБ: «ЧЩИПД ЙЪ УФТПС» Й «ТЕНПОФ». зТБЖЙЮЕУЛЙ ЬФБ ЙОЖПТНБГЙС НПЦЕФ ВЩФШ РТЕДУФБЧМЕОБ Ч ЧЙДЕ ЙЪПВТБЦЕООПК ОЙЦЕ ДЙБЗТБННЩ УПУФПСОЙК ЛПНРШАФЕТБ (ТЙУ. 6.1).
тЙУ. 6.1. рТПУФЕКЫЙК РТЙНЕТ ДЙБЗТБННЩ УПУФПСОЙК ДМС ФЕИОЙЮЕУЛПЗП ХУФТПКУФЧБ ФЙРБ ЛПНРШАФЕТ
пУОПЧОЩНЙ РПОСФЙСНЙ, ЧИПДСЭЙНЙ Ч ЖПТНБМЙЪН БЧФПНБФБ, СЧМСАФУС УПУФПСОЙЕ Й РЕТЕИПД. зМБЧОПЕ ТБЪМЙЮЙЕ НЕЦДХ ОЙНЙ ЪБЛМАЮБЕФУС Ч ФПН, ЮФП ДМЙФЕМШОПУФШ ОБИПЦДЕОЙС УЙУФЕНЩ Ч ПФДЕМШОПН УПУФПСОЙЙ УХЭЕУФЧЕООП РТЕЧЩЫБЕФ ЧТЕНС, ЛПФПТПЕ ЪБФТБЮЙЧБЕФУС ОБ РЕТЕИПД ЙЪ ПДОПЗП УПУФПСОЙС Ч ДТХЗПЕ. рТЕДРПМБЗБЕФУС, ЮФП Ч РТЕДЕМЕ ЧТЕНС РЕТЕИПДБ ЙЪ ПДОПЗП УПУФПСОЙС Ч ДТХЗПЕ ТБЧОП ОХМА (ЕУМЙ ДПРПМОЙФЕМШОП ОЙЮЕЗП ОЕ УЛБЪБОП). дТХЗЙНЙ УМПЧБНЙ, РЕТЕИПД ПВЯЕЛФБ ЙЪ УПУФПСОЙС Ч УПУФПСОЙЕ РТПЙУИПДЙФ НЗОПЧЕООП.
пДОЙН ЙЪ ФБЛЙИ УЧПКУФЧ СЧМСЕФУС ЧЩДЕМЕОЙЕ ЙЪ ЧУЕК УПЧПЛХРОПУФЙ УПУФПСОЙК ДЧХИ УРЕГЙБМШОЩИ: ОБЮБМШОПЗП Й ЛПОЕЮОПЗП. иПФС ОЙ Ч ЗТБЖЕ УПУФПСОЙК, ОЙ ОБ ДЙБЗТБННЕ УПУФПСОЙК ЧТЕНС ОБИПЦДЕОЙС УЙУФЕНЩ Ч ФПН ЙМЙ ЙОПН УПУФПСОЙЙ СЧОП ОЕ ХЮЙФЩЧБЕФУС, РТЕДРПМБЗБЕФУС, ЮФП РПУМЕДПЧБФЕМШОПУФШ ЙЪНЕОЕОЙС УПУФПСОЙК ХРПТСДПЮЕОБ ЧП ЧТЕНЕОЙ. дТХЗЙНЙ УМПЧБНЙ, ЛБЦДПЕ РПУМЕДХАЭЕЕ УПУФПСОЙЕ ЧУЕЗДБ ОБУФХРБЕФ РПЪЦЕ РТЕДЫЕУФЧХАЭЕЗП ЕНХ УПУФПСОЙС.
еЭЕ ПДОЙН УЧПКУФЧПН ЗТБЖБ УПУФПСОЙК НПЦЕФ УМХЦЙФШ ДПУФЙЦЙНПУФШ УПУФПСОЙК. тЕЮШ ЙДЕФ П ФПН, ЮФП ОБЧЙЗБГЙС ЙМЙ ПТЙЕОФЙТПЧБООЩК РХФШ Ч ЗТБЖЕ УПУФПСОЙК ПРТЕДЕМСЕФ УРЕГЙБМШОПЕ ВЙОБТОПЕ ПФОПЫЕОЙЕ ОБ НОПЦЕУФЧЕ ЧУЕИ УПУФПСОЙК УЙУФЕНЩ. ьФП ПФОПЫЕОЙЕ ИБТБЛФЕТЙЪХЕФ РПФЕОГЙБМШОХА ЧПЪНПЦОПУФШ РЕТЕИПДБ УЙУФЕНЩ ЙЪ ТБУУНБФТЙЧБЕНПЗП УПУФПСОЙС Ч ОЕЛПФПТПЕ ДТХЗПЕ УПУФПСОЙЕ. пЮЕЧЙДОП, ДМС ДПУФЙЦЙНПУФЙ УПУФПСОЙК ОЕПВИПДЙНП ОБМЙЮЙЕ УЧСЪЩЧБАЭЕЗП ЙИ ПТЙЕОФЙТПЧБООПЗП РХФЙ Ч ЗТБЖЕ УПУФПСОЙК.
жПТНБМЙЪН БЧФПНБФПЧ ДПРХУЛБЕФ ЧМПЦЕОЙЕ ПДОЙИ БЧФПНБФПЧ Ч ДТХЗЙЕ ДМС ХФПЮОЕОЙС ЧОХФТЕООЕК УФТХЛФХТЩ ПФДЕМШОЩИ ВПМЕЕ ПВЭЙИ УПУФПСОЙК (НБЛТПУПУФПСОЙК). ч ЬФПН УМХЮБЕ ЧМПЦЕООЩЕ БЧФПНБФЩ РПМХЮЙМЙ ОБЪЧБОЙЕ РПДБЧФПНБФПЧ. рПДБЧФПНБФЩ НПЗХФ ЙУРПМШЪПЧБФШУС ДМС ЧОХФТЕООЕК УРЕГЙЖЙЛБГЙЙ РТПГЕДХТ Й ЖХОЛГЙК, ПВТБЪХАЭЙИ РПЧЕДЕОЙЕ ЙУИПДОПЗП ПВЯЕЛФБ. оБРТЙНЕТ, УПУФПСОЙЕ ОЕЙУРТБЧОПУФЙ ФЕИОЙЮЕУЛПЗП ХУФТПКУФЧБ (ТЙУ. 6.1) НПЦЕФ ВЩФШ ДЕФБМЙЪЙТПЧБОП ОБ ПФДЕМШОЩЕ РПДУПУФПСОЙС, ЛБЦДПЕ ЙЪ ЛПФПТЩИ НПЦЕФ ИБТБЛФЕТЙЪПЧБФШ ОЕЙУРТБЧОПУФШ ПФДЕМШОЩИ РПДУЙУФЕН, ЧИПДСЭЙИ Ч УПУФБЧ ДБООПЗП ХУФТПКУФЧБ.
ч СЪЩЛЕ UML РПОСФЙЕ БЧФПНБФБ ДПРПМОЕОП УРЕГЙБМШОПК УЕНБОФЙЛПК ЧИПДСЭЙИ Ч УППФЧЕФУФЧХАЭЙК РБЛЕФ ЬМЕНЕОФПЧ. дБМЕЕ Ч ЬФПК ЗМБЧЕ ВХДХФ ТБУУНПФТЕОЩ ПУОПЧОЩЕ ЬМЕНЕОФЩ РПЧЕДЕОЙС, ЛПФПТЩЕ ПВТБЪХАФ ЛПОГЕРФХБМШОЩК ВБЪЙУ, ОЕПВИПДЙНЩК ДМС РТБЧЙМШОПЗП РПУФТПЕОЙС ДЙБЗТБНН УПУФПСОЙК.
жПТНБМЙЪН ПВЩЮОПЗП БЧФПНБФБ ПУОПЧБО ОБ ЧЩРПМОЕОЙЙ УМЕДХАЭЙИ ПВСЪБФЕМШОЩИ ХУМПЧЙК:
дБООПЕ ХУМПЧЙЕ НПЦЕФ ВЩФШ ЙЪНЕОЕОП СЧОЩН ПВТБЪПН ДМС УПИТБОЕОЙС ОЕЛПФПТЩИ БУРЕЛФПЧ РТЕДЩУФПТЙЙ РПЧЕДЕОЙС ПВЯЕЛФБ ОБ ПУОПЧЕ ЧЧЕДЕОЙС Ч ТБУУНПФТЕОЙЕ ФБЛ ОБЪЩЧБЕНЩИ ЙУФПТЙЮЕУЛЙИ УПУФПСОЙК, ЛПФПТЩЕ ВХДХФ ПРЙУБОЩ ОЙЦЕ Ч ЬФПК ЗМБЧЕ.
ьФП ХУМПЧЙЕ ПЗТБОЙЮЙЧБЕФ РТЙНЕОЕОЙЕ БЧФПНБФПЧ ДМС НПДЕМЙТПЧБОЙС РПУМЕДПЧБФЕМШОЩИ РТПГЕУУПЧ. оЕПВИПДЙНПУФШ НПДЕМЙТПЧБОЙС РБТБММЕМШОЩИ РТПГЕУУПЧ РТЙЧПДЙФ Л ТБУУНПФТЕОЙА Ч ЛПОФЕЛУФЕ ПДОПК НПДЕМЙ ОЕУЛПМШЛЙИ БЧФПНБФПЧ, ЛБЦДЩК ЙЪ ЛПФПТЩИ УРЕГЙЖЙГЙТХЕФ ПФДЕМШОЩК РТПГЕУУ РПЧЕДЕОЙС.
лПОГЕРГЙС ЧТЕНЕОЙ Ч СЧОПК ЖПТНЕ ХЮЙФЩЧБЕФУС РТЙ РПУФТПЕОЙЙ ДЙБЗТБННЩ ДЕСФЕМШОПУФЙ, ЛПЗДБ ФТЕВХЕФУС УЙОИТПОЙЪЙТПЧБФШ ЧП ЧТЕНЕОЙ РТПГЕУУЩ ЧЪБЙНПДЕКУФЧЙС ОЕУЛПМШЛЙИ ПВЯЕЛФПЧ НПДЕМЙ. рПУЛПМШЛХ ДЙБЗТБННБ УПУФПСОЙК РТЕДОБЪОБЮЕОБ ДМС НПДЕМЙТПЧБОЙС РПЧЕДЕОЙС ПВЯЕЛФБ, ЛПФПТПЕ ПРТЕДЕМСЕФУС БУЙОИТПООЩНЙ УПВЩФЙСНЙ, ЬФЙ УПВЩФЙС НПЗХФ РТПЙУИПДЙФШ Ч ЪБТБОЕЕ ОЕЙЪЧЕУФОЩЕ НПНЕОФЩ ЧТЕНЕОЙ.
рПОСФЙЕ УПУФПСОЙС (state) СЧМСЕФУС ЖХОДБНЕОФБМШОЩН ОЕ ФПМШЛП Ч НЕФБНПДЕ-МЙ СЪЩЛБ UML, ОП Й Ч РТЙЛМБДОПН УЙУФЕНОПН БОБМЙЪЕ. тБОЕЕ Ч ЗМБЧЕ 1 ЛТБФЛП ВЩМЙ ТБУУНПФТЕОЩ ПУПВЕООПУФЙ РТЕДУФБЧМЕОЙС ДЙОБНЙЮЕУЛЙИ ИБТБЛФЕТЙУФЙЛ УМПЦОЩИ УЙУФЕН, ФТБДЙГЙПООП ЙУРПМШЪХЕНЩИ ДМС НПДЕМЙТПЧБОЙС РПЧЕДЕОЙС. чУС ЛПОГЕРГЙС ДЙОБНЙЮЕУЛПК УЙУФЕНЩ ПУОПЧЩЧБЕФУС ОБ РПОСФЙЙ УПУФПСОЙС УЙУФЕНЩ. пДОБЛП УЕНБОФЙЛБ УПУФПСОЙС Ч СЪЩЛЕ UML ЙНЕЕФ ГЕМЩК ТСД УРЕГЙЖЙЮЕУЛЙИ ПУПВЕООПУФЕК.
ч СЪЩЛЕ UML РПД УПУФПСОЙЕН РПОЙНБЕФУС БВУФТБЛФОЩК НЕФБЛМБУУ, ЙУРПМШЪХЕНЩК ДМС НПДЕМЙТПЧБОЙС ПФДЕМШОПК УЙФХБГЙЙ, Ч ФЕЮЕОЙЕ ЛПФПТПК ЙНЕЕФ НЕУФП ЧЩРПМОЕОЙЕ ОЕЛПФПТПЗП ХУМПЧЙС. уПУФПСОЙЕ НПЦЕФ ВЩФШ ЪБДБОП Ч ЧЙДЕ ОБВПТБ ЛПОЛТЕФОЩИ ЪОБЮЕОЙК БФТЙВХФПЧ ЛМБУУБ ЙМЙ ПВЯЕЛФБ, РТЙ ЬФПН ЙЪНЕОЕОЙЕ ЙИ ПФДЕМШОЩИ ЪОБЮЕОЙК ВХДЕФ ПФТБЦБФШ ЙЪНЕОЕОЙЕ УПУФПСОЙС НПДЕМЙТХЕНПЗП ЛМБУУБ ЙМЙ ПВЯЕЛФБ.
уМЕДХЕФ ЪБНЕФЙФШ, ЮФП ОЕ ЛБЦДЩК БФТЙВХФ ЛМБУУБ НПЦЕФ ИБТБЛФЕТЙЪПЧБФШ ЕЗП УПУФПСОЙЕ. лБЛ РТБЧЙМП, ЙНЕАФ ЪОБЮЕОЙЕ ФПМШЛП ФБЛЙЕ УЧПКУФЧБ ЬМЕНЕОФПЧ УЙУФЕНЩ, ЛПФПТЩЕ ПФТБЦБАФ ДЙОБНЙЮЕУЛЙК ЙМЙ ЖХОЛГЙПОБМШОЩК БУРЕЛФ ЕЕ РПЧЕДЕОЙС. ч ЬФПН УМХЮБЕ УПУФПСОЙЕ ВХДЕФ ИБТБЛФЕТЙЪПЧБФШУС ОЕЛПФПТЩН ЙОЧБТЙБОФОЩН ХУМПЧЙЕН, ЧЛМАЮБАЭЙН Ч УЕВС ФПМШЛП ЪОБЮЙНЩЕ ДМС РПЧЕДЕОЙС ЛМБУУБ БФТЙВХФЩ Й ЙИ ЪОБЮЕОЙС.
оБРТЙНЕТ, ЙОЧБТЙБОФ НПЦЕФ РТЕДУФБЧМСФШ УФБФЙЮЕУЛХА УЙФХБГЙА, ЛПЗДБ ПВЯЕЛФ ОБИПДЙФУС Ч УПУФПСОЙЙ ПЦЙДБОЙС ЧПЪОЙЛОПЧЕОЙС ОЕЛПФПТПЗП ЧОЕЫОЕЗП УПВЩФЙС. у ДТХЗПК УФПТПОЩ, ЙОЧБТЙБОФ ЙУРПМШЪХЕФУС ДМС НПДЕМЙТПЧБОЙС ДЙОБНЙЮЕУЛЙИ БУРЕЛФПЧ, ЛПЗДБ Ч ИПДЕ РТПГЕУУБ ЧЩРПМОСАФУС ОЕЛПФПТЩЕ ДЕКУФЧЙС. ч ЬФПН УМХЮБЕ НПДЕМЙТХЕНЩК ЬМЕНЕОФ РЕТЕИПДЙФ Ч ТБУУНБФТЙЧБЕНПЕ УПУФПСОЙЕ Ч НПНЕОФ ОБЮБМБ УППФЧЕФУФЧХАЭЕК ДЕСФЕМШОПУФЙ Й РПЛЙДБЕФ ДБООПЕ УПУФПСОЙЕ Ч НПНЕОФ ЕЕ ЪБЧЕТЫЕОЙС.
тЙУ. 6.2. зТБЖЙЮЕУЛПЕ ЙЪПВТБЦЕОЙЕ УПУФПСОЙК ОБ ДЙБЗТБННЕ УПУФПСОЙК
йНС УПУФПСОЙС РТЕДУФБЧМСЕФ УПВПК УФТПЛХ ФЕЛУФБ, ЛПФПТБС ТБУЛТЩЧБЕФ УПДЕТЦБФЕМШОЩК УНЩУМ ДБООПЗП УПУФПСОЙС. йНС ЧУЕЗДБ ЪБРЙУЩЧБЕФУС У ЪБЗМБЧОПК ВХЛЧЩ. рПУЛПМШЛХ УПУФПСОЙЕ УЙУФЕНЩ СЧМСЕФУС УПУФБЧОПК ЮБУФША РТПГЕУУБ ЕЕ ЖХОЛГЙПОЙТПЧБОЙС, ТЕЛПНЕОДХЕФУС Ч ЛБЮЕУФЧЕ ЙНЕОЙ ЙУРПМШЪПЧБФШ ЗМБЗПМЩ Ч ОБУФПСЭЕН ЧТЕНЕОЙ (ЪЧЕОЙФ, РЕЮБФБЕФ, ПЦЙДБЕФ) ЙМЙ УППФЧЕФУФЧХАЭЙЕ РТЙЮБУФЙС (ЪБОСФ, УЧПВПДЕО, РЕТЕДБОП, РПМХЮЕОП). йНС Х УПУФПСОЙС НПЦЕФ ПФУХФУФЧПЧБФШ, Ф. Е. ПОП СЧМСЕФУС ОЕПВСЪБФЕМШОЩН ДМС ОЕЛПФПТЩИ УПУФПСОЙК. ч ЬФПН УМХЮБЕ УПУФПСОЙЕ СЧМСЕФУС БОПОЙНОЩН, Й ЕУМЙ ОБ ДЙБЗТБННЕ УПУФПСОЙК ЙИ ОЕУЛПМШЛП, ФП ЧУЕ ПОЙ ДПМЦОЩ ТБЪМЙЮБФШУС НЕЦДХ УПВПК.
уРЙУПЛ ЧОХФТЕООЙИ ДЕКУФЧЙК
ьФБ УЕЛГЙС УПДЕТЦЙФ РЕТЕЮЕОШ ЧОХФТЕООЙИ ДЕКУФЧЙК ЙМЙ ДЕСФЕМШОПУФЕК, ЛПФПТЩЕ ЧЩРПМОСАФУС Ч РТПГЕУУЕ ОБИПЦДЕОЙС НПДЕМЙТХЕНПЗП ЬМЕНЕОФБ Ч ДБООПН УПУФПСОЙЙ. лБЦДПЕ ЙЪ ДЕКУФЧЙК ЪБРЙУЩЧБЕФУС Ч ЧЙДЕ ПФДЕМШОПК УФТПЛЙ Й ЙНЕЕФ УМЕДХАЭЙК ЖПТНБФ:
нЕФЛБ ДЕКУФЧЙС ХЛБЪЩЧБЕФ ОБ ПВУФПСФЕМШУФЧБ ЙМЙ ХУМПЧЙС, РТЙ ЛПФПТЩИ ВХДЕФ ЧЩРПМОСФШУС ДЕСФЕМШОПУФШ, ПРТЕДЕМЕООБС ЧЩТБЦЕОЙЕН ДЕКУФЧЙС. рТЙ ЬФПН ЧЩТБЦЕОЙЕ ДЕКУФЧЙС НПЦЕФ ЙУРПМШЪПЧБФШ МАВЩЕ БФТЙВХФЩ Й УЧСЪЙ, ЛПФПТЩЕ РТЙОБДМЕЦБФ ПВМБУФЙ ЙНЕО ЙМЙ ЛПОФЕЛУФХ НПДЕМЙТХЕНПЗП ПВЯЕЛФБ. еУМЙ УРЙУПЛ ЧЩТБЦЕОЙК ДЕКУФЧЙС РХУФПК, ФП ТБЪДЕМЙФЕМШ Ч ЧЙДЕ ОБЛМПООПК ЮЕТФЩ ‘/’ НПЦЕФ ОЕ ХЛБЪЩЧБФШУС.
рЕТЕЮЕОШ НЕФПЛ ДЕКУФЧЙС ЙНЕЕФ ЖЙЛУЙТПЧБООЩЕ ЪОБЮЕОЙС Ч СЪЩЛЕ UML, ЛПФПТЩЕ ОЕ НПЗХФ ВЩФШ ЙУРПМШЪПЧБОЩ Ч ЛБЮЕУФЧЕ ЙНЕО УПВЩФЙК. ьФЙ ЪОБЮЕОЙС УМЕДХАЭЙЕ:
ч РПУМЕДОЕН УМХЮБЕ РТЙ ЪБЧЕТЫЕОЙЙ УПВЩФЙС ЗЕОЕТЙТХЕФУС УППФЧЕФУФЧХАЭЙК ТЕЪХМШФБФ;
чП ЧУЕИ ПУФБМШОЩИ УМХЮБСИ НЕФЛБ ДЕКУФЧЙС ЙДЕОФЙЖЙГЙТХЕФ УПВЩФЙЕ, ЛПФПТПЕ ЪБРХУЛБЕФ УППФЧЕФУФЧХАЭЕЕ ЧЩТБЦЕОЙЕ ДЕКУФЧЙС. ьФЙ УПВЩФЙС ОБЪЩЧБАФУС ЧОХФТЕООЙНЙ РЕТЕИПДБНЙ Й УЕНБОФЙЮЕУЛЙ ЬЛЧЙЧБМЕОФОЩ РЕТЕИПДБН Ч УБНП ЬФП УПУФПСОЙЕ, ЪБ ЙУЛМАЮЕОЙЕН ФПК ПУПВЕООПУФЙ, ЮФП ЧЩИПД ЙЪ ЬФПЗП УПУФПСОЙС ЙМЙ РПЧФПТОЩК ЧИПД Ч ОЕЗП ОЕ РТПЙУИПДЙФ. ьФП ПЪОБЮБЕФ, ЮФП ДЕКУФЧЙС ЧИПДБ Й ЧЩИПДБ ОЕ ЧЩРПМОСАФУС.
ч ЛБЮЕУФЧЕ РТЙНЕТБ УПУФПСОЙС ТБУУНПФТЙН УЙФХБГЙА ЧЧПДБ РБТПМС РПМШЪПЧБФЕМС РТЙ БХФЕОФЙЖЙЛБГЙЙ ЧИПДБ Ч ОЕЛПФПТХА РТПЗТБННОХА УЙУФЕНХ (ТЙУ. 6.3). ч ЬФПН УМХЮБЕ УРЙУПЛ ЧОХФТЕООЙИ ДЕКУФЧЙК Ч ДБООПН УПУФПСОЙЙ ОЕ РХУФ Й ЧЛМАЮБЕФ 4 ПФДЕМШОЩИ ДЕКУФЧЙС, РЕТЧЩЕ ДЧБ ЙЪ ЛПФПТЩИ УФБОДБТФОЩЕ Й ПРЙУБОЩ ЧЩЫЕ, Б ДЧБ РПУМЕДОЙИ ПРТЕДЕМСАФУС УЧПЕК УРЕГЙЖЙЛБГЙЕК.
тЙУ. 6.3. рТЙНЕТ УПУФПСОЙС У ОЕРХУФПК УЕЛГЙЕК ЧОХФТЕООЙИ ДЕКУФЧЙК
оБЮБМШОПЕ УПУФПСОЙЕ РТЕДУФБЧМСЕФ УПВПК ЮБУФОЩК УМХЮБК УПУФПСОЙС, ЛПФПТПЕ ОЕ УПДЕТЦЙФ ОЙЛБЛЙИ ЧОХФТЕООЙИ ДЕКУФЧЙК (РУЕЧДПУПУФПСОЙС). ч ЬФПН УПУФПСОЙЙ ОБИПДЙФУС ПВЯЕЛФ РП ХНПМЮБОЙА Ч ОБЮБМШОЩК НПНЕОФ ЧТЕНЕОЙ. пОП УМХЦЙФ ДМС ХЛБЪБОЙС ОБ ДЙБЗТБННЕ УПУФПСОЙК ЗТБЖЙЮЕУЛПК ПВМБУФЙ, ПФ ЛПФПТПК ОБЮЙОБЕФУС РТПГЕУУ ЙЪНЕОЕОЙС УПУФПСОЙК. зТБЖЙЮЕУЛЙ ОБЮБМШОПЕ УПУФПСОЙЕ Ч СЪЩЛЕ UML ПВПЪОБЮБЕФУС Ч ЧЙДЕ ЪБЛТБЫЕООПЗП ЛТХЦЛБ (ТЙУ. 6.4, Б), ЙЪ ЛПФПТПЗП НПЦЕФ ФПМШЛП ЧЩИПДЙФШ УФТЕМЛБ, УППФЧЕФУФЧХАЭБС РЕТЕИПДХ.
тЙУ. 6.4. зТБЖЙЮЕУЛПЕ ЙЪПВТБЦЕОЙЕ ОБЮБМШОПЗП Й ЛПОЕЮОПЗП УПУФПСОЙК ОБ ДЙБЗТБННЕ УПУФПСОЙК
оБ УБНПН ЧЕТИОЕН ХТПЧОЕ РТЕДУФБЧМЕОЙС ПВЯЕЛФБ РЕТЕИПД ЙЪ ОБЮБМШОПЗП УПУФПСОЙС НПЦЕФ ВЩФШ РПНЕЮЕО УПВЩФЙЕН УПЪДБОЙС (ЙОЙГЙБМЙЪБГЙЙ) ДБООПЗП ПВЯЕЛФБ. ч РТПФЙЧОПН УМХЮБЕ РЕТЕИПД ОЙЛБЛ ОЕ РПНЕЮБЕФУС. еУМЙ ЬФПФ РЕТЕИПД ОЕ РПНЕЮЕО, ФП ПО СЧМСЕФУС РЕТЧЩН РЕТЕИПДПН Ч УМЕДХАЭЕЕ ЪБ ОЙН УПУФПСОЙЕ.
лПОЕЮОПЕ (ЖЙОБМШОПЕ) УПУФПСОЙЕ РТЕДУФБЧМСЕФ УПВПК ЮБУФОЩК УМХЮБК УПУФПСОЙС, ЛПФПТПЕ ФБЛЦЕ ОЕ УПДЕТЦЙФ ОЙЛБЛЙИ ЧОХФТЕООЙИ ДЕКУФЧЙК (РУЕЧДПУПУФПСОЙС). ч ЬФПН УПУФПСОЙЙ ВХДЕФ ОБИПДЙФШУС ПВЯЕЛФ РП ХНПМЮБОЙА РПУМЕ ЪБЧЕТЫЕОЙС ТБВПФЩ БЧФПНБФБ Ч ЛПОЕЮОЩК НПНЕОФ ЧТЕНЕОЙ. пОП УМХЦЙФ ДМС ХЛБЪБОЙС ОБ ДЙБЗТБННЕ УПУФПСОЙК ЗТБЖЙЮЕУЛПК ПВМБУФЙ, Ч ЛПФПТПК ЪБЧЕТЫБЕФУС РТПГЕУУ ЙЪНЕОЕОЙС УПУФПСОЙК ЙМЙ ЦЙЪОЕООЩК ГЙЛМ ДБООПЗП ПВЯЕЛФБ. зТБЖЙЮЕУЛЙ ЛПОЕЮОПЕ УПУФПСОЙЕ Ч СЪЩЛЕ UML ПВПЪОБЮБЕФУС Ч ЧЙДЕ ЪБЛТБЫЕООПЗП ЛТХЦЛБ, РПНЕЭЕООПЗП Ч ПЛТХЦОПУФШ (ТЙУ. 6.4, В), Ч ЛПФПТХА НПЦЕФ ФПМШЛП ЧИПДЙФШ УФТЕМЛБ, УППФЧЕФУФЧХАЭБС РЕТЕИПДХ.
рЕТЕИПД ПУХЭЕУФЧМСЕФУС РТЙ ОБУФХРМЕОЙЙ ОЕЛПФПТПЗП УПВЩФЙС: ПЛПОЮБОЙС ЧЩРПМОЕОЙС ДЕСФЕМШОПУФЙ (do activity), РПМХЮЕОЙЙ ПВЯЕЛФПН УППВЭЕОЙС ЙМЙ РТЙЕНПН УЙЗОБМБ. оБ РЕТЕИПДЕ ХЛБЪЩЧБЕФУС ЙНС УПВЩФЙС лТПНЕ ФПЗП, ОБ РЕТЕИПДЕ НПЗХФ ХЛБЪЩЧБФШУС ДЕКУФЧЙС, РТПЙЪЧПДЙНЩЕ ПВЯЕЛФПН Ч ПФЧЕФ ОБ ЧОЕЫОЙЕ УПВЩФЙС РТЙ РЕТЕИПДЕ ЙЪ ПДОПЗП УПУФПСОЙС Ч ДТХЗПЕ. уТБВБФЩЧБОЙЕ РЕТЕИПДБ НПЦЕФ ЪБЧЙУЕФШ ОЕ ФПМШЛП ПФ ОБУФХРМЕОЙС ОЕЛПФПТПЗП УПВЩФЙС, ОП Й ПФ ЧЩРПМОЕОЙС ПРТЕДЕМЕООПЗП ХУМПЧЙС, ОБЪЩЧБЕНПЗП УФПТПЦЕЧЩН ХУМПЧЙЕН. пВЯЕЛФ РЕТЕКДЕФ ЙЪ ПДОПЗП УПУФПСОЙС Ч ДТХЗПЕ Ч ФПН УМХЮБЕ, ЕУМЙ РТПЙЪПЫМП ХЛБЪБООПЕ УПВЩФЙЕ Й УФПТПЦЕЧПЕ ХУМПЧЙЕ РТЙОСМП ЪОБЮЕОЙЕ «ЙУФЙОБ».
рЕТЕИПД НПЦЕФ ВЩФШ ОБРТБЧМЕО Ч ФП ЦЕ УПУФПСОЙЕ, ЙЪ ЛПФПТПЗП ПО ЧЩИПДЙФ. ч ЬФПН УМХЮБЕ ЕЗП ОБЪЩЧБАФ РЕТЕИПДПН Ч УЕВС. йУИПДОПЕ Й ГЕМЕЧПЕ УПУФПСОЙС РЕТЕИПДБ Ч УЕВС УПЧРБДБАФ. ьФПФ РЕТЕИПД ЙЪПВТБЦБЕФУС РЕФМЕК УП УФТЕМЛПК Й ПФМЙЮБЕФУС ПФ ЧОХФТЕООЕЗП РЕТЕИПДБ. рТЙ РЕТЕИПДЕ Ч УЕВС ПВЯЕЛФ РПЛЙДБЕФ ЙУИПДОПЕ УПУФПСОЙЕ, Б ЪБФЕН УОПЧБ ЧИПДЙФ Ч ОЕЗП. рТЙ ЬФПН ЧУСЛЙК ТБЪ ЧЩРПМОСАФУС ЧОХФТЕООЙЕ ДЕКУФЧЙС, УРЕГЙЖЙГЙТПЧБООЩЕ НЕФЛБНЙ entry Й exit.
оБ ДЙБЗТБННЕ УПУФПСОЙК РЕТЕИПД ЙЪПВТБЦБЕФУС УРМПЫОПК МЙОЙЕК УП УФТЕМЛПК, ЛПФПТБС ОБРТБЧМЕОБ Ч ГЕМЕЧПЕ УПУФПСОЙЕ (ОБРТЙНЕТ, «ЧЩИПД ЙЪ УФТПС» ОБ ТЙУ. 6.1). лБЦДЩК РЕТЕИПД НПЦЕФ РПНЕЮЕО УФТПЛПК ФЕЛУФБ, ЛПФПТБС ЙНЕЕФ УМЕДХАЭЙК ПВЭЙК ЖПТНБФ:
рТЙ ЬФПН УЙЗОБФХТБ УПВЩФЙС ПРЙУЩЧБЕФ ОЕЛПФПТПЕ УПВЩФЙЕ У ОЕПВИПДЙНЩНЙ БТЗХНЕОФБНЙ:
фЕТНЙО УПВЩФЙЕ (event) ФТЕВХЕФ ПФДЕМШОПЗП РПСУОЕОЙС, РПУЛПМШЛХ СЧМСЕФУС УБНПУФПСФЕМШОЩН ЬМЕНЕОФПН СЪЩЛБ UML. жПТНБМШОП, УПВЩФЙЕ РТЕДУФБЧМСЕФ УПВПК УРЕГЙЖЙЛБГЙА ОЕЛПФПТПЗП ЖБЛФБ, ЙНЕАЭЕЗП НЕУФП Ч РТПУФТБОУФЧЕ Й ЧП ЧТЕНЕОЙ. рТП УПВЩФЙС ЗПЧПТСФ, ЮФП ПОЙ «РТПЙУИПДСФ», РТЙ ЬФПН ПФДЕМШОЩЕ УПВЩФЙС ДПМЦОЩ ВЩФШ ХРПТСДПЮЕОЩ ЧП ЧТЕНЕОЙ. рПУМЕ ОБУФХРМЕОЙС ОЕЛПФПТПЗП УПВЩФЙС ОЕМШЪС ХЦЕ ЧЕТОХФШУС Л РТЕДЩДХЭЙН УПВЩФЙСН, ЕУМЙ ФБЛБС ЧПЪНПЦОПУФШ ОЕ РТЕДХУНПФТЕОБ СЧОП Ч НПДЕМЙ.
ч СЪЩЛЕ UML УПВЩФЙС ЙЗТБАФ ТПМШ УФЙНХМПЧ, ЛПФПТЩЕ ЙОЙГЙЙТХАФ РЕТЕИПДЩ ЙЪ ПДОЙИ УПУФПСОЙК Ч ДТХЗЙЕ. ч ЛБЮЕУФЧЕ УПВЩФЙК НПЦОП ТБУУНБФТЙЧБФШ УЙЗОБМЩ, ЧЩЪПЧЩ, ПЛПОЮБОЙЕ ЖЙЛУЙТПЧБООЩИ РТПНЕЦХФЛПЧ ЧТЕНЕОЙ ЙМЙ НПНЕОФЩ ПЛПОЮБОЙС ЧЩРПМОЕОЙС ПРТЕДЕМЕООЩИ ДЕКУФЧЙК. йНС УПВЩФЙС ЙДЕОФЙЖЙГЙТХЕФ ЛБЦДЩК ПФДЕМШОЩК РЕТЕИПД ОБ ДЙБЗТБННЕ УПУФПСОЙК Й НПЦЕФ УПДЕТЦБФШ УФТПЛХ ФЕЛУФБ, ОБЮЙОБАЭХАУС УП УФТПЮОПК ВХЛЧЩ. ч ЬФПН УМХЮБЕ РТЙОСФП УЮЙФБФШ РЕТЕИПД ФТЙЗЗЕТОЩН, Ф. Е. ФБЛЙН, ЛПФПТЩК УРЕГЙЖЙГЙТХЕФ УПВЩФЙЕ-ФТЙЗЗЕТ. оБРТЙНЕТ, РЕТЕИПДЩ ОБ ТЙУ. 6.1 СЧМСАФУС ФТЙЗЗЕТОЩНЙ, РПУЛПМШЛХ У ЛБЦДЩН ЙЪ ОЙИ УЧСЪБОП ОЕЛПФПТПЕ УПВЩФЙЕ-ФТЙЗЗЕТ, РТПЙУИПДСЭЕЕ БУЙОИТПООП Ч НПНЕОФ ЧЩИПДБ ЙЪ УФТПС ФЕИОЙЮЕУЛПЗП ХУФТПКУФЧБ ЙМЙ Ч НПНЕОФ ПЛПОЮБОЙС ЕЗП ТЕНПОФБ.
еУМЙ ТСДПН УП УФТЕМЛПК РЕТЕИПДБ ОЕ ХЛБЪБОБ ОЙЛБЛБС УФТПЛБ ФЕЛУФБ, ФП УППФЧЕФУФЧХАЭЙК РЕТЕИПД СЧМСЕФУС ОЕФТЙЗЗЕТОЩН, Й Ч ЬФПН УМХЮБЕ ЙЪ ЛПОФЕЛУФБ ДЙБЗТБННЩ УПУФПСОЙК ДПМЦОП ВЩФШ СУОП, РПУМЕ ПЛПОЮБОЙС ЛБЛПК ДЕСФЕМШОПУФЙ ПО УТБВБФЩЧБЕФ. рПУМЕ ЙНЕОЙ УПВЩФЙС НПЗХФ УМЕДПЧБФШ ЛТХЗМЩЕ УЛПВЛЙ ДМС СЧОПЗП ЪБДБОЙС РБТБНЕФТПЧ УППФЧЕФУФЧХАЭЕЗП УПВЩФЙС-ФТЙЗЗЕТБ. еУМЙ ФБЛЙИ РБТБНЕФТПЧ ОЕФ, ФП УРЙУПЛ РБТБНЕФТПЧ УП УЛПВЛБНЙ НПЦЕФ ПФУХФУФЧПЧБФШ.
уФПТПЦЕЧПЕ ХУМПЧЙЕ (guard condition), ЕУМЙ ПОП ЕУФШ, ЧУЕЗДБ ЪБРЙУЩЧБЕФУС Ч РТСНЩИ УЛПВЛБИ РПУМЕ УПВЩФЙС-ФТЙЗЗЕТБ Й РТЕДУФБЧМСЕФ УПВПК ОЕЛПФПТПЕ ВХМЕЧУЛПЕ ЧЩТБЦЕОЙЕ. оБРПНОЙН, ЮФП ВХМЕЧУЛПЕ ЧЩТБЦЕОЙЕ ДПМЦОП РТЙОЙНБФШ ПДОП ЙИ ДЧХИ ЧЪБЙНОП ЙУЛМАЮБАЭЙИ ЪОБЮЕОЙК: «ЙУФЙОБ» ЙМЙ «МПЦШ». йЪ ЛПОФЕЛУФБ ДЙБЗТБННЩ УПУФПСОЙК ДПМЦОБ СЧОП УМЕДПЧБФШ УЕНБОФЙЛБ ЬФПЗП ЧЩТБЦЕОЙС, Б ДМС ЪБРЙУЙ ЧЩТБЦЕОЙС НПЦЕФ ЙУРПМШЪПЧБФШУС УЙОФБЛУЙУ СЪЩЛБ ПВЯЕЛФОЩИ ПЗТБОЙЮЕОЙК, ПУОПЧЩ ЛПФПТПЗП ЙЪМПЦЕОЩ Ч РТЙМПЦЕОЙЙ.
чЧЕДЕОЙЕ ДМС РЕТЕИПДБ УФПТПЦЕЧПЗП ХУМПЧЙС РПЪЧПМСЕФ СЧОП УРЕГЙЖЙГЙТПЧБФШ УЕНБОФЙЛХ ЕЗП УТБВБФЩЧБОЙС. еУМЙ УФПТПЦЕЧПЕ ХУМПЧЙЕ РТЙОЙНБЕФ ЪОБЮЕОЙЕ «ЙУФЙОБ», ФП УППФЧЕФУФЧХАЭЙК РЕТЕИПД НПЦЕФ УТБВПФБФШ, Ч ТЕЪХМШФБФЕ ЮЕЗП ПВЯЕЛФ РЕТЕКДЕФ Ч ГЕМЕЧПЕ УПУФПСОЙЕ. еУМЙ ЦЕ УФПТПЦЕЧПЕ ХУМПЧЙЕ РТЙОЙНБЕФ ЪОБЮЕОЙЕ «МПЦШ», ФП РЕТЕИПД ОЕ НПЦЕФ УТБВПФБФШ, Й РТЙ ПФУХФУФЧЙЙ ДТХЗЙИ РЕТЕИПДПЧ ПВЯЕЛФ ОЕ НПЦЕФ РЕТЕКФЙ Ч ГЕМЕЧПЕ УПУФПСОЙЕ РП ЬФПНХ РЕТЕИПДХ. пДОБЛП ЧЩЮЙУМЕОЙЕ ЙУФЙООПУФЙ УФПТПЦЕЧПЗП ХУМПЧЙС РТПЙУИПДЙФ ФПМШЛП РПУМЕ ЧПЪОЙЛОПЧЕОЙС БУУПГЙЙТПЧБООПЗП У ОЙН УПВЩФЙС-ФТЙЗЗЕТБ, ЙОЙГЙЙТХАЭЕЗП УППФЧЕФУФЧХАЭЙК РЕТЕИПД.
ч ПВЭЕН УМХЮБЕ ЙЪ ПДОПЗП УПУФПСОЙС НПЦЕФ ВЩФШ ОЕУЛПМШЛП РЕТЕИПДПЧ У ПДОЙН Й ФЕН ЦЕ УПВЩФЙЕН-ФТЙЗЗЕТПН. рТЙ ЬФПН ОЙЛБЛЙЕ ДЧБ УФПТПЦЕЧЩИ ХУМПЧЙС ОЕ ДПМЦОЩ ПДОПЧТЕНЕООП РТЙОЙНБФШ ЪОБЮЕОЙЕ «ЙУФЙОБ». лБЦДПЕ ЙЪ УФПТПЦЕЧЩИ ХУМПЧЙК ОЕПВИПДЙНП ЧЩЮЙУМСФШ ЧУСЛЙК ТБЪ РТЙ ОБУФХРМЕОЙЙ УППФЧЕФУФЧХАЭЕЗП УПВЩФЙС-ФТЙЗЗЕТБ.
рТЙНЕТПН УПВЩФЙС-ФТЙЗЗЕТБ НПЦЕФ УМХЦЙФШ ТБЪТЩЧ ФЕМЕЖПООПЗП УПЕДЙОЕОЙС У РТПЧБКДЕТПН йОФЕТОЕФ-ХУМХЗ РПУМЕ ПЛПОЮБОЙС ЪБЗТХЪЛЙ ЬМЕЛФТПООПК РПЮФЩ ЛМЙЕОФУЛПК РПЮФПЧПК РТПЗТБННПК (РТЙ ХДБМЕООПН ДПУФХРЕ Л йОФЕТОЕФХ). ч ЬФПН УМХЮБЕ УФПТПЦЕЧПЕ ХУМПЧЙЕ ЕУФШ ОЕ ЮФП ЙОПЕ, ЛБЛ ПФЧЕФ ОБ ЧПРТПУ: «рХУФ МЙ РПЮФПЧЩК СЭЙЛ ЛМЙЕОФБ ОБ УЕТЧЕТЕ РТПЧБКДЕТБ?». ч УМХЮБЕ РПМПЦЙФЕМШОПЗП ПФЧЕФБ «ЙУФЙОБ», УМЕДХЕФ ПФЛМАЮЙФШ УПЕДЙОЕОЙЕ У РТПЧБКДЕТПН, ЮФП Й ДЕМБЕФ БЧФПНБФЙЮЕУЛЙ РПЮФПЧБС РТПЗТБННБ-ЛМЙЕОФ. ч УМХЮБЕ ПФТЙГБФЕМШОПЗП ПФЧЕФБ «МПЦШ», УМЕДХЕФ ПУФБЧБФШУС Ч УПУФПСОЙЙ ЪБЗТХЪЛЙ РПЮФЩ Й ОЕ ТБЪТЩЧБФШ ФЕМЕЖПООПЕ УПЕДЙОЕОЙЕ.
зТБЖЙЮЕУЛЙ ЖТБЗНЕОФ МПЗЙЛЙ НПДЕМЙТПЧБОЙС РПЮФПЧПК РТПЗТБННЩ НПЦЕФ ВЩФШ РТЕДУФБЧМЕО Ч ЧЙДЕ УМЕДХАЭЕК ДЙБЗТБННЩ УПУФПСОЙК (ТЙУ. 6.5). лБЛ НПЦОП ЪБЛМАЮЙФШ ЙЪ ЛПОФЕЛУФБ, Ч ОБЮБМШОПН УПУФПСОЙЙ РТПЗТБННБ ОЕ ЧЩРПМОСЕФУС, ИПФС Й ЙНЕЕФУС ОБ ЛПНРШАФЕТЕ РПМШЪПЧБФЕМС. ч НПНЕОФ ЕЕ ЧЛМАЮЕОЙС РТПЙУИПДЙФ ЕЕ БЛФЙЧЙЪБГЙС. ч ЬФПН УПУФПСОЙЙ РТПЗТБННБ НПЦЕФ ОБИПДЙФШУС ОЕПРТЕДЕМЕООП ДПМЗП, РПЛБ РПМШЪПЧБФЕМШ ЕЕ ОЕ ЪБЛТПЕФ, Ф. Е. ОЕ ЧЩЗТХЪЙФ ЙЪ ПРЕТБФЙЧОПК РБНСФЙ ЛПНРШАФЕТБ. рПУМЕ ПЛПОЮБОЙС БЛФЙЧЙЪБГЙЙ РТПЗТБННБ РЕТЕИПДЙФ Ч ЛПОЕЮОПЕ УПУФПСОЙЕ. ч БЛФЙЧОПН УПУФПСОЙЙ РТПЗТБННЩ РПМШЪПЧБФЕМШ НПЦЕФ ЮЙФБФШ УППВЭЕОЙС ЬМЕЛФТПООПК РПЮФЩ, УПЪДБЧБФШ УПВУФЧЕООЩЕ РПУМБОЙС Й ЧЩРПМОСФШ ДТХЗЙЕ ДЕКУФЧЙС, ОЕ ХЛБЪБООЩЕ СЧОП ОБ ДЙБЗТБННЕ.
пДОБЛП РТЙ ОЕПВИПДЙНПУФЙ РПМХЮЙФШ ОПЧХА РПЮФХ, РПМШЪПЧБФЕМШ ДПМЦЕО ХУФБОПЧЙФШ ФЕМЕЖПООПЕ УПЕДЙОЕОЙЕ У РТПЧБКДЕТПН, ЮФП Й РПЛБЪБОП СЧОП ОБ ДЙБЗТБННЕ ЧЕТИОЙН РЕТЕИПДПН. дТХЗЙНЙ УМПЧБНЙ, РПМШЪПЧБФЕМШ ЙОЙГЙЙТХЕФ УПВЩФЙЕ-ФТЙЗЗЕТ «ХУФБОПЧЙФШ ФЕМЕЖПООПЕ УПЕДЙОЕОЙЕ». ч ЛБЮЕУФЧЕ РБТБНЕФТБ ЬФПЗП УПВЩФЙС ЧЩУФХРБЕФ ЛПОЛТЕФОЩК ФЕМЕЖПООЩК ОПНЕТ НПДЕНОПЗП РХМБ РТПЧБКДЕТБ. дБМЕЕ УМЕДХЕФ РТПЧЕТЛБ УФПТПЦЕЧПЗП ХУМПЧЙС «ФЕМЕЖПООПЕ УПЕДЙОЕОЙЕ ХУФБОПЧМЕОП», ЛПФПТПЕ УМЕДХЕФ РПОЙНБФШ ЛБЛ ЧПРТПУ. фПМШЛП Ч УМХЮБЕ РПМПЦЙФЕМШОПЗП ПФЧЕФБ «ДБ», Ф. Е. «ЙУФЙОБ», РТПЙУИПДЙФ РЕТЕИПД РПЮФПЧПК РТПЗТБННЩ-ЛМЙЕОФБ ЙЪ УПУФПСОЙС «БЛФЙЧЙЪБГЙС РПЮФПЧПК РТПЗТБННЩ» Ч УПУФПСОЙЕ «ЪБЗТХЪЛБ РПЮФЩ У УЕТЧЕТБ РТПЧБКДЕТБ». ч РТПФЙЧОПН УМХЮБЕ (МЙОЙС ЪБОСФБ, ОЕЧЕТОЩК ЧЧПД РБТПМС, ПФЛМАЮЕООЩК МПЗЙО) ОЙЛБЛПК ЪБЗТХЪЛЙ РПЮФЩ ОЕ РТПЙЪПКДЕФ, Й РТПЗТБННБ ПУФБОЕФУС Ч РТЕЦОЕН УЧПЕН УПУФПСОЙЙ.
тЙУ. 6.5. дЙБЗТБННБ УПУФПСОЙК ДМС НПДЕМЙТПЧБОЙС РПЮФПЧПК РТПЗТБННЩ-ЛМЙЕОФБ
чФПТПК ФТЙЗЗЕТОЩК РЕТЕИПД ОБ ДЙБЗТБННЕ ЙОЙГЙЙТХЕФ БЧФПНБФЙЮЕУЛЙК ТБЪТЩЧ ФЕМЕЖПООПЗП УПЕДЙОЕОЙС У РТПЧБКДЕТПН РПУМЕ ПЛПОЮБОЙС ЪБЗТХЪЛЙ РПЮФЩ ОБ ЛПНРШАФЕТ РПМШЪПЧБФЕМС. ч’ ЬФПН УМХЮБЕ УПВЩФЙЕ-ФТЙЗЗЕТ «ЪБЛПОЮЙФШ ЪБЗТХЪЛХ РПЮФЩ» РТПЙУИПДЙФ РПУМЕ РТПЧЕТЛЙ УФПТПЦЕЧПЗП ХУМПЧЙС «РПЮФПЧЩК СЭЙЛ ОБ УЕТЧЕТЕ РХУФ», ЛПФПТПЕ ФБЛЦЕ УМЕДХЕФ РПОЙНБФШ Ч ЖПТНЕ ЧПРТПУБ. рТЙ РПМПЦЙФЕМШОПН ПФЧЕФЕ ОБ ЬФПФ ЧПРТПУ (ЧУС РПЮФБ ЪБЗТХЦЕОБ ЙМЙ ЕЕ РТПУФП ОЕФ Ч СЭЙЛЕ) РПЮФПЧБС РТПЗТБННБ РТЕЛТБЭБЕФ ЪБЗТХЪЛХ РПЮФЩ Й РЕТЕИПДЙФ Ч УПУФПСОЙЕ БЛФЙЧЙЪБГЙЙ. ч УМХЮБЕ ЦЕ ПФТЙГБФЕМШОПЗП ПФЧЕФБ ЪБЗТХЪЛБ РПЮФЩ ВХДЕФ РТПДПМЦЕОБ.
лПОЕЮОП, ТБУУНПФТЕООЩК РТЙНЕТ ЙНЕЕФ НЕФПДЙЮЕУЛЙК ИБТБЛФЕТ Й ЙММАУФТЙТХЕФ МЙЫШ ПУОПЧОЩЕ ПУПВЕООПУФЙ РПЧЕДЕОЙС РПЮФПЧПК РТПЗТБННЩ-ЛМЙЕОФБ Ч ПДОПН ЙЪ ЕЕ БУРЕЛФПЧ. й ДБЦЕ ЬФПФ БУРЕЛФ ЪБЗТХЪЛЙ РПЮФЩ ЧП НОПЗПН ХУМПЧОЩК, РПУЛПМШЛХ ОЕ ХЮЙФЩЧБЕФ ТЕБЛГЙА РТПЗТБННЩ ОБ ФБЛЙЕ УППВЭЕОЙС, ЛБЛ «МЙОЙС ЪБОСФБ» ЙМЙ УБНПРТПЙЪЧПМШОЩК ТБЪТЩЧ УПЕДЙОЕОЙС.
тЕЮШ ЙДЕФ П ФПН, ЮФП Ч ПФДЕМШОЩИ УМХЮБСИ НПЦЕФ РТПЙЪПКФЙ ТЕДЛПЕ, ОП ЧЕУШНБ ОЕРТЙСФОПЕ УПВЩФЙЕ, РПМХЮЙЧЫЕЕ ОБЪЧБОЙЕ «ЪБМЙРБОЙЕ НПДЕНБ». ьФП ИБТБЛФЕТОП ДМС УЙФХБГЙЙ, ЛПЗДБ ЧУС РПЮФБ ЪБЗТХЦЕОБ, Б БЧФПНБФЙЮЕУЛЙК ТБЪТЩЧ УПЕДЙОЕОЙС ОЕ РТПЙУИПДЙФ. фЕН ОЕ НЕОЕЕ Й ЬФПФ УМХЮБК НПЦОП РТЕДХУНПФТЕФШ Ч ОБЫЕК НПДЕМЙ, ДПРПМОЙЧ ДЙБЗТБННХ ЕЭЕ ПДОЙН РЕТЕИПДПН У БОБМПЗЙЮОЩН УПВЩФЙЕН-ФТЙЗЗЕТПН «ЪБЛПОЮЙФШ ЪБЗТХЪЛХ РПЮФЩ» Й У ОПЧЩН УФПТПЦЕЧЩН ХУМПЧЙЕН. ьФП УФПТПЦЕЧПЕ ХУМПЧЙЕ ДПМЦОП РТПЧЕТСФШ НБЛУЙНБМШОП
ДПРХУФЙНПЕ ЧТЕНС УПЕДЙОЕОЙС ДМС ЪБЗТХЪЛЙ РПЮФЩ (ОБРТЙНЕТ, 600 УЕЛХОД) Й НПЦЕФ ВЩФШ УЖПТНХМЙТПЧБОП Ч ЧЙДЕ «ЧТЕНС ЪБЗТХЪЛЙ РПЮФЩ РТЕЧЩЫБЕФ 600 УЕЛХОД». нПДЙЖЙГЙТПЧБФШ ДЙБЗТБННХ УПУФПСОЙК ДМС ЬФПЗП УМХЮБС РТЕДМБЗБЕФУС УБНПУФПСФЕМШОП Ч ЛБЮЕУФЧЕ ХРТБЦОЕОЙС.
чЩТБЦЕОЙЕ ДЕКУФЧЙС (action expression) ЧЩРПМОСЕФУС Ч ФПН Й ФПМШЛП Ч ФПН УМХЮБЕ, ЛПЗДБ РЕТЕИПД УТБВБФЩЧБЕФ. рТЕДУФБЧМСЕФ УПВПК БФПНБТОХА ПРЕТБГЙА (ДПУФБФПЮОП РТПУФПЕ ЧЩЮЙУМЕОЙЕ), ЧЩРПМОСЕНХА УТБЪХ РПУМЕ УТБВБФЩЧБОЙС УППФЧЕФУФЧХАЭЕЗП РЕТЕИПДБ ДП ОБЮБМБ ЛБЛЙИ ВЩ ФП ОЙ ВЩМП ДЕКУФЧЙК Ч ГЕМЕЧПН УПУФПСОЙЙ. бФПНБТОПУФШ ДЕКУФЧЙС ПЪОБЮБЕФ, ЮФП ПОП ОЕ НПЦЕФ ВЩФШ РТЕТЧБОП ОЙЛБЛЙН ДТХЗЙН ДЕКУФЧЙЕН ДП ФЕИ РПТ, РПЛБ ОЕ ЪБЛПОЮЙФУС ЕЗП ЧЩРПМОЕОЙЕ. дБООПЕ ДЕКУФЧЙЕ НПЦЕФ ПЛБЪЩЧБФШ ЧМЙСОЙЕ ЛБЛ ОБ УБН ПВЯЕЛФ, ФБЛ Й ОБ ЕЗП ПЛТХЦЕОЙЕ, ЕУМЙ ЬФП У ПЮЕЧЙДОПУФША УМЕДХЕФ ЙЪ ЛПОФЕЛУФБ НПДЕМЙ. чЩТБЦЕОЙЕ ЪБРЙУЩЧБЕФУС РПУМЕ ЪОБЛБ «/» Ч УФТПЛЕ ФЕЛУФБ, РТЙУПЕДЙОЕООПК Л УППФЧЕФУФЧХАЭЕНХ РЕТЕИПДХ.
ч ЛБЮЕУФЧЕ РТЙНЕТБ ЧЩТБЦЕОЙС ДЕКУФЧЙС (УН. ТЙУ. 6.5) НПЦЕФ УМХЦЙФШ «ТБЪПТЧБФШ ФЕМЕЖПООПЕ УПЕДЙОЕОЙЕ (ФЕМЕЖПООЩК ОПНЕТ), ЛПФПТПЕ ДПМЦОП ВЩФШ ЧЩРПМОЕОП УТБЪХ РПУМЕ ХУФБОПЧМЕОЙС ЙУФЙООПУФЙ («ЙУФЙОБ») УФПТПЦЕЧПЗП ХУМПЧЙС «РПЮФПЧЩК СЭЙЛ ОБ УЕТЧЕТЕ РХУФ».
дТХЗЙН РТЙНЕТПН НПЦЕФ УМХЦЙФШ ПЮЕЧЙДОБС УЙФХБГЙС У ЧЩДЕМЕОЙЕН ЗТБЖЙЮЕУЛЙИ ПВЯЕЛФПЧ ОБ ЬЛТБОЕ НПОЙФПТБ РТЙ ПДОПЛТБФОПН ОБЦБФЙЙ МЕЧПК ЛОПРЛЙ НЩЫЙ. йНЕЕФУС Ч ЧЙДХ ПВТБВПФЛБ УЙЗОБМПЧ ПФ РПМШЪПЧБФЕМС РТЙ ЧЩДЕМЕОЙЙ ФЕИ ЙМЙ ЙОЩИ ЗТБЖЙЮЕУЛЙИ РТЙНЙФЙЧПЧ (РЙЛФПЗТБНН). ч ЬФПН УМХЮБЕ УППФЧЕФУФЧХАЭЙК РЕТЕИПД НПЦЕФ ЙНЕФШ УМЕДХАЭХА УФТПЛХ ФЕЛУФБ: «ОБЦБФБ Й ПФРХЭЕОБ МЕЧБС ЛОПРЛБ НЩЫЙ (ЛППТДЙОБФЩ) [ЛППТДЙОБФЩ Ч ПВМБУФЙ ЗТБЖЙЮЕУЛПЗП ПВЯЕЛФБ] / ЧЩДЕМЙФШ ПВЯЕЛФ (ГЧЕФ). тЕЪХМШФБФПН ЬФПЗП ФТЙЗЗЕТОПЗП РЕТЕИПДБ НПЦЕФ ВЩФШ, ОБРТЙНЕТ, БЛФЙЧЙЪБГЙС ОЕЛПФПТЩИ УЧПКУФЧ ПВЯЕЛФБ (ТБЪНЕТ ЖБКМБ Ч УФТПЛЕ УПУФПСОЙС) ЙМЙ РПУМЕДХАЭЕЕ ЕЗП ХДБМЕОЙЕ Ч ЛПТЪЙОХ.
6.4. уПУФБЧОПЕ УПУФПСОЙЕ Й РПДУПУФПСОЙЕ
тЙУ. 6.6. зТБЖЙЮЕУЛПЕ РТЕДУФБЧМЕОЙЕ УПУФБЧОПЗП УПУФПСОЙС У ДЧХНС ЧМПЦЕООЩНЙ Ч ОЕЗП РПУМЕДПЧБФЕМШОЩНЙ РПДУПУФПСОЙСНЙ
уПУФБЧОПЕ УПУФПСОЙЕ НПЦЕФ УПДЕТЦБФШ ДЧБ ЙМЙ ВПМЕЕ РБТБММЕМШОЩИ РПДБЧФПНБФБ ЙМЙ ОЕУЛПМШЛП РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК. лБЦДПЕ УМПЦОПЕ УПУФПСОЙЕ НПЦЕФ ХФПЮОСФШУС ФПМШЛП ПДОЙН ЙЪ ХЛБЪБООЩИ УРПУПВПЧ. рТЙ ЬФПН МАВПЕ ЙЪ РПДУПУФПСОЙК, Ч УЧПА ПЮЕТЕДШ, НПЦЕФ СЧМСФШУС УПУФБЧОЩН УПУФПСОЙЕН Й УПДЕТЦБФШ ЧОХФТЙ УЕВС ДТХЗЙЕ ЧМПЦЕООЩЕ РПДУПУФПСОЙС. лПМЙЮЕУФЧП ХТПЧОЕК ЧМПЦЕООПУФЙ УПУФБЧОЩИ УПУФПСОЙК ОЕ ЖЙЛУЙТПЧБОП Ч СЪЩЛЕ UML.
рПУМЕДПЧБФЕМШОЩЕ РПДУПУФПСОЙС (sequential substates) ЙУРПМШЪХАФУС ДМС НПДЕМЙТПЧБОЙС ФБЛПЗП РПЧЕДЕОЙС ПВЯЕЛФБ, ЧП ЧТЕНС ЛПФПТПЗП Ч ЛБЦДЩК НПНЕОФ ЧТЕНЕОЙ ПВЯЕЛФ НПЦЕФ ОБИПДЙФШУС Ч ПДОПН Й ФПМШЛП ПДОПН РПДУПУФПСОЙК. рПЧЕДЕОЙЕ ПВЯЕЛФБ Ч ЬФПН УМХЮБЕ РТЕДУФБЧМСЕФ УПВПК РПУМЕДПЧБФЕМШОХА УНЕОХ РПДУПУФПСОЙК, ОБЮЙОБС ПФ ОБЮБМШОПЗП Й ЪБЛБОЮЙЧБС ЛПОЕЮОЩН РПДУПУФПСОЙСНЙ. иПФС ПВЯЕЛФ РТПДПМЦБЕФ ОБИПДЙФШУС Ч УПУФБЧОПН УПУФПСОЙЙ, ЧЧЕДЕОЙЕ Ч ТБУУНПФТЕОЙЕ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК РПЪЧПМСЕФ ХЮЕУФШ ВПМЕЕ ФПОЛЙЕ МПЗЙЮЕУЛЙЕ БУРЕЛФЩ ЕЗП ЧОХФТЕООЕЗП РПЧЕДЕОЙС.
дМС РТЙНЕТБ ТБУУНПФТЙН Ч ЛБЮЕУФЧЕ НПДЕМЙТХЕНПЗП ПВЯЕЛФБ ПВЩЮОЩК ФЕМЕЖПООЩК БРРБТБФ. пО НПЦЕФ ОБИПДЙФШУС Ч ТБЪМЙЮОЩИ УПУФПСОЙСИ, ПДОЙН ЙЪ ЛПФПТЩИ СЧМСЕФУС УПУФПСОЙЕ ДПЪЧПОБ ДП БВПОЕОФБ. пЮЕЧЙДОП, ДМС ФПЗП ЮФПВЩ РПЪЧПОЙФШ, ОЕПВИПДЙНП УОСФШ ФЕМЕЖПООХА ФТХВЛХ, ХУМЩЫБФШ ФПОПЧЩК УЙЗОБМ, РПУМЕ ЮЕЗП ОБВТБФШ ОХЦОЩК ФЕМЕЖПООЩК ОПНЕТ. фБЛЙН ПВТБЪПН, УПУФПСОЙЕ ДПЪЧПОБ ДП БВПОЕОФБ СЧМСЕФУС УПУФБЧОЩН Й УПУФПЙФ ЙЪ ДЧХИ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК: «РПДОСФШ ФЕМЕЖПООХА ФТХВЛХ» Й «ОБВТБФШ ФЕМЕЖПООЩК ОПНЕТ». жТБЗНЕОФ ДЙБЗТБННЩ УПУФПСОЙК ДМС ЬФПЗП РТЙНЕТБ УПДЕТЦЙФ ПДОП УПУФБЧОПЕ УПУФПСОЙЕ Й ДЧБ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК (ТЙУ. 6.7).
тЙУ. 6.7. рТЙНЕТ УПУФБЧОПЗП УПУФПСОЙС У ДЧХНС ЧМПЦЕООЩНЙ РПУМЕДПЧБФЕМШОЩНЙ РПДУПУФПСОЙСНЙ
оЕЛПФПТЩИ РПСУОЕОЙК НПЗХФ РПФТЕВПЧБФШ РЕТЕИПДЩ. дЧБ ЙЪ ОЙИ УРЕГЙЖЙГЙТХАФ УПВЩФЙЕ-ФТЙЗЗЕТ ОБВПТ ГЙЖТЩ, ЛПФПТПЕ ЙНЕЕФ ЙНС «ГЙЖТБ» У РБТБНЕФТПН «Р». ч ЛБЮЕУФЧЕ РБТБНЕФТБ, ЛБЛ ОЕФТХДОП РТЕДРПМПЦЙФШ, ЧЩУФХРБЕФ ПФДЕМШОБС ГЙЖТБ ОБ ДЙУЛЕ ФЕМЕЖПООПЗП БРРБТБФБ. рЕТЕИПД ЙЪ ОБЮБМШОПЗП РПД-УПУФПСОЙС ОЕФТЙЗЗЕТОЩК, РПУЛПМШЛХ ПО ОЕ УПДЕТЦЙФ ОЙЛБЛПК УФТПЛЙ ФЕЛУФБ. рПУМЕДОЙК РЕТЕИПД Ч ЛПОЕЮОПЕ РПДУПУФПСОЙЕ ОЕ ЙНЕЕФ УПВЩФЙС-ФТЙЗЗЕТБ, ОП ЙНЕЕФ УФПТПЦЕЧПЕ ХУМПЧЙЕ, РТПЧЕТСАЭЕЕ РТБЧЙМШОПУФШ ОБВТБООПЗП ОПНЕТБ БВПОЕОФБ. фПМШЛП Ч УМХЮБЕ ЙУФЙООПУФЙ ЬФПЗП ХУМПЧЙС ФЕМЕЖПООЩК БРРБТБФ НПЦЕФ РЕТЕКФЙ Ч ЛПОЕЮОПЕ РПДУПУФПСОЙЕ, ЛПФПТПЕ ИБТБЛФЕТЙЪХЕФ УХРЕТУПУФПСОЙЕ «ДПЪЧПО ДП БВПОЕОФБ» Ч ГЕМПН.
уПУФБЧОПЕ УПУФПСОЙЕ НПЦЕФ УПДЕТЦБФШ Ч ЛБЮЕУФЧЕ ЧМПЦЕООЩИ РПДУПУФПСОЙК ОБЮБМШОПЕ Й ЛПОЕЮОПЕ УПУФПСОЙС. рТЙ ЬФПН ОБЮБМШОПЕ РПДУПУФПСОЙЕ СЧМСЕФУС ЙУИПДОЩН, ЛПЗДБ РТПЙУИПДЙФ РЕТЕИПД ПВЯЕЛФБ Ч ДБООПЕ УПУФБЧОПЕ УПУФПСОЙЕ. еУМЙ УПУФБЧОПЕ УПУФПСОЙЕ УПДЕТЦЙФ ЧОХФТЙ УЕВС ЛПОЕЮОПЕ РПДУПУФПСОЙЕ, ФП РЕТЕИПД Ч ЬФП ЧМПЦЕООПЕ ЛПОЕЮОПЕ УПУФПСОЙЕ ПЪОБЮБЕФ ЪБЧЕТЫЕОЙЕ ОБИПЦДЕОЙС ПВЯЕЛФБ Ч ДБООПН ЧМПЦЕООПН УПУФПСОЙЙ. чБЦОП РПНОЙФШ, ЮФП ДМС РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК ОБЮБМШОПЕ Й ЛПОЕЮОПЕ УПУФПСОЙС ДПМЦОЩ ВЩФШ ЕДЙОУФЧЕООЩНЙ Ч ЛБЦДПН УПУФБЧОПН УПУФПСОЙЙ.
ьФП НПЦОП ПВЯСУОЙФШ УМЕДХАЭЙН ПВТБЪПН. лБЦДБС УПЧПЛХРОПУФШ ЧМПЦЕООЩИ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК РТЕДУФБЧМСЕФ УПВПК РПДБЧФПНБФ ФПЗП БЧФПНБФБ, ЛПФПТПНХ РТЙОБДМЕЦЙФ ТБУУНБФТЙЧБЕНПЕ УПУФБЧОПЕ УПУФПСОЙЕ. рПУЛПМШЛХ ЛБЦДЩК БЧФПНБФ НПЦЕФ ЙНЕФШ РП ПРТЕДЕМЕОЙА ЕДЙОУФЧЕООПЕ ОБЮБМШОПЕ Й ЕДЙОУФЧЕООПЕ ЛПОЕЮОПЕ УПУФПСОЙС, ФП ДМС РПДБЧФПНБФБ ЬФП ХУМПЧЙЕ ФБЛЦЕ ДПМЦОП ЧЩРПМОСФШУС (ТЙУ. 6.7).
рБТБММЕМШОЩЕ РПДУПУФПСОЙС (concurrent substates) РПЪЧПМСАФ УРЕГЙЖЙГЙТПЧБФШ ДЧБ Й ВПМЕЕ РПДБЧФПНБФБ, ЛПФПТЩЕ НПЗХФ ЧЩРПМОСФШУС РБТБММЕМШОП ЧОХФТЙ УПУФБЧОПЗП УПВЩФЙС. лБЦДЩК ЙЪ РПДБЧФПНБФПЧ ЪБОЙНБЕФ ОЕЛПФПТХА ПВМБУФШ (ТЕЗЙПО) ЧОХФТЙ УПУФБЧОПЗП УПУФПСОЙС, ЛПФПТБС ПФДЕМСЕФУС ПФ ПУФБМШОЩИ ЗПТЙЪПОФБМШОПК РХОЛФЙТОПК МЙОЙЕК. еУМЙ ОБ ДЙБЗТБННЕ УПУФПСОЙК ЙНЕЕФУС УПУФБЧОПЕ УПУФПСОЙЕ У ЧМПЦЕООЩНЙ РБТБММЕМШОЩНЙ РПДУПУФПСОЙСНЙ, ФП ПВЯЕЛФ НПЦЕФ ПДОПЧТЕНЕООП ОБИПДЙФШУС Ч ЛБЦДПН ЙЪ ЬФЙИ РПДУПУФПСОЙК.
пДОБЛП ПФДЕМШОЩЕ РБТБММЕМШОЩЕ РПДУПУФПСОЙС НПЗХФ, Ч УЧПА ПЮЕТЕДШ, УПУФПСФШ ЙЪ ОЕУЛПМШЛЙИ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК (РПДБЧФПНБФЩ 1 Й 2 ОБ ТЙУ. 6.8). ч ЬФПН УМХЮБЕ РП ПРТЕДЕМЕОЙА ПВЯЕЛФ НПЦЕФ ОБИПДЙФШУС ФПМШЛП Ч ПДОПН ЙЪ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК РПДБЧФПНБФБ. фБЛЙН ПВТБЪПН, ДМС БВУФТБЛФОПЗП РТЙНЕТБ (ТЙУ. 6.8) ДПРХУФЙНП ПДОПЧТЕНЕООПЕ ОБИПЦДЕОЙЕ ПВЯЕЛФБ Ч РПДУПУФПСОЙСИ (1, 3, 4), (2, 3, 4), (1, 3, 5), (2, 3, 5). оЕДПРХУФЙНП ОБИПЦДЕОЙЕ ПВЯЕЛФБ ПДОПЧТЕНЕООП Ч РПДУПУФПСОЙСИ (1, 2,3) ЙМЙ (3, 4, 5).
тЙУ. 6.8. зТБЖЙЮЕУЛПЕ ЙЪПВТБЦЕОЙЕ УПУФБЧОПЗП УПУФПСОЙС У ЧМПЦЕООЩНЙ РБТБММЕМШОЩНЙ РПДУПУФПСОЙСНЙ
рПУЛПМШЛХ ЛБЦДЩК ТЕЗЙПО ЧМПЦЕООПЗП УПУФПСОЙС УРЕГЙЖЙГЙТХЕФ ОЕЛПФПТЩК РПДБЧФПНБФ, ФП ДМС ЛБЦДПЗП ЙЪ ЧМПЦЕООЩИ РПДБЧФПНБФПЧ НПЗХФ ВЩФШ ПРТЕДЕМЕОЩ УПВУФЧЕООЩЕ ОБЮБМШОПЕ Й ЛПОЕЮОЩЕ РПДУПУФПСОЙС (ТЙУ. 6.8). рТЙ РЕТЕИПДЕ Ч ДБООПЕ УПУФБЧОПЕ УПУФПСОЙЕ ЛБЦДЩК ЙЪ РПДБЧФПНБФПЧ ПЛБЪЩЧБЕФУС Ч УЧПЕН ОБЮБМШОПН РПДУПУФПСОЙК. дБМЕЕ РТПЙУИПДЙФ РБТБММЕМШОПЕ ЧЩРПМОЕОЙЕ ЛБЦДПЗП ЙЪ ЬФЙИ РПДБЧФПНБФПЧ, РТЙЮЕН ЧЩИПД ЙЪ УПУФБЧОПЗП УПУФПСОЙС ВХДЕФ ЧПЪНПЦЕО МЙЫШ Ч ФПН УМХЮБЕ, ЛПЗДБ ЧУЕ РПДБЧФПНБФЩ ВХДХФ ОБИПДЙФШУС Ч УЧПЙИ ЛПОЕЮОЩИ РПДУПУФПСОЙСИ.
еУМЙ ЛБЛПК-МЙВП ЙЪ РПДБЧФПНБФПЧ РТЙЫЕМ Ч УЧПЕ ЛПОЕЮОПЕ УПУФПСОЙЕ ТБОШЫЕ ДТХЗЙИ, ФП ПО ДПМЦЕО ПЦЙДБФШ, РПЛБ Й ДТХЗЙЕ РПДБЧФПНБФЩ ОЕ РТЙДХФ Ч УЧПЙ ЛПОЕЮОЩЕ УПУФПСОЙС.
ч ОЕЛПФПТЩИ УМХЮБСИ ВЩЧБЕФ ЦЕМБФЕМШОП УЛТЩФШ ЧОХФТЕООАА УФТХЛФХТХ УПУФБЧОПЗП УПУФПСОЙС. оБРТЙНЕТ, ПФДЕМШОЩК РПДБЧФПНБФ, УРЕГЙЖЙГЙТХАЭЙК УПУФБЧОПЕ УПУФПСОЙЕ, НПЦЕФ ВЩФШ ОБУФПМШЛП ВПМШЫЙН РП НБУЫФБВХ, ЮФП ЕЗП ЧЙЪХБМЙЪБГЙС ЪБФТХДОЙФ ПВЭЕЕ РТЕДУФБЧМЕОЙЕ ДЙБЗТБННЩ УПУФПСОЙК. ч РПДПВОПК УЙФХБГЙЙ ДПРХУЛБЕФУС ОЕ ТБУЛТЩЧБФШ ОБ ЙУИПДОПК ДЙБЗТБННЕ УПУФПСОЙК ДБООПЕ УПУФБЧОПЕ УПУФПСОЙЕ, Б ХЛБЪБФШ Ч РТБЧПН ОЙЦОЕН ХЗМХ УРЕГЙБМШОЩК УЙНЧПМ-РЙЛФПЗТБННХ (ТЙУ. 6.9). ч РПУМЕДХАЭЕН ДЙБЗТБННБ УПУФПСОЙК ДМС УППФЧЕФУФЧХАЭЕЗП РПДБЧФПНБФБ НПЦЕФ ВЩФШ ЙЪПВТБЦЕОБ ПФДЕМШОП ПФ ПУОПЧОПК У ОЕПВИПДЙНЩНЙ ЛПННЕОФБТЙСНЙ.
тЙУ. 6.9. уПУФБЧОПЕ УПУФПСОЙЕ УП УЛТЩФПК ЧОХФТЕООЕК УФТХЛФХТПК Й УРЕГЙБМШОПК РЙЛФПЗТБННПК
6.5. йУФПТЙЮЕУЛПЕ УПУФПСОЙЕ
лБЛ ВЩМП ПФНЕЮЕОП ЧЩЫЕ, ЖПТНБМЙЪН ПВЩЮОПЗП БЧФПНБФБ ОЕ РПЪЧПМСЕФ ХЮЙФЩЧБФШ РТЕДЩУФПТЙА Ч РТПГЕУУЕ НПДЕМЙТПЧБОЙС РПЧЕДЕОЙС ПВЯЕЛФПЧ. пДОБЛП ЖХОЛГЙПОЙТПЧБОЙЕ ГЕМПЗП ТСДБ УЙУФЕН ПУОПЧБОП ОБ ЧПЪНПЦОПУФЙ ЧЩИПДБ ЙЪ ПФДЕМШОЩИ УПУФПСОЙК У РПУМЕДХАЭЙН ЧПЪЧТБЭЕОЙЕН Ч ЬФП ЦЕ УПУФПСОЙЕ. рТЙ ЬФПН НПЦЕФ ПЛБЪБФШУС ОЕПВИПДЙНЩН ХЮЕУФШ ФХ ЮБУФШ ДЕСФЕМШОПУФЙ, ЛПФПТБС ВЩМБ ЧЩРПМОЕОБ ОБ НПНЕОФ ЧЩИПДБ ЙЪ ЬФПЗП УПУФПСОЙЙ, ЮФПВЩ ОЕ ОБЮЙОБФШ ЕЕ ЧЩРПМОЕОЙЕ УОБЮБМБ. дМС ЬФПК ГЕМЙ Ч СЪЩЛЕ UML УХЭЕУФЧХЕФ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ.
йУФПТЙЮЕУЛПЕ УПУФПСОЙЕ (history state) РТЙНЕОСЕФУС Ч ЛПОФЕЛУФЕ УПУФБЧОПЗП УПУФПСОЙС. пОП ЙУРПМШЪХЕФУС ДМС ЪБРПНЙОБОЙС ФПЗП ЙЪ РПУМЕДПЧБФЕМШОЩИ РПДУПУФПСОЙК, ЛПФПТПЕ ВЩМП ФЕЛХЭЙН Ч НПНЕОФ ЧЩИПДБ ЙЪ УПУФБЧОПЗП УПУФПСОЙС. рТЙ ЬФПН УХЭЕУФЧХЕФ ДЧЕ ТБЪОПЧЙДОПУФЙ ЙУФПТЙЮЕУЛПЗП УПУФПСОЙС: ОЕДБЧОЕЕ Й ДБЧОЕЕ (ТЙУ. 6.10).
тЙУ. 6.10. зТБЖЙЮЕУЛПЕ ЙЪПВТБЦЕОЙЕ ОЕДБЧОЕЗП (Б) Й ДБЧОЕЗП (В) ЙУФПТЙЮЕУЛПЗП УПУФПСОЙС
оЕДБЧОЕЕ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ (shallow history state) ПВПЪОБЮБЕФУС Ч ЖПТНЕ ОЕВПМШЫПК ПЛТХЦОПУФЙ, Ч ЛПФПТХА РПНЕЭЕОБ МБФЙОУЛБС ВХЛЧБ «о» (ТЙУ. 6.10, Б). ьФП УПУФПСОЙЕ ПВМБДБЕФ УМЕДХАЭЕК УЕНБОФЙЛПК. чП-РЕТЧЩИ, ПОП СЧМСЕФУС РЕТЧЩН РПДУПУФПСОЙЕН Ч УПУФБЧОПН УПУФПСОЙЙ, Й РЕТЕИПД ЙЪЧОЕ Ч ЬФП УПУФБЧОПЕ УПУФПСОЙЕ ДПМЦЕО ЧЕУФЙ ОЕРПУТЕДУФЧЕООП Ч ЬФП ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ. чП-ЧФПТЩИ, РТЙ РЕТЧПН РПРБДБОЙЙ Ч ОЕДБЧОЕЕ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ ПОП ОЕ ИТБОЙФ ОЙЛБЛПК ЙУФПТЙЙ (ЙУФПТЙС РХУФБ). дТХЗЙНЙ УМПЧБНЙ, РТЙ РЕТЧПН РЕТЕИПДЕ Ч ОЕДБЧОЕЕ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ ПОП ЪБНЕОСЕФ УПВПК ОБЮБМШОПЕ УПУФПСОЙЕ РПДБЧФПНБФБ.
дБМЕЕ УМЕДХЕФ РПУМЕДПЧБФЕМШОПЕ ЙЪНЕОЕОЙЕ ЧМПЦЕООЩИ РПДУПУФПСОЙК. еУМЙ Ч ОЕЛПФПТЩК НПНЕОФ РТПЙУИПДЙФ ЧЩИПД ЙЪ ЧМПЦЕООПЗП УПУФПСОЙС (ОБРТЙНЕТ, Ч УМХЮБЕ ОЕЛПФПТПЗП ЧОЕЫОЕЗП УПВЩФЙС), ФП ЬФП ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ ЪБРПНЙОБЕФ ФП ЙЪ РПДУПУФПСОЙК, ЛПФПТПЕ СЧМСМПУШ ФЕЛХЭЙН ОБ НПНЕОФ ЧЩИПДБ. рТЙ УМЕДХАЭЕН ЧИПДЕ Ч ЬФП ЦЕ УПУФБЧОПЕ УПУФПСОЙЕ ЙУФПТЙЮЕУЛПЕ РПДУПУФПСОЙЕ ХЦЕ ЙНЕЕФ ОЕРХУФХА ЙУФПТЙА Й УТБЪХ ПФРТБЧМСЕФ РПДБЧФПНБФ Ч ЪБРПНОЕООПЕ РПДУПУФПСОЙЕ, НЙОХС ЧУЕ РТЕДЫЕУФЧХАЭЙЕ ЕНХ РПДУПУФПСОЙС.
йУФПТЙЮЕУЛПЕ УПУФПСОЙЕ ФЕТСЕФ УЧПА ЙУФПТЙА Ч ФПФ НПНЕОФ, ЛПЗДБ РПДБЧФПНБФ ДПИПДЙФ ДП УЧПЕЗП ЛПОЕЮОПЗП УПУФПСОЙС. рТЙ ЬФПН ОЕДБЧОЕЕ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ ЪБРПНЙОБЕФ ЙУФПТЙА ФПМШЛП ФПЗП РПДБЧФПНБФБ, Л ЛПФПТПНХ ПО ПФОПУЙФУС. дТХЗЙНЙ УМПЧБНЙ, ЬФПФ ФЙР УПУФПСОЙС УРПУПВЕО ЪБРПНОЙФШ ЙУФПТЙА ФПМШЛП ПДОПЗП У ОЙН ХТПЧОС ЧМПЦЕООПУФЙ.
у ДТХЗПК УФПТПОЩ, ЪБРПНОЕООПЕ УПУФПСОЙЕ, Ч УЧПА ПЮЕТЕДШ, ФБЛЦЕ НПЦЕФ СЧМСФШУС УПУФБЧОЩН УПУФПСОЙЕН. дБЧОЕЕ ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ (deep history state) ПВПЪОБЮБЕФУС Ч ЖПТНЕ ОЕВПМШЫПК ПЛТХЦОПУФЙ, Ч ЛПФПТХА РПНЕЭЕОБ МБФЙОУЛБС ВХЛЧБ «о» У УЙНЧПМПН «*» (ТЙУ. 6.10, В) Й УМХЦЙФ ДМС ЪБРПНЙОБОЙС ЧУЕИ РПДУПУФПСОЙК МАВПЗП ХТПЧОС ЧМПЦЕООПУФЙ ДМС ФЕЛХЭЕЗП РПДБЧФПНБФБ.
рТПУФЩН РТЙНЕТПН, ЙММАУФТЙТХАЭЕН РТЙНЕОЕОЙЕ ОЕДБЧОЕЗП ЙУФПТЙЮЕУЛПЗП УПУФПСОЙС, НПЦЕФ УМХЦЙФШ МПЗЙЛБ ТБВПФЩ РПЮФПЧПК РТПЗТБННЩ-ЛМЙЕОФБ. рТЕДРПМПЦЙН, РТЙ ЪБРХУЛЕ ЬФПК РТПЗТБННЩ НЩ ОБИПДЙНУС Ч УПУФПСОЙЙ ОБРЙУБОЙС ОПЧПЗП УППВЭЕОЙС, РТЙЮЕН ОБВТБО ХЦЕ ЪОБЮЙФЕМШОЩК ЖТБЗНЕОФ ФЕЛУФБ. рПЮФПЧБС РТПЗТБННБ НПЦЕФ ВЩФШ УЛПОЖЙЗХТЙТПЧБОБ ФБЛЙН ПВТБЪПН, ЮФП Ч ЖЙЛУЙТПЧБООЩЕ НПНЕОФЩ ЧТЕНЕОЙ (ОБРТЙНЕТ, ЛБЦДЩЕ 30 НЙОХФ) ПОБ РТПЧЕТСЕФ ОБМЙЮЙЕ ОПЧЩИ УППВЭЕОЙК ОБ УЕТЧЕТЕ РТПЧБКДЕТБ РТЙ ХДБМЕООПН ДПУФХРЕ. пЮЕЧЙДОП, ЮФП ПЮЕТЕДОПК ДПЪЧПО, ИПФС Й РТЕТЩЧБЕФ ТБВПФХ ТЕДБЛФПТБ, ОЕ ДПМЦЕО РТЙЧЕУФЙ Л РПФЕТЕ ОБВТБООПЗП ЖТБЗНЕОФБ ФЕЛУФБ.
ч ЬФПН УМХЮБЕ УПУФБЧОПЕ УПУФПСОЙЕ «ТБВПФБ ТЕДБЛФПТБ» ДПМЦОП УПДЕТЦБФШ ЧМПЦЕООПЕ ЙУФПТЙЮЕУЛПЕ РПДУПУФПСОЙЕ, ЛПФПТПЕ ЪБРПНЙОБЕФ ЧЩРПМОЕООХА ТБВПФХ. рПУМЕ ПЛПОЮБОЙС ДПЪЧПОБ Й ЪБЗТХЪЛЙ ОПЧПК РПЮФЩ (Ч УМХЮБЕ ЕЕ ОБМЙЮЙС) НЩ ДПМЦОЩ ЧЕТОХФШУС Л УПИТБОЕООПНХ ЖТБЗНЕОФХ ОБЫЕЗП УППВЭЕОЙС Й РТПДПМЦЙФШ ТБВПФХ ТЕДБЛФПТБ РТПЗТБННЩ.
дЙБЗТБННБ УПУФПСОЙК РПЮФПЧПК РТПЗТБННЩ-ЛМЙЕОФБ (УН. ТЙУ. 6.5) НПЦЕФ ВЩФШ ДПРПМОЕОБ У ХЮЕФПН ТБУУНПФТЕООПЗП БУРЕЛФБ ЕЕ РПЧЕДЕОЙС. юЙФБФЕМА РТЕДМБЗБЕФУС ЬФП РТПДЕМБФШ УБНПУФПСФЕМШОП Ч ЛБЮЕУФЧЕ ХРТБЦОЕОЙС.
6.6. уМПЦОЩЕ РЕТЕИПДЩ
тБУУНПФТЕООПЕ ЧЩЫЕ РПОСФЙЕ РЕТЕИПДБ СЧМСЕФУС ЧРПМОЕ ДПУФБФПЮОЩН ДМС ВПМШЫЙОУФЧБ ФЙРЙЮОЩИ ТБУЮЕФОП-ЧЩЮЙУМЙФЕМШОЩИ ЪБДБЮ. пДОБЛП УПЧТЕНЕООЩЕ РТПЗТБННОЩЕ УЙУФЕНЩ НПЗХФ ТЕБМЙЪПЧЩЧБФШ ПЮЕОШ УМПЦОХА МПЗЙЛХ РПЧЕДЕОЙС ПФДЕМШОЩИ УЧПЙИ ЛПНРПОЕОФПЧ. нПЦЕФ ПЛБЪБФШУС, ЮФП ДМС БДЕЛЧБФОПЗП РТЕДУФБЧМЕОЙС РТПГЕУУБ ЙЪНЕОЕОЙС УПУФПСОЙК УЕНБОФЙЛБ ПВЩЮОПЗП РЕТЕИПДБ ДМС ОЙИ ОЕДПУФБФПЮОБ. у ЬФПК ГЕМША Ч СЪЩЛЕ UML УРЕГЙЖЙГЙТПЧБОЩ ДПРПМОЙФЕМШОЩЕ ПВПЪОБЮЕОЙС Й УЧПКУФЧБ, ЛПФПТЩНЙ НПЗХФ ПВМБДБФШ ПФДЕМШОЩЕ РЕТЕИПДЩ ОБ ДЙБЗТБННЕ УПУФПСОЙК.
рЕТЕИПДЩ НЕЦДХ РБТБММЕМШОЩНЙ УПУФПСОЙСНЙ
зТБЖЙЮЕУЛЙ ФБЛПК РЕТЕИПД ЙЪПВТБЦБЕФУС ЧЕТФЙЛБМШОПК ЮЕТФПЮЛПК, БОБМПЗЙЮОП ПВПЪОБЮЕОЙА РЕТЕИПДБ Ч ЙЪЧЕУФОПН ЖПТНБМЙЪНЕ УЕФЕК рЕФТЙ. еУМЙ РБТБММЕМШОЩК РЕТЕИПД ЙНЕЕФ ДЧЕ ЙМЙ ВПМЕЕ ЧИПДСЭЙИ ДХЗ (ТЙУ. 6.11, Б), ФП ЕЗП ОБЪЩЧБАФ УПЕДЙОЕОЙЕН (join). еУМЙ ЦЕ ПО ЙНЕЕФ ДЧЕ ЙМЙ ВПМЕЕ ЙУИПДСЭЙИ ЙЪ ОЕЗП ДХЗ (ТЙУ. 6.11, В), ФП ЕЗП ОБЪЩЧБАФ ЧЕФЧМЕОЙЕН (fork). фЕЛУФПЧБС УФТПЛБ УРЕГЙЖЙЛБГЙЙ РБТБММЕМШОПЗП РЕТЕИПДБ ЪБРЙУЩЧБЕФУС ТСДПН У ЮЕТФПЮЛПК Й ПФОПУЙФУС ЛП ЧУЕН ЧИПДСЭЙН (ЙУИПДСЭЙН) ДХЗБН.
тЙУ. 6.11. зТБЖЙЮЕУЛПЕ ЙЪПВТБЦЕОЙЕ РБТБММЕМШОПЗП РЕТЕИПДБ ЙЪ РБТБММЕМШОЩИ УПУФПСОЙК (Б) Й РБТБММЕМШОПЗП РЕТЕИПДБ Ч РБТБММЕМШОЩЕ УПУФПСОЙС (В)
уТБВБФЩЧБОЙЕ РБТБММЕМШОПЗП РЕТЕИПДБ РТПЙУИПДЙФ УМЕДХАЭЙН ПВТБЪПН. ч РЕТЧПН УМХЮБЕ (РЕТЕИПД-УПЕДЙОЕОЙЕ) РЕТЕИПД УТБВБФЩЧБЕФ, ЕУМЙ ЙНЕЕФ НЕУФП УПВЩФЙЕ-ФТЙЗЗЕТ ДМС ЧУЕИ ЙУИПДОЩИ УПУФПСОЙК ЬФПЗП РЕТЕИПДБ, Й ЧЩРПМОЕОП (РТЙ ЕЗП ОБМЙЮЙЙ) УФПТПЦЕЧПЕ ХУМПЧЙЕ. рТЙ УТБВБФЩЧБОЙЙ РЕТЕИПДБ-УПЕДЙОЕОЙС ПДОПЧТЕНЕООП РПЛЙДБАФУС ЧУЕ ЙУИПДОЩЕ УПУФПСОЙС РЕТЕИПДБ (УПУФПСОЙС 1 Й 2) Й РТПЙУИПДЙФ РЕТЕИПД Ч ГЕМЕЧПЕ УПУФПСОЙЕ. рТЙ ЬФПН ЛБЦДПЕ ЙЪ ЙУИПДОЩИ УПУФПСОЙК РЕТЕИПДБ ДПМЦОП РТЙОБДМЕЦБФШ ПФДЕМШОПНХ РПДБЧФПНБФХ, ЧИПДСЭЕНХ Ч УПУФБЧ БЧФПНБФБ (РТПГЕУУХ 1).
чП ЧФПТПН УМХЮБЕ (ЧЕФЧМЕОЙЕ) РТПЙУИПДЙФ ТБУЭЕРМЕОЙЕ БЧФПНБФБ ОБ ДЧБ РПДБЧФПНБФБ, ПВТБЪХАЭЙИ РБТБММЕМШОЩЕ ЧЕФЧЙ ЧМПЦЕООЩИ РПДУПУФПСОЙК. рТЙ ЬФПН РПУМЕ УТБВБФЩЧБОЙС РЕТЕИПДБ НПДЕМЙТХЕНЩК ПВЯЕЛФ ПДОПЧТЕНЕООП ВХДЕФ ОБИПДЙФШУС ЧП ЧУЕИ ГЕМЕЧЩИ УПУФПСОЙСИ ЬФПЗП РЕТЕИПДБ (УПУФПСОЙС 3 Й 4). дБМЕЕ РТПГЕУУ ЙЪНЕОЕОЙС УПУФПСОЙК ВХДЕФ РТПФЕЛБФШ УПЗМБУОП ТБОЕЕ ТБУУНПФТЕООЩН РТБЧЙМБН ДМС УПУФБЧОЩИ УПУФПСОЙК.
рЕТЕИПДЩ НЕЦДХ УПУФБЧОЩНЙ УПУФПСОЙСНЙ
рЕТЕИПД, УФТЕМЛБ ЛПФПТПЗП УПЕДЙОЕОБ У ЗТБОЙГЕК ОЕЛПФПТПЗП УПУФБЧОПЗП УПУФПСОЙС, ПВПЪОБЮБЕФ РЕТЕИПД Ч УПУФБЧОПЕ УПУФПСОЙЕ (РЕТЕИПД b ОБ ТЙУ. 6.12). пО ЬЛЧЙЧБМЕОФЕО РЕТЕИПДХ Ч ОБЮБМШОПЕ УПУФПСОЙЕ ЛБЦДПЗП ЙЪ РПДБЧФПНБФПЧ (ЧПЪНПЦОП, ЕДЙОУФЧЕООПНХ), ЧИПДСЭЙИ Ч УПУФБЧ ДБООПЗП УХРЕТУПУФПСОЙС. рЕТЕИПД, ЧЩИПДСЭЙК ЙЪ УПУФБЧОПЗП УПУФПСОЙС (РЕТЕИПДЩ f Й g ОБ ТЙУ. 6.12), ПФОПУЙФУС Л ЛБЦДПНХ ЙЪ ЧМПЦЕООЩИ РПДУПУФПСОЙК. ьФП ПЪОБЮБЕФ, ЮФП ПВЯЕЛФ НПЦЕФ РПЛЙОХФШ УПУФБЧОПЕ УХРЕТУПУФПСОЙЕ, ОБИПДСУШ Ч МАВПН ЙЪ ЕЗП РПДУПУФПСОЙК. дМС ЬФПЗП ЧРПМОЕ ДПУФБФПЮОП ЧЩРПМОЕОЙС УПВЩФЙС Й УФПТПЦЕЧПЗП ХУМПЧЙС.
тЙУ. 6.12. тБЪМЙЮОЩЕ ЧБТЙБОФЩ РЕТЕИПДПЧ Ч (ЙЪ) УПУФБЧОПЕ УПУФПСОЙЕ
йОПЗДБ ЦЕМБФЕМШОП ТЕБМЙЪПЧБФШ УЙФХБГЙА, ЛПЗДБ ЧЩИПД ЙЪ ПФДЕМШОПЗП ЧМПЦЕООПЗП УПУФПСОЙС УППФЧЕФУФЧПЧБМ ВЩ ЧЩИПДХ Й ЙЪ УПУФБЧОПЗП УПУФПСОЙС ФПЦЕ. ч ЬФПН УМХЮБЕ ЙЪПВТБЦБАФ РЕТЕИПД, ЛПФПТЩК ОЕРПУТЕДУФЧЕООП ЧЩИПДЙФ ЙЪ ЧМПЦЕООПЗП РПДУПУФПСОЙС ЪБ ЗТБОЙГХ УХРЕТУПУФПСОЙС (РЕТЕИПД У ОБ ТЙУ. 6.12). бОБМПЗЙЮОП, ДПРХУЛБЕФУС ЙЪПВТБЦЕОЙЕ РЕТЕИПДПЧ, ЧИПДСЭЙИ ЙЪЧОЕ УПУФБЧОПЗП УПУФПСОЙС Ч ПФДЕМШОПЕ ЧМПЦЕООПЕ УПУФПСОЙЕ (РЕТЕИПД Б ОБ ТЙУ. 6.12).
лБЛ ХЦЕ ВЩМП ПФНЕЮЕОП, РПЧЕДЕОЙЕ РБТБММЕМШОЩИ РПДБЧФПНБФПЧ ОЕЪБЧЙУЙНП ДТХЗ ПФ ДТХЗБ, ЮФП РПЪЧПМСЕФ ТЕБМЙЪПЧБФШ НОПЗПЪБДБЮОПУФШ Ч РТПЗТБННОЩИ УЙУФЕНБИ. пДОБЛП Ч ПФДЕМШОЩИ УМХЮБСИ НПЦЕФ ЧПЪОЙЛОХФШ ОЕПВИПДЙНПУФШ ХЮЕУФШ Ч НПДЕМЙ УЙОИТПОЙЪБГЙА ОБУФХРМЕОЙС ПФДЕМШОЩИ УПВЩФЙК. дМС ЬФПК ГЕМЙ Ч СЪЩЛЕ UML ЙНЕЕФУС УРЕГЙБМШОПЕ РУЕЧДПУПУФПСОЙЕ, ЛПФПТПЕ ОБЪЩЧБЕФУС УЙОИТПОЙЪЙТХАЭЙН УПУФПСОЙЕН.
уЙОИТПОЙЪЙТХАЭЕЕ УПУФПСОЙЕ (synch state) ПВПЪОБЮБЕФУС ОЕВПМШЫПК ПЛТХЦОПУФША, ЧОХФТЙ ЛПФПТПК РПНЕЭЕО УЙНЧПМ ЪЧЕЪДПЮЛЙ «*». пОП ЙУРПМШЪХЕФУС УПЧНЕУФОП У РЕТЕИПДПН-УПЕДЙОЕОЙЕН ЙМЙ РЕТЕИПДПН-ЧЕФЧМЕОЙЕН ДМС ФПЗП, ЮФПВЩ СЧОП ХЛБЪБФШ УПВЩФЙС Ч ДТХЗЙИ РПДБЧФПНБФБИ, ПЛБЪЩЧБАЭЙЕ ОЕРПУТЕДУФЧЕООПЕ ЧМЙСОЙЕ ОБ РПЧЕДЕОЙЕ ДБООПЗП РПДБЧФПНБФБ.
дМС ЙММАУФТБГЙЙ ЙУРПМШЪПЧБОЙС УЙОИТПОЙЪЙТХАЭЙИ УПУФПСОЙК ТБУУНПФТЙН ХРТПЭЕООХА УЙФХБГЙА У НПДЕМЙТПЧБОЙЕН РТПГЕУУБ РПУФТПКЛЙ ДПНБ. рТЕДРПМПЦЙН, ЮФП РПУФТПКЛБ ДПНБ ЧЛМАЮБЕФ Ч УЕВС УФТПЙФЕМШОЩЕ ТБВПФЩ (ЧПЪЧЕДЕОЙЕ ЖХОДБНЕОФБ Й УФЕО, ЧПЪЧЕДЕОЙЕ ЛТЩЫЙ Й ПФДЕМПЮОЩЕ ТБВПФЩ) Й ТБВПФЩ РП ЬМЕЛФТЙЖЙЛБГЙЙ ДПНБ (РПДЧЕДЕОЙЕ ЬМЕЛФТЙЮЕУЛПК МЙОЙЙ, РТПЛМБДЛБ УЛТЩФПК ЬМЕЛФТПРТПЧПДЛЙ Й ХУФБОПЧЛБ ПУЧЕФЙФЕМШОЩИ МБНР). пЮЕЧЙДОП, ДЧБ ЬФЙИ ЛПНРМЕЛУБ ТБВПФ НПЗХФ ЧЩРПМОСФШУС РБТБММЕМШОП, ПДОБЛП НЕЦДХ ОЙНЙ ЕУФШ ОЕЛПФПТБС ЧЪБЙНПУЧСЪШ.
ч ЮБУФОПУФЙ, РТПЛМБДЛБ УЛТЩФПК ЬМЕЛФТПРТПЧПДЛЙ НПЦЕФ ОБЮБФШУС МЙЫШ РПУМЕ ФПЗП, ЛБЛ ВХДЕФ ЪБЧЕТЫЕОП ЧПЪЧЕДЕОЙЕ ЖХОДБНЕОФБ Й УФЕО. б ПФДЕМПЮОЩЕ ТБВПФЩ УМЕДХЕФ ОБЮБФШ МЙЫШ РПУМЕ ФПЗП, ЛБЛ ВХДЕФ ЪБЛПОЮЕОБ РТПЛМБДЛБ УЛТЩФПК ЬМЕЛФТПРТПЧПДЛЙ. ч РТПФЙЧОПН УМХЮБЕ ПФДЕМПЮОЩЕ ТБВПФЩ РТЙДЕФУС РТПЧПДЙФШ РПЧФПТОП. тБУУНПФТЕООЩЕ ПУПВЕООПУФЙ УЙОИТПОЙЪБГЙЙ ЬФЙИ РБТБММЕМШОЩИ РТПГЕУУПЧ ХЮФЕОЩ ОБ УППФЧЕФУФЧХАЭЕК ДЙБЗТБННЕ УПУФПСОЙК У РПНПЭША ДЧХИ УЙОИТПОЙЪЙТХАЭЙИ УПУФПСОЙК (ТЙУ. 6.13).
тЙУ. 6.13. дЙБЗТБННБ УПУФПСОЙК ДМС РТЙНЕТБ УП УФТПЙФЕМШУФЧПН ДПНБ
тЙУ. 6.14. дЙБЗТБННБ УПУФПСОЙК РТПГЕУУБ ЖХОЛГЙПОЙТПЧБОЙС ФЕМЕЖПООПЗП БРРБТБФБ
рТЙ ОБВПТЕ ОПНЕТБ ЧЩРПМОСЕФУС УПВЩФЙЕ-ФТЙЗЗЕТ «ОБВПТ ГЙЖТЩ (Р) УП УФПТПЦЕЧЩН ХУМПЧЙЕН «ОПНЕТ ОЕРПМОЩК». ьФП ПЪОБЮБЕФ, ЮФП ЕУМЙ ОБВТБООЩК ФЕМЕЖПООЩК ОПНЕТ ОЕ УПДЕТЦЙФ ОЕПВИПДЙНПЗП ЛПМЙЮЕУФЧБ ГЙЖТ, ФП ОБН УМЕДХЕФ РТПДПМЦБФШ ОБВПТ ПЮЕТЕДОПК ГЙЖТЩ, ПУФБЧБСУШ Ч УПУФПСОЙЙ «ОБВПТ ОПНЕТБ».
еУМЙ ЦЕ ОБВТБООЩК ОПНЕТ РПМОЩК, ФП НПЦОП РЕТЕКФЙ Ч УПУФПСОЙЕ «ОЕЧЕТОЩК ОПНЕТ» ЙМЙ «УПЕДЙОЕОЙЕ». ч УМХЮБЕ ОЕЧЕТОПЗП ОПНЕТБ (УФПТПЦЕЧПЕ ХУМПЧЙЕ «ОЕЧЕТОЩК» ЙУФЙООП) ОЙЮЕЗП ОЕ ПУФБЕФУС, ЛБЛ РПЛЙОХФШ УПУФБЧОПЕ УПУФПСОЙЕ, ПРХУФЙЧ ФТХВЛХ ОБ ТЩЮБЗ. еУМЙ ЦЕ ОПНЕТ ЧЕТОЩК, ФП РТПЙУИПДЙФ УПЕДЙОЕОЙЕ РП ЬФПНХ ОПНЕТХ.
пДОБЛП Ч ТЕЪХМШФБФЕ УПЕДЙОЕОЙС НПЦЕФ ПЛБЪБФШУС, ЮФП БРРБТБФ БВПОЕОФБ ЪБОСФ (РЕТЕИПД Ч УПУФПСОЙЕ «ЪБОСФП») МЙВП УЧПВПДЕО (РЕТЕИПД Ч УПУФПСОЙЕ «ЪЧПОПЛ Х БВПОЕОФБ»). ч РЕТЧПН УМХЮБЕ НПЦОП РПЧФПТЙФШ ДПЪЧПО, РТЕДЧБТЙФЕМШОП ПРХУФЙЧ ФТХВЛХ ОБ ТЩЮБЗ (ЧЩИПД ЙЪ УПУФБЧОПЗП УПУФПСОЙС). чП ЧФПТПН УМХЮБЕ РТПЙУИПДЙФ РТПЧЕТЛБ УФПТПЦЕЧПЗП ХУМПЧЙС «ТБЪЗПЧПТ ДПУФХРЕО». еУМЙ ПОП ЙУФЙООП, ЮФП УППФЧЕФУФЧХЕФ УОСФЙА ФТХВЛЙ БВПОЕОФПН, ОБЮЙОБЕФУС ФЕМЕЖПООЩК ТБЪЗПЧПТ. ч РТПФЙЧОПН УМХЮБЕ (ЬФП ХУМПЧЙЕ ОЕ ЧЩРПМОСЕФУС, Ф. Е. ПОП МПЦОП) ФЕМЕЖПО БВПОЕОФБ ВХДЕФ РТПДПМЦБФШ ЪЧПОЙФШ, ЙЪЧЕЭБС ОБУ ПВ ПФУХФУФЧЙЙ РПУМЕДОЕЗП МЙВП П ОЕЧПЪНПЦОПУФЙ РП ЛБЛПК-МЙВП РТЙЮЙОЕ ЧЕУФЙ ТБЪЗПЧПТ РП ФЕМЕЖПОХ. рТЙ ЬФПН ОБН ОЙЮЕЗП ОЕ ПУФБЕФУС, ЛБЛ ПРХУФЙФШ ФТХВЛХ ОБ ТЩЮБЗ.
еУМЙ ЦЕ ТБЪЗПЧПТ УПУФПСМУС, ФП РПУМЕ УМПЧ РТПЭБОЙС Й ЧЩРПМОЕОЙС УФПТПЦЕЧПЗП ХУМПЧЙС «РПДФЧЕТЦДЕОЙЕ» ОБ ПЛПОЮБОЙЕ ТБЪЗПЧПТБ НЩ УОПЧБ ПРХУЛБЕН ФТХВЛХ. рТЙ ЬФПН ФЕМЕЖПООЩК БРРБТБФ РЕТЕИПДЙФ Ч УПУФПСОЙЕ «ПЦЙДБОЙЕ», Ч ЛПФПТПН НПЦЕФ ОБИПДЙФШУС ОЕПРТЕДЕМЕООП ДПМЗП.
уФТПЗП ЗПЧПТС, ТБУУНПФТЕООЩК РТЙНЕТ ПФТБЦБЕФ ОЕ ЧУЕ БУРЕЛФЩ РПЧЕДЕОЙС ДБЦЕ ФБЛПЗП ОЕУМПЦОПЗП ОБ РЕТЧЩК ЧЪЗМСД ХУФТПКУФЧБ, ЛБЛЙН СЧМСЕФУС ПВЩЮОЩК ФЕМЕЖПООЩК БРРБТБФ. ч ЮБУФОПУФЙ, ДБООБС ДЙБЗТБННБ УПУФПСОЙК НПЦЕФ ВЩФШ ДПРПМОЕОБ РЕТЕИПДПН ЙЪ УПУФПСОЙС «ПЦЙДБОЙЕ» РП УПВЩФЙА-ФТЙЗЗЕТХ «ФЕМЕЖПООЩК ЪЧПОПЛ», ЛПФПТЩК НПЦЕФ УТБЪХ РЕТЕЧЕУФЙ ОБУ ЧП ЧОХФТЕООЕЕ РПДУПУФПСОЙЕ «ТБЪЗПЧПТ», ЕУМЙ НЩ ТЕЫЙМЙ УОСФШ ФЕМЕЖПООХА ФТХВЛХ (РЕТЕИПД ФЙРБ Б ОБ ТЙУ. 6.12).
дТХЗБС НПДЙЖЙЛБГЙС НПЦЕФ ВЩФШ УЧСЪБОБ У ЦЕМБОЙЕН РПЧФПТОП ЙУРПМШЪПЧБФШ ОБВТБООЩК ОПНЕТ Ч УМХЮБЕ ЛПТПФЛЙИ ЗХДЛПЧ «ЪБОСФП» Х БВПОЕОФБ. тЕЫЕОЙЕ ЬФПК ЪБДБЮЙ НПЦЕФ ВЩФШ ТЕБМЙЪПЧБОП ОБ ПУОПЧЕ ЙУРПМШЪПЧБОЙС ЙУФПТЙЮЕУЛПЗП УПУФПСОЙС ЧНЕУФП ОБЮБМШОПЗП РПДУПУФПСОЙС, ЛПФПТПЕ ВХДЕФ ЪБРПНЙОБФШ Ч РБНСФЙ БРРБТБФБ ЕДЙОПЦДЩ ОБВТБООЩК ОПНЕТ. дПРПМОЙФШ ДЙБЗТБННХ УПУФПСОЙК ЮЙФБФЕМА РТЕДМБЗБЕФУС УБНПУФПСФЕМШОП Ч ЛБЮЕУФЧЕ ХРТБЦОЕОЙС.
6.7. ъБЛМАЮЙФЕМШОЩЕ ТЕЛПНЕОДБГЙЙ РП РПУФТПЕОЙА ДЙБЗТБНН УПУФПСОЙК
пУОПЧОЩЕ ПУПВЕООПУФЙ РПУФТПЕОЙС ДЙБЗТБНН УПУФПСОЙК ВЩМЙ ТБУУНПФТЕОЩ РТЙ ПРЙУБОЙЙ УППФЧЕФУФЧХАЭЙИ НПДЕМШОЩИ ЬМЕНЕОФПЧ, ЧИПДСЭЙИ Ч РБЛЕФ бЧФПНБФЩ. пДОБЛП ОЕЛПФПТЩЕ НПНЕОФЩ ОЕ ОБЫМЙ ПФТБЦЕОЙС, П ЮЕН ОЕПВИПДЙНП УЛБЪБФШ Ч ЪБЛМАЮЕОЙЕ ЬФПК ЗМБЧЩ.
рТЙ ЧЩДЕМЕОЙЙ УПУФПСОЙК Й РЕТЕИПДПЧ УМЕДХЕФ РПНОЙФШ, ЮФП ДМЙФЕМШОПУФШ УТБВБФЩЧБОЙС ПФДЕМШОЩИ РЕТЕИПДПЧ ДПМЦОБ ВЩФШ УХЭЕУФЧЕООП НЕОШЫЕК, ЮЕН ОБИПЦДЕОЙЕ НПДЕМЙТХЕНПЗП ПВЯЕЛФБ Ч УППФЧЕФУФЧХАЭЙИ УПУФПСОЙСИ. лБЦДПЕ ЙЪ УПУФПСОЙК ДПМЦОП ИБТБЛФЕТЙЪПЧБФШУС ПРТЕДЕМЕООПК ХУФПКЮЙЧПУФША ЧП ЧТЕНЕОЙ. дТХЗЙНЙ УМПЧБНЙ, ЙЪ ЛБЦДПЗП УПУФПСОЙС ОБ ДЙБЗТБННЕ ОЕ НПЦЕФ ВЩФШ УБНПРТПЙЪЧПМШОПЗП РЕТЕИПДБ Ч ЛБЛПЕ ВЩ ФП ОЙ ВЩМП ДТХЗПЕ УПУФПСОЙЕ. чУЕ РЕТЕИПДЩ ДПМЦОЩ ВЩФШ СЧОП УРЕГЙЖЙГЙТПЧБОЩ, Ч РТПФЙЧОПН УМХЮБЕ РПУФТПЕООБС ДЙБЗТБННБ УПУФПСОЙК СЧМСЕФУС МЙВП ОЕРПМОПК, МЙВП ПЫЙВПЮОПК.
рТЙ ТБЪТБВПФЛЕ ДЙБЗТБННЩ УПУФПСОЙК ОХЦОП РПУФПСООП УМЕДЙФШ, ЮФПВЩ ПВЯЕЛФ Ч ЛБЦДЩК НПНЕОФ НПЗ ОБИПДЙФШУС ФПМШЛП Ч ЕДЙОУФЧЕООПН УПУФПСОЙЙ. еУМЙ ЬФП ОЕ ФБЛ, ФП ДБООПЕ ПВУФПСФЕМШУФЧП НПЦЕФ ВЩФШ ЛБЛ УМЕДУФЧЙЕН ПЫЙВЛЙ, ФБЛ Й ОЕСЧОЩН РТЙЪОБЛПН ОБМЙЮЙС РБТБММЕМШОПУФЙ Х РПЧЕДЕОЙС НПДЕМЙТХЕНПЗП ПВЯЕЛФБ. ч РПУМЕДОЕН УМХЮБЕ УМЕДХЕФ СЧОП УРЕГЙЖЙГЙТПЧБФШ ОЕПВИПДЙНПЕ ЮЙУМП РПДБЧФПНБФПЧ, ЧМПЦЙЧ ЙИ Ч ФП УПУФБЧОПЕ УПУФПСОЙЕ, ЛПФПТПЕ ИБТБЛФЕТЙЪХЕФУС ОБТХЫЕОЙЕН ХУМПЧЙС ПДОПЧТЕНЕООПУФЙ.
уМЕДХЕФ ПВСЪБФЕМШОП РТПЧЕТСФШ, ЮФП ОЙЛБЛЙЕ ДЧБ РЕТЕИПДБ ЙЪ ПДОПЗП УПУФПСОЙС ОЕ НПЗХФ УТБВПФБФШ ПДОПЧТЕНЕООП (ФТЕВПЧБОЙЕ ПФУХФУФЧЙС ЛПОЖМЙЛФПЧ Х РЕТЕИПДПЧ). оБМЙЮЙЕ ФБЛПЗП ЛПОЖМЙЛФБ НПЦЕФ УМХЦЙФШ РТЙЪОБЛПН ПЫЙВЛЙ МЙВП ОЕСЧОПК РБТБММЕМШОПУФЙ ФЙРБ ЧЕФЧМЕОЙС ТБУУНБФТЙЧБЕНПЗП РТПГЕУУБ ОБ ДЧБ Й ВПМЕЕ РПДБЧФПНБФБ. еУМЙ РБТБММЕМШОПУФШ РП ЪБНЩУМХ ТБЪТБВПФЮЙЛБ ПФУХФУФЧХЕФ, ФП ОЕПВИПДЙНП ЧЧЕУФЙ ДПРПМОЙФЕМШОЩЕ УФПТПЦЕЧЩЕ ХУМПЧЙС МЙВП ЙЪНЕОЙФШ УХЭЕУФЧХАЭЙЕ, ЮФПВЩ ЙУЛМАЮЙФШ ЛПОЖМЙЛФ РЕТЕИПДПЧ. рТЙ ОБМЙЮЙЙ РБТБММЕМШОПУФЙ УМЕДХЕФ ЪБНЕОЙФШ ЛПОЖМЙЛФХАЭЙЕ РЕТЕИПДЩ ПДОЙН РБТБММЕМШОЩН РЕТЕИПДПН ФЙРБ ЧЕФЧМЕОЙС.
йУРПМШЪПЧБОЙЕ ЙУФПТЙЮЕУЛЙИ УПУФПСОЙК ПРТБЧДБОП Ч ФПН УМХЮБЕ, ЛПЗДБ ОЕПВИПДЙНП ПТЗБОЙЪПЧБФШ ПВТБВПФЛХ ЙУЛМАЮЙФЕМШОЩИ УЙФХБГЙК (РТЕТЩЧБОЙК) ВЕЪ РПФЕТЙ ДБООЩИ ЙМЙ ЧЩРПМОЕООПК ТБВПФЩ. рТЙ ЬФПН РТЙНЕОСФШ ЙУФПТЙЮЕУЛЙЕ УПУФПСОЙС, ПУПВЕООП ЗМХВПЛЙЕ, ОБДП У ЙЪЧЕУФОПК ДПМЕК ПУФПТПЦОПУФЙ. оХЦОП РПНОЙФШ, ЮФП ЛБЦДЩК ЙЪ РПДБЧФПНБФПЧ НПЦЕФ ЙНЕФШ ФПМШЛП ПДОП ЙУФПТЙЮЕУЛПЕ УПУФПСОЙЕ. ч РТПФЙЧОПН УМХЮБЕ ЧПЪНПЦОЩ ПЫЙВЛЙ, ПУПВЕООП ЛПЗДБ РПДБЧФПНБФЩ ЙЪПВТБЦБАФУС ОБ ПФДЕМШОЩИ ДЙБЗТБННБИ УПУФПСОЙК.
й, ОБЛПОЕГ, УМЕДХЕФ ПФНЕФЙФШ, ЮФП ОЕЛПФПТЩЕ ДПРПМОЙФЕМШОЩЕ ЛПОУФТХЛГЙЙ БЧФПНБФПЧ, ФБЛЙЕ ЛБЛ ФПЮЛЙ ДЙОБНЙЮЕУЛПЗП ЧЩВПТБ (dynamic choice points) ЙМЙ ФПЮЛЙ УПЕДЙОЕОЙС (junction points), Ч ЛОЙЗЕ ОЕ ОБЫМЙ ПФТБЦЕОЙС. ьФП УДЕМБОП РП ФПК РТЙЮЙОЕ, ЮФП ДБООЩЕ НПДЕМШОЩЕ ЬМЕНЕОФЩ ИПФС Й РПЪЧПМСАФ НПДЕМЙТПЧБФШ ВПМЕЕ УМПЦОЩЕ БУРЕЛФЩ ДЙОБНЙЮЕУЛПЗП ХРТБЧМЕОЙС РПЧЕДЕОЙЕН ПВЯЕЛФБ, ОЕ СЧМСАФУС ВБЪПЧЩНЙ. уППФЧЕФУФЧХАЭБС ЙОЖПТНБГЙС УПДЕТЦЙФУС Ч ПТЙЗЙОБМШОПК ДПЛХНЕОФБГЙЙ РП СЪЩЛХ UML.