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

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

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

В данном случае возвращается Bagзначений атрибута d1 для каждого объекта D в Set(D), полученном путем обхода self.d.558Глава 25. Введение в OCLАналогичноself.d.op1()является сокращенной записью дляself.d>collect( d.op1() )Результатом этого выражения является Bag, содержащий возвращаемые значения операции op1(), примененной к каждому объекту Dв Set(D), полученном путем обхода self.d.Операция collect() всегда возвращает плоскую коллекцию. Если необходимо сохранить вложенность целевой коллекции в возвращаемойколлекции, следует использовать операцию collectNested().25.9.3. Навигация по нескольким ассоциациямВ данном разделе рассматривается навигация по нескольким ассоциациям.В принципе можно осуществлять навигацию по любому числу ассоциаций.

На практике навигация ограничивается максимум двумя ассоциациями, потому что пространные навигационные выражения чреваты ошибками и могут быть сложны для понимания. Они также делают OCLвыражения слишком многословными.Давайте рассмотрим простой пример навигации по двум ассоциациям(рис. 25.12).Результатом навигации по ассоциации с кратностью >1 является Bag.Можно заметить, что результатом навигации по ассоциации с кратностью больше 1 всегда является Bag, потому что эта операция эквивалентна применению collect(...). Например, выражениеself.k.l.l1эквивалентноself.k>collect( l )>collect( l1 )Аналогичным образом можно провести навигацию по большему числуассоциаций, но этого делать не рекомендуется.25.10.

Подробно о типах OCLвыраженийВ разделе 25.7 были представлены различные типы OCLвыражений.Теперь, рассмотрев синтаксис OCL, мы можем подробно остановитьсяна каждом из этих типов. В качестве примера воспользуемся простоймоделью, приведенной на рис. 25.13.55925.10. Подробно о типах OCLBвыраженийНавигационные выраженияПример моделиAa1:Stringb1Bb1:StringcC1c1:StringконтекстDd1:Stringe1Ee1:StringfF*f1:StringконтекстGg1:Stringh*Hh1:StringiI1i1:StringконтекстJj1:Stringk*Kk1:StringlL*l1:StringконтекстВыражениеЗначениеselfself.bself.b.b1self.b.cself.b.c.c1Экземпляр контекста ! экземпляр АОбъект типа BЗначение атрибута B::b1Объект типа CЗначение атрибута C::c1selfself.eself.e.e1self.e.fself.e.f.f1Экземпляр контекста ! экземпляр DОбъект типа EЗначение атрибута E::e1Set(F) объектов типа FBag(String) значений атрибута F::f1selfself.hself.h.h1self.h.iself.h.i.i1Экземпляр контекста ! экземпляр GSet(H) объектов типа HBag(String) значений атрибута H::h1Bag(I) объектов типа IBag(String) значений атрибута I::i1selfself.kself.k.k1self.k.lself.k.l.l1Экземпляр контекста ! экземпляр JSet(K) объектов типа KBag(String) значений атрибута K::k1Bag(L) объектов типа LBag(String) значений атрибута L::l1Рис.

25.12. Навигация по двум ассоциациямownedAccountsBankAccount*balance : RealaccountNumber : Stringdeposit( amount : Real ):Realwithdraw( amount : Real )getBalance() : RealgetOwner() : PersongetOperators() : Person[]CheckingAccountoverdraftLimit : RealoperatedAccounts*DepositAccountwithdraw( amount : Real )withdraw( amount : Real )getAvailableBalance() : RealgetAvailableOverdraft() : RealРис. 25.13. Модель банковского счетаowner1operators1..*Personname : Stringid : Stringaddress : StringgetName() : StringgetId() : StringgetAddress() : String560Глава 25. Введение в OCL25.10.1. inv:Инвариант – это нечто, что должно быть истинным для всех экземпляров контекстного классификатора.Рассмотрим модель простого банковского счета (рис.

25.13). Классы CheckingAccount и DepositAccount подчиняются четырем бизнесправилам.1. Ни на одном из счетов кредит не может быть превышен более чем на$1000.2. CheckingAccount предоставляет возможность превышения кредита.Со счета может быть снята сумма, не превышающая установленного ограничения по превышению кредита.3. На счетах DepositAccount не допускается превышение кредита.4.

Каждый accountNumber должен быть уникальным.Первое правило, состоящее в том, что ни на одном из счетов кредит неможет быть превышен более чем на $1000, можно представить как инвариант класса BankAccount, потому что оно должно выполняться длявсех экземпляров BankAccount (т. е. всех экземпляров его подклассов).context BankAccountinv balanceValue: баланс BankAccount должен быть >1000.0self.balance >= (1000.0)Этот инвариант наследуется двумя подклассами: CheckingAccount и DepositAccount. Для обеспечения сохранения принципа замещаемости(раздел 10.2) подклассы могут усилить инвариант, но ни в коем случае не ослабить его.Подкласс может усилить инвариант, но не ослабить его.Правила 1 и 2 могут быть выражены как инварианты класса CheckingAccount:context CheckingAccountinv balanceValue: превышение кредита на CheckingAccount не должно быть больше установленного ограниченияself.balance >= (overdraftLimit)inv maximumOverdraftLimit: превышение кредита на CheckingAccount не должно быть больше 1000.0self.overdraftLimit <= 1000.0Правило 3 может быть выражено как инвариант класса DepositAccount:context DepositAccountinv balanceValue: баланс DepositAccount должен быть нулевым или положительнымself.balance >= 0.025.10.

Подробно о типах OCLBвыражений561Обратите внимание, как оба этих класса, переопределив инварианткласса BankAccount::balance, усилили его.Ограничение, касающееся уникальности accountNumber каждого счета,можно представить как инвариант класса BankAccount:context BankAccountinv uniqueAccountNumber: у каждого BankAccount должен быть уникальный accountNumberBankAccount::allInstances( )>isUnique( account | account.accountNumber )Из рис. 25.13 видно, что у каждого BankAccount есть единственный владелец (owner) и один или более операторов (operator).

Владелец – это человек (Person), которому принадлежит счет, а операторы – это люди(People), имеющие право снимать деньги и имеющие доступ к информации счета. Существует бизнесограничение о том, что owner долженбыть также и operator. Данное ограничение может быть отражено следующим образом:context BankAccountinv ownerIsOperator: владельцем BankAccount должен быть один из его операторовself.operators>includes( self.owner )Для Person можно записать такое ограничение:context Personinv ownedAccountsSubsetOfOperatedAccounts: счета, принадлежащие Person (ownedAccount), должны быть подмножеством счетов, управляемых этим Person (operatedAccount)self.operatedAccounts>includesAll( self.ownedAccounts )При сравнении объектов в OCLвыражениях необходимо помнить, чтоони могут быть:••идентичные – каждый объект ссылается на одну и ту же область памяти (имеют идентичные объектные ссылки);эквивалентные – каждый объект имеет одинаковый набор значений атрибутов, но разные объектные ссылки.В приведенных выше OCLвыражениях мы всегда аккуратны присравнении объектов на основании их идентичности или эквивалентности соответственно.

С этим надо проявлять осторожность. Например,сравнение объектов BankAccount (сравнение на основании идентичности) не то же самое, что сравнение accountNumber этих объектов (сравнение на основании эквивалентности).25.10.2. pre:, post: и @preПредусловия и постусловия применяются к операциям. Их экземпляром контекста является экземпляр классификатора, которому принадлежат эти операции.562Глава 25. Введение в OCLpre: и post: применяются к операциям.•Предусловия определяют сущности, которые должны быть истинны перед выполнением операции.•Постусловия определяют сущности, которые должны быть истинны после выполнения операции.Вернемся к нашему примеру BankAccount на рис.

25.13 и рассмотримоперацию deposit(...), унаследованную обоими подклассами, CheckingAccount и DepositAccount, от BankAccount. Установлено два бизнесправила.1. Сумма (amount) вклада должна быть больше нуля.2. После выполнения операции сумма должна быть добавлена в баланс (balance).Эти правила могут быть выражены кратко и точно в виде предусловийи постусловий операции BankAccount::deposit(...):context BankAccount::deposit( amount : Real ) : Realpre amountToDepositGreaterThanZero: сумма вклада должна быть больше нуляamount >0post depositSucceeded: окончательный баланс должен быть суммой исходного баланса и вкладаself.balance = self.balance@pre + amountПредусловие amountToDepositGreaterThanZero (сумма вклада больше нуля)должно быть истинным, чтобы обеспечить возможность выполненияоперации.

Оно гарантирует:•невозможность нулевых вкладов;•невозможность вкладов с отрицательным значением суммы.Постусловие depositSucceeded (вклад сделан успешно) должно быть trueпосле выполнения операции. Оно определяет увеличение исходногобаланса (balance@pre) на сумму вклада (amount) для получения окончательного баланса.attributeName@pre ссылается на значение перед выполнением операции.Обратите внимание на ключевое слово @pre. Оно может использоваться только в постусловиях. Атрибут balance принимает одно значениедо выполнения операции и другое значение после ее выполнения.

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

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