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

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 99)

Пустьc = Set{ x, y, z }Декартовым произведением c с самой собой является Set{ {x,x}, {x,y}, {x,z}, {y,x}, {y,y}, {y,z}, {z,x}, {z,y}, {z,z} }Затем c>forAll( i, j | iteratorExpression ) осуществляет перебор каждого подмножества этого Set, присваивая каждому i и j по одному элементу подмножества. После этого i и j можно использовать в выражении итератора.Мы полагаем, что форма forAll(...) с несколькими параметрами можетсбить с толку, и ее применения следует избегать.Все эти итерационные операции (кроме forAll(...) с несколькими параметрами) являются особыми случаями более общей операции iterate,которая рассматривается в следующем разделе.25.8.7.1.

Операция iterateС помощью OCLоперации iterate можно создавать собственные специальные итерации. Ее форма представлена на рис. 25.8.Как видим, кроме переменнойИтератора и ее Типа (который в данном случае является обязательным) здесь присутствует результирующаяПеременная, тип которой может отличаться от типа переменнойИтератора. результирующаяПеременная получает начальное значение от выраженияИнициализации, а ее конечное значение формируется в результате последовательных применений выраженияИтератора.Принцип работы операции iterate следующий. выражениеИнициализацииинициализирует результирующуюПеременную некоторым значением. Затем операция iterate выполняет выражениеИтератора для каждого членаколлекции по очереди, используя переменнуюИтератора и текущее значение результирующейПеременной.

Результатом вычисления выраженияИтератора становится новое значение результирующейПеременной, котороеиспользуется при выполнении выраженияИтератора для следующего элемента коллекции. Значение операции iterate(...) – это конечное значение результирующейПеременной.коллекция !> iterate( <переменнаяИтератора> : <Тип><результирующаяПеременная> : <РезультирующийТип> = <выражениеИнициализации> |<выражениеИтератора>)Рис.

25.8. Форма операции iterate554Глава 25. Введение в OCLВы легко усвоите принцип действия операции iterate из следующегопримера:Bag{ 1, 2, 3, 4, 5 }>iterate( number : Integer;sum : Integer = 0 |sum + number)В результате этого выражения получаем сумму чисел в Bag. В данномслучае она равняется 15. Это абсолютно эквивалентно следующей операции:Bag{ 1, 2, 3, 4, 5 }>sum()Операция iterate – самый универсальный итератор. Она может использоваться для моделирования всех остальных итераторов. Ниже приведен пример, который выбирает все положительные числа множества(Set).Set{ 2, 3, 1, 2 }>iterate( number : Integer;positiveNumbers : Set(Integer) = Set{} | создаем пустой Setif number >= 0 then пропускаем отрицательные числаpositiveNumbers>including( number ) добавляем число в конец результирующего SetelsepositiveNumbers просто возвращаем resultVariableendif)Это абсолютно эквивалентно следующему:Set{ 2, 3, 1, 2 }>select( number : Integer | number >= 0 )25.9.

Навигация в OCLНавигация – это способность перемещаться от исходного объекта к одному или более целевым объектам.Навигация – это процесс, при помощи которого можно проследитьсвязи от исходного объекта к одному или более целевым объектам.Навигация – вероятно, самый сложный и запутанный вопрос OCL. Досих пор для написания OCLвыражения необходимо было знать путьот контекста выражения к другим элементам модели, на которые надосослаться. Это означает, что OCL должен использоваться как навигационный язык.Навигационные выражения OCL могут ссылаться на любое из следующего:• классификаторы;55525.9. Навигация в OCL•атрибуты;•концы ассоциаций;•операции запроса (операции, свойство isQuery которых имеет значение true).В спецификации OCL [OCL1] их называют свойствами.В следующем разделе рассматривается простая навигация в рамкахэкземпляра контекста, а далее – навигация по отношениям с кратностью 1 и больше 1.25.9.1.

Навигация в рамках экземпляра контекстаДавайте рассмотрим простой пример навигации для доступа к возможностям экземпляра контекста. На рис. 25.9 показан класс A с единственным атрибутом a1 и единственной операцией op1().Предполагая, что класс A является контекстом выражения, можно написать навигационные выражения OCL, перечисленные в табл.

25.15.Таблица 25.15Навигационное выражение СемантикаselfЭкземпляр контекста – экземпляр класса Aself.a1a1Значение атрибута a1 экземпляра контекстаself.op1()op1()Результат вызова op1() экземпляра контекстаОперация op1() должна быть операцией запросаЗдесь необходимо отметить несколько важных моментов.•Доступ к экземпляру контекста осуществляется с помощью ключевого слова self.•Доступ к свойствам экземпляра контекста осуществляется напрямую или с помощью ключевого слова self и оператора «точка». Придерживаясь хорошего стиля, мы предпочитаем явно использоватьself и оператор «точка».•Единственные операции, к которым можно организовать доступ, –операции запроса.Aa1:Stringop1():StringРис.

25.9. Класс А с одним атрибутом и одной операцией556Глава 25. Введение в OCL25.9.2. Навигация по ассоциациямНавигация по ассоциациям немного сложнее. Обычно навигациюможно осуществлять только по ассоциациям, допускающим навигацию, и можно получать доступ только к открытым возможностямклассов. Однако спецификация OCL позволяет интерпретатору OCLиметь необязательную возможность проходить не допускающие навигацию ассоциации и получать доступ к закрытым и защищеннымсвойствам.

Возможности используемого для обработки OCLвыражения интерпретатора OCL необходимо сверять по спецификации.На рис. 25.10 представлены некоторые выражения навигации по ассоциации между двумя классами A и B, где кратность на конце b равна 1.Для навигации по ассоциациям необходимо использовать оператор«точка».Навигация по ассоциации осуществляется с помощью оператора «точка» так, как если бы имя роли являлось атрибутом контекстного класса.

Выражение навигации может возвращать объект (или объекты),находящийся на целевом конце, значения его атрибутов и результатыего операций.Семантика навигации зависит от кратности на целевом конце ассоциации.Навигация усложняется, когда кратность на целевом конце ассоциации больше 1, потому что семантика навигации зависит от кратности.На рис. 25.11 показаны некоторые выражения для навигации по ассоциации между двумя классами C и D, где кратность на конце d – много.Навигационное выражениеself.dвозвращает Set(D) объектов d.Это означает, что оператор «точка» перегружен. Когда кратность на целевом конце равна 1 или 0..1, он возвращает объект того же типа, чтоНавигационные выражения (A ! контекст выражения)Пример моделиAa1:StringконтекстbВыражениеB1 b1:Stringop1():StringЗначениеselfЭкземпляр контекста – экземпляр Аself.bОбъект типа Вself.b.b1Значение атрибута B::b1self.b.op1()Результат операции B::op1()Рис.

25.10. Выражения для навигации по ассоциации между класами А и Вс кратностью на конце, равной 155725.9. Навигация в OCLНавигационные выраженияПример моделиCc1:StringdВыражениеD* d1:Stringконтекстop1():StringЗначениеselfЭкземпляр контекста – экземпляр Сself.dSet(D) объектов типа Dself.d.d1Bag(String) значений атрибута D::d1Краткая запись для self.d!>collect( d1 )self.d.op1()Bag(String) результатов операции D::op1()Краткая запись для self.d!>collect( op1() )Рис. 25.11. Выражения для навигации по ассоциации между класами А и Вс кратностью на конце – * (много)и целевой класс.

Когда кратность больше 1, он возвращает Set объектов целевого класса.По умолчанию, если кратность >1, оператор «точка» возвращает Set.По умолчанию, если кратность – «много», оператор «точка» возвращает Set объектов. Однако с помощью свойств ассоциаций, приведенных втабл. 25.16, можно задавать тип возвращаемой коллекции.Таблица 25.16OCLколлекцияСвойства конца ассоциацииSet{ unordered, unique } – применяется по умолчаниюOrderedSet{ ordered, unique }Bag{ unordered, nonunique }Sequence{ ordered, nonunique }Доступ к свойству коллекции является сокращенной записью операцииcollect(...).Когда осуществляется доступ к свойству коллекции, напримерself.d.d1это выражение является сокращенной записью дляself.d>collect( d1 )Возможно, вы помните из раздела 25.8.7, что collect( iteratorExpression )возвращает Bag, содержащий результаты выполнения iteratorExpressionдля каждого элемента коллекции.

Характеристики

Список файлов книги