Дж. Арлоу, А. Нейштадт - UML 2 и Унифицированный процесс - Практический объектно-ориентированный анализ и проектирование, страница 55

12.18. Отображение циклов на диаграмме последовательностейс помощью операторов loop и breakОператор loop действует следующим образом:loop min количество раз thenwhile (условие истинно)loop (max min) количество разВ синтаксисе loop необходимо обратить внимание на следующие моменты:• оператор loop без max, min или condition является бесконечным циклом;• если задано только min, значит, max = min;• condition обычно является логическим выражением, но может бытьи произвольным текстом, смысл которого ясен.На первый взгляд loop может показаться слишком сложным, но он может использоваться для поддержки огромного числа разнообразныхциклов. Некоторые из самых распространенных циклов перечисленыв табл.

12.4.Когда сторожевое условие break становится истинным, выполняетсяоперанд break, цикл прерывается.Оператор break может использоваться для обозначения условия прекращения loop и того, что происходит после этого. У оператора break28912.10. Комбинированные фрагменты и операторытолько одно сторожевое условие, и если оно истинно, исполняется телоbreak, а loop прерывается.

Самое главное, что после завершения breakloop не возобновляется.Таблица 12.4Тип циклаСемантикаВыражение циклаwhile( true ){ тело }Бесконечный цикл.loop или loop *for i = n to m{ тело }Повторяется ( m – n ) раз.loop n, mwhile( booleanExpression ){ тело }Повторяется, пока booleanEx loop [ booleanExprespression (логическое выраже sion ]ние) истинно.repeat{ тело }while( booleanExpression )Выполнить один раз, а затем loop 1, * [ booleanExповторять, пока booleanEx pression ]pression истинно.forEach object in collection{ тело }Выполнить тело цикла по од loop [ for each objectному разу для каждого объ in collectionOfObjects ]екта в коллекции объектов.forEach object of class{ тело }Выполнить тело цикла по од loop [ for each objectному разу для каждого объ in ClassName ]екта определенного класса.Комбинированный фрагмент break логически находится вне цикла: онне является его частью.

Поэтому фрагмент break всегда должен изображаться вне loop, но пересекаться с ним, как показано на рис. 12.18.Самым распространенным применением циклов является переборколлекции объектов. Например, цикл может применяться как возможная реализация операции findCourse(...) класса RegistrationManager(рис.

12.19).Эта операция возвращает объект Course с соответствующим именем(name) или null, как показано на рис. 12.20. Имя конца ассоциацииRegistrationManager10..*CoursecoursesfindCourse( name : String ) : CoursefindStudent( name : String ) : Student0..*registration0..*10..*StudentstudentsРис. 12.19. Применение цикла для реализации операции поиска FindCourse()290Глава 12. Реализация прецедентовsd FindCourse( name : String ) : Course:RegistrationManagerloop [for each course in courses]coursescourse:CoursecourseName = getName()break [name = courseName]coursenullРис. 12.20.

Применение цикла для перебора коллекции объектовс кратностью больше 1 можно использовать как коллекцию объектов.В данном случае для представления коллекции объектов Course используется имя courses (курсы).12.11. Коммуникационные диаграммыКоммуникационные диаграммы акцентируют внимание на структурных аспектах взаимодействия, на том, как соединяются линии жизни.В UML 2 их семантика довольно слаба по сравнению с диаграммамипоследовательностей.Коммуникационные диаграммы акцентируют внимание на структурныхаспектах взаимодействия.Мы уже приводили некоторые коммуникационные диаграммы.

Согласно спецификации UML 2.0 [UML2S] диаграммы объектов, которые были представлены в главе 7, могут считаться особыми случаямидиаграмм классов или особыми случаями коммуникационных диаграмм формы экземпляров, где каждая линия жизни представляет экземпляр класса (объект).Синтаксис коммуникационных диаграмм подобен синтаксису диаграмм последовательностей, за исключением того, что здесь у линийжизни нет «хвостов».

Вместо этого они соединены связями, образующими коммуникационные каналы для передачи сообщений. Порядоксообщений определяется путем иерархической нумерации.На рис. 12.21 показана простая коммуникационная диаграмма дляпрецедента AddCourses, в котором :Registrar добавляет два новых объекта29112.11. Коммуникационные диаграммыsd AddCoursesпорядковый номерлиния жизниcообщениеuml:Course1.1: «create»1: addCourse( "UML" )2: addCourse( "MDA" ):RegistrationManager:Registrarсвязь2.1: «create»mda:Courseсообщениесоздания объектаРис.

12.21. Коммуникационная диаграмма прецедента AddCoursesCourse. Следует обратить внимание на нумерацию сообщений, обозначающую их последовательность и вложенность в другие сообщения.Ниже пошаговая интерпретация рис. 12.21.1. addCourse( "UML" ) – сообщение addCourse(...) отправляется линии жизни объекта :RegistrationManager с параметром "UML". Экземпляр :RegistrationManager инициирует операцию addCourse( … ) и передает в неепараметр "UML", фокус управления переходит в эту операцию.1.1.

«create» – порядковый номер 1.1 говорит о том, что фокус управления попрежнему находится в операции addCourse(...). :RegistrationManager посылает анонимное сообщение, помеченное стереотипом «create». Такие сообщения «create» создают новые объекты, и это конкретное сообщение создает новый объект uml:Course.Позже при анализе или проектировании этому анонимному сообщению будет дано имя и, возможно, параметры, но пока достаточно показать, что создается новый объект uml:Course.

После создания объекта из операции addCourse( … ) больше не посылается никаких сообщений, и этот поток возвращается.2. addCourse( "MDA" ) – в :RegistrationManager посылается сообщение addCourse(…) с параметром "MDA". Фокус управления переходит к операции addCourse( … ).2.1. «create» – порядковый номер 2.1 говорит о том, что фокус управления попрежнему находится в операции addCourse(…).

:RegistrationManager посылает анонимное сообщение, помеченное стереотипом «create»; это создает новый объект, mda:Course. Послесоздания объекта фокус управления addCourse(…) возвращаетсяи итерация завершается.Поначалу могут возникнуть некоторые сложности с прочтением коммуникационных диаграмм, потому что в них заключено довольно мно292Глава 12. Реализация прецедентовго информации. Главное необходимо понимать, что в результате отправления сообщения вызывается некоторая операция экземпляраи что сложная нумерация сообщений указывает на вложенность вызовов операций (т. е.

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

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

Однако в спецификации UML об этом ничего не сказано! Если действительно применить аналогичный синтаксиситерации, описывающее итерацию сообщение могло бы выглядетьследующим образом:* [ loop min, max [ условие ] ]В такой записи есть преимущество единообразия, но и некоторая синтаксическая избыточность, поскольку и loop, и символ * являются спецификаторами итерации. Тем не менее мы считаем, что это очень хороший подход.В примере на рис. 12.22 для обозначения повторения блока итерациипри увеличении i от 1 до n применяется псевдокод. Затем i используетспецификатор итерацииsd PrintCoursesблок итерации1.1 * [for i = 1 to n] : printCourse( i )1: printCourses( ):Registrar:RegistrationManager1.1.1: print()[i]:CourseРис.

12.22. Синтаксис итерации на коммуникационных диаграммах29312.11. Коммуникационные диаграммыsd PrintCourses1: printCourses( ):RegistrationManager1.1: * print():Registrarcourses *:CourseРис. 12.23. Альтернативный синтаксис итерациися как селектор для выбора определенного экземпляра Course, которому отправляется сообщение print(). В результате этого происходит распечатка всех экземпляров Course. Однако такой подход предполагает,что экземпляры Course хранятся в индексированной коллекции. Есливы не хотите делать такое предположение, можно воспользоватьсяальтернативным подходом, показанным на рис.

12.23.Рисунок 12.23 иллюстрирует два аспекта:1. На связи между :RegistrationManager и :Course указано имя роли во множественном числе (courses) и кратность. Все это свидетельствуето том, что :RegistrationManager соединен с коллекцией объектов :Course(см. диаграмму классов на рис. 12.7).2. К сообщению print() добавлен спецификатор итерации.

Это указывает на то, что сообщение print() посылается каждому объекту коллекции.Стандартный спецификатор итерации (*) означает, что сообщения будут выполняться последовательно. Если необходимо показать, что всесообщения выполняются параллельно, используется спецификаторпараллельной итерации *//.12.11.2. ВетвлениеВетвление можно смоделировать, добавив в сообщения сторожевые условия. Такие сообщения посылаются только тогда, когда сторожевоеусловие становится истинным.Ветвление – сообщение посылается, только если условие истинно.На рис.