Джим Арлоу, Айла Нейштадт - UML 2 и Унифицированный процесс. Практический объектно-ориентированный анализ и проектирование (1037782), страница 91
Текст из файла (страница 91)
Существует два типа псевдосостояний предысто рии – неглубокая и глубокая предыстории. Рассмотрим их по очереди.22.5.1. Неглубокая предысторияНа рис. 22.12 показан конечный автомат прецедента BrowseCatalog сис темы электронной коммерции.В данном примере из суперсостояния Browsing можно выйти по трем со бытиям:• exit – завершает автомат и возвращается на то место, где осуществ лялось выполнение до него (нет необходимости рассматривать этотслучай более подробно);• goToBasket – осуществляет переход в составное состояние DisplayingBasket, в котором отображается текущее содержимое корзины дляпокупок;• goToCheckout – осуществляет переход в составное состояние CheckingOut, в котором покупателю представляется заказ с перечислени ем всех покупок.При возвращении в состояние Browsing из DisplayingBasket или CheckingOutбыло бы неплохо, чтобы пользователи попадали именно туда, где оста новились. Только такое поведение имеет смысл.Неглубокая предыстория запоминает последнее подсостояние того жеуровня, что и псевдосостояние неглубокой предыстории.Псевдосостояние неглубокой предыстории может иметь множество вхо дящих переходов, но только один исходящий.
Псевдосостояние неглу бокой предыстории запоминает, в каком подсостоянии вы находилисьпри выходе из суперсостояния. Если затем происходит возвращение из502Глава 22. Дополнительные аспекты конечных автоматовBrowseCatalogBrowsingreturnexitDisplayingItemgoT oIndexselectProductDisplayingIndexgoToBasketgoToCheckoutgoToCheckoutDisplayingBasketgoToCatalogCheckingOutAlphabeticalbrowseIndexgoToCatalogbyCategoryalphabeticalByCategoryHпсевдосостояние неглубокой предысторииРис. 22.12.
Неглубокая предысториявнешнего состояния в состояние предыстории, индикатор автоматиче ски перенаправляет переход в последнее подсостояние, которое было за помнено (в данном случае DisplayingIndex или DisplayingItem). Если входв суперсостояние осуществляется впервые, такого подсостояния нет.Поэтому срабатывает единственный исходящий переход индикаторасостояния предыстории, и вы переходите в состояние DisplayingIndex.Благодаря предыстории суперсостояния запоминают последнее под состояние, которое было активно при выходе из суперсостояния.
Не глубокая предыстория обеспечивает запоминание подсостояния, нахо дящегося на том же уровне, что и сам индикатор состояния предысто рии. Однако на рис. 22.12 можно увидеть, что DisplayingIndex само явля ется составным состоянием. Неглубокая предыстория не обеспечиваетзапоминание подсостояний этого состояния. Для этого необходима глу бокая предыстория.22.5.2. Глубокая предысторияГлубокая предыстория запоминает последнее подсостояние того же илиболее низкого уровня, чем псевдосостояние глубокой предыстории.50322.6.
Что мы узналиBrowseCatalogBrowsingreturnexitDisplayingItemgoT oIndexselectProductDisplayingIndexgoToBasketgoToCheckoutgoToCheckoutDisplayingBasketgoToCatalogCheckingOutAlphabeticalbrowseIndexgoToCatalogbyCategoryalphabeticalByCategoryH*псевдосостояние глубокой предысторииРис. 22.13. Глубокая предысторияС помощью глубокой предыстории можно запоминать не только ак тивное подсостояние того же уровня, что и псевдосостояние предысто рии, но и подподсостояния любого уровня вложенности.На рис. 22.13 автомат был модифицирован для использования глубо кой предыстории. В данном случае мы будем не только возвращатьсяв состояние DisplayingIndex или DisplayingItem, но и восстанавливать типиндекса (Alphabetical или ByCategory).
Это можно было бы смоделироватьи без применения глубокой предыстории, но все было бы намногосложнее.Как и неглубокая, глубокая предыстория может иметь множество вхо дящих переходов, но только один исходящий переход. Исходящий пе реход срабатывает при первом входе в суперсостояние, когда нет по следнего подсостояния, которое было запомнено.22.6. Что мы узналиUML предоставляет богатый синтаксис конечных автоматов, которыйпозволяет представлять сложное поведение в виде лаконичных авто матов. Мы узнали следующее:• Составные состояния могут содержать один или более вложенныхподавтоматов – подсостояния наследуют все переходы своего супер состояния.504Глава 22. Дополнительные аспекты конечных автоматов•Каждый подавтомат существует в собственной области.•Конечное псевдосостояние действует только в рамках области.•Терминальное псевдосостояние используется для завершениявсех областей.•Последовательное составное состояние содержит только один вло женный подавтомат.•Параллельное составное состояние содержит два или более вложен ных подавтоматов, которые выполняются параллельно.•••При входе в состояние происходит ветвление, и подавтоматы на чинают свое параллельное выполнение.•Если у всех подавтоматов есть состояние остановки, суперсо стояние нельзя покинуть, пока не будут завершены все подавто маты; это объединение.•Если подавтоматы осуществляют явные переходы во внешниесостояния, можно покинуть суперсостояние без объединения.Состояние подавтомата – это ссылка на другой конечный автомат:•упрощает сложные конечные автоматы;•обеспечивает повторное использование конечных автоматов.Взаимодействие подавтоматов:••значения атрибутов – один подавтомат задает значение атрибу та, а другие подавтоматы проверяют это значение.Предыстория позволяет суперсостоянию запоминать последнееподсостояние перед исходящим переходом.••Неглубокая предыстория позволяет суперсостоянию перед исхо дящим переходом запоминать последнее подсостояние того жеуровня, что и само псевдосостояние неглубокой предыстории:•при возвращении в псевдосостояние неглубокой предысториипереход направляется в последнее подсостояние, которое бы ло запомнено;•при первом входе (последнее подсостояние отсутствует) сра батывает единственный выходной переход псевдосостояниянеглубокой предыстории.Глубокая предыстория позволяет суперсостоянию перед исходя щим переходом запоминать последнее подсостояние любогоуровня:•при возвращении в псевдосостояние глубокой предысториипереход направляется в последнее подсостояние, которое бы ло запомнено;•при первом входе (последнее подсостояние отсутствует) сра батывает единственный выходной переход псевдосостоянияглубокой предыстории.VРеализация23Рабочий поток реализации23.1.
План главыВ рабочем потоке реализации для ОО аналитика или проектировщикаработы очень мало, поэтому эта часть книги самая маленькая. Тем неменее здесь есть некоторые вопросы, требующие внимательного рас смотрения. Хотя основная деятельность потока реализации – произ водство кода, здесь по прежнему присутствуют некоторые элементыUML моделирования.23.2. Рабочий поток реализацииРабочий поток реализации всерьез начинается в фазе Уточнение и яв ляется основным потоком фазы Построение (рис. 23.2).23.2. Рабочий поток реализации23.3. Артефакты реализации – метамодель23.4. Детализация рабочего потока реализации23.5.
Артефакты23.6. Что мы узналиРис. 23.1. План главы508Глава 23. Рабочий поток реализацииНачалоУточнениеПостроениеВнедрениеОпределениетребованийАнализПроектированиеРеализацияТестированиеПредварительныеитерацииШаг1Шаг2ШагnШагn+1Шагn+2ШагmШагm+1Рис. 23.2. Рабочий поток реализации. Адаптировано с рис. 1.5 [Jacobson 1]с разрешения издательства Addison+WesleyПоток реализации – основной поток фазы Построение.Реализация состоит в преобразовании проектной модели в исполняе мый код.
С точки зрения аналитика или проектировщика цель реали зации – производство модели реализации, если в этом возникает необ ходимость. Эта модель включает распределение (преимущественно так тическое) проектных классов по компонентам. Как это делается, в боль шой степени зависит от целевого языка программирования.Реализация состоит в преобразовании проектной модели в исполняемый код.Основное внимание в процессе реализации направлено на производст во исполняемого кода.
Создание модели реализации может быть побоч ным продуктом этого процесса, но не явной деятельностью моделиро вания. На самом деле многие инструментальные средства моделирова ния позволяют создавать модель реализации из исходного кода путемобратного проектирования. Это предоставляет программистам возмож ность эффективно выполнять моделирование реализации.Однако есть два случая, когда очень важно, чтобы опытные аналитикиили проектировщики провели явное моделирование реализации.• Если предполагается генерировать код прямо из модели, понадобит ся определить такие детали, как исходные файлы и компоненты (ес ли не используются применяемые по умолчанию значения у средст ва моделирования).23.3. Артефакты реализации – метамодель•509Если осуществляется компонентно ориентированная разработка(CBD) с целью повторного использования компонентов, распределе ние проектных классов и интерфейсов по компонентам становитсястратегически важным вопросом.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
