Джим Арлоу, Айла Нейштадт - UML 2 и Унифицированный процесс. Практический объектно-ориентированный анализ и проектирование (1037782), страница 101
Текст из файла (страница 101)
Вы ражение balance@pre ссылается на значение balance перед выполнениемоперации. Часто в постусловии необходимо сослаться на исходное зна чение чего либо.Для полноты информации приводим ограничения, налагаемые на опе рацию BankAccount::withdraw(...).25.10. Подробно о типах OCLBвыражений563context BankAccount::withdraw( amount : Real )pre amountToWithdrawGreaterThanZero: снимаемая сумма должна быть больше нуляamount >0post withdrawalSucceeded: окончательный баланс – это разность исходного баланса и снятой суммыself.balance = self.balance@preamountПрежде чем завершить обсуждение предусловий и постусловий, необ ходимо рассмотреть наследование. Когда подкласс переопределяетоперацию, он принимает предусловия и постусловия переопределяе мой операции.
Он может только изменить их.• Переопределенная операция может только ослабить предусловие.• Переопределенная операция может только усилить постусловие.Эти ограничения гарантируют сохранение принципа замещаемости(раздел 10.2).25.10.3. body:OCL можно использовать для определения результата операции запроса.Все операции getXXX() в нашей простой модели BankAccount (рис. 25.13)являются операциями запроса.BankAccount::getBalance( ) : RealBankAccount::getOwner() : PersonBankAccount::getOperators() : Set( Person )CheckingAccount::getAvailableBalance() : RealCheckingAccount::getAvailableOverdraft() : RealOCL выражения для операций запроса BankAccount тривиальны, и обыч но их написание не должно вызывать затруднений. Выражения приве дены ниже в качестве примера:context BankAccount::getBalance( ) : Realbody:self.balancecontext BankAccount::getOwner( ) : Personbody:self.ownercontext BankAccount::getOperators() : Set(Person)body:self.operatorsОперации запроса класса CheckingAccount более интересны:context CheckingAccount::getAvailableBalance() : Realbody: можно снимать сумму, не превышающую ограничения по превышению кредитаself.balance + self.overdraftLimit564Глава 25.
Введение в OCLcontext CheckingAccount::getAvailableOverdraft() : Realbody:if self.balance >= 0 then возможность превышения кредита доступна полностьюself.overdraftLimitelse возможность превышения кредита использована частичноself.balance + self.overdraftLimitendifКак видите, в этих двух операциях запроса OCL определяет, как вы числяется результат операции. Возвращаемое значение операции –это результат вычисления OCL выражения.25.10.4. init:OCL может использоваться для задания начального значения атрибу тов. Например:context BankAccount::balanceinit:0Обычно эта возможность OCL используется в случае сложности инициа лизации.
Простые инициализации (как та, что приведена выше) лучшевсего размещать прямо в ячейке атрибутов класса.25.10.5. def:OCL позволяет добавлять атрибуты и операции в классификатор с по мощью стереотипа «OclHelper». Они могут использоваться тольков OCL выражениях. Добавленные атрибуты в OCL называют перемен ными. Их применение во многом аналогично использованию перемен ных в других языках программирования. Добавленные операции на зываются вспомогательными операциями, потому что они «помогают»в OCL выражениях.def: позволяет определить переменные и вспомогательные операцииклассификатора для использования в других OCLвыражениях.Переменные и вспомогательные операции используются для упроще ния OCL выражений.Рассмотрим пример.
Возьмем ограничения, определенные ранее:context CheckingAccount::getAvailableBalance() : Realbody: можно снимать сумму, не превышающую ограничения превышения кредитаbalance + overdraftLimitcontext CheckingAccount::getAvailableOverdraft() : Real25.10. Подробно о типах OCLBвыражений565body:if balance >= 0 then возможность превышения кредита доступна полностьюoverdraftLimitelse возможность превышения кредита использована частичноbalance + overdraftLimitendifМожно заметить, что операция balance + overdraftLimit присутствуетв двух выражениях.
Поэтому есть смысл определить ее один раз какпеременную availableOverdraft (доступное превышение кредита), котораяможет использоваться обоими выражениями. Для этого применяетсяоператор def:.context CheckingAccountdef:availableBalance = balance + overdraftLimitТеперь можно переписать эти два ограничения, используя введеннуюпеременную:context CheckingAccount::getAvailableBalance() : Realbody: можно снимать сумму, не превышающую ограничения превышения кредитаavailableBalancecontext CheckingAccount::getAvailableOverdraft() : Realbody:if balance >= 0 then возможность превышения кредита доступна полностьюoverdraftLimitelse возможность превышения кредита использована частичноavailableBalanceendifМожно также определить вспомогательные операции.
Например, в OCL выражениях может быть полезной операция для проверки возможно сти снятия денег со счета. Ее можно было бы определить следующимобразом:context CheckingAccountdef:canWithdraw( amount : Real ) : Boolean = ( (availableBalance amount ) >= 0 )25.10.6. Выражения letЕсли def: предоставляет возможность определять переменные уровняконтекста выражения, то let позволяет задавать переменные, областьдействия которых ограничена конкретным OCL выражением. Эти пере 566Глава 25.
Введение в OCLменные подобны локальным переменным в обычных языках програм мирования. И назначение их практически такое же – хранение вычис ленного значения, используемого в выражении более одного раза.let определяет локальную переменную OCLвыражения.Выражение let состоит из двух частей – let и in.let <имяПеременной>:<типПеременной> = <выражениеLet> in<использующееВыражение>В первой части значение выражения let (<выражениеLet>) присваиваетсяпеременной (<имяПеременной>).
Вторая часть определяет OCL выраже ние, являющееся областью действия переменной и местом, где она мо жет использоваться (<использующееВыражение>).В нашем примере банковского счета на самом деле нет необходимостив выражении let. Однако для иллюстрации рассмотрим пример, в кото ром определена переменная originalBalance (исходный баланс), локаль ная для ограничения withdrawalSucceeded.context BankAccount::withdraw( amount : Real )post withdrawalSucceeded:let originalBalance : Real = self.balance@pre in окончательный баланс – это исходный баланс минус снятая суммаself.balance = originalBalance amount25.10.7.
derive:OCL может использоваться для определения значений производныхатрибутов.Значения производных атрибутов определяются с помощью derive.Наш пример с банковским счетом можно реорганизовать и выразитьпеременную баланса и переменную превышения кредита с помощьюпроизводных атрибутов (рис.
25.14).Правила вывода этих производных атрибутов можно описать следую щим образом:context CheckingAccount::availableBalance : Realderive: можно снимать сумму, не превышающую ограничения по превышению кредитаbalance + overDraftLimitcontext CheckingAccount::availableOverdraft : Realderive:if balance >= 0 then возможность превышения кредита доступна полностьюoverdraftLimit56725.11.
OCL на диаграммах других типовownedAccountsBankAccountowner*1balance : RealaccountNumber : Stringdeposit( amount : Real ):Realwithdraw( amount : Real )getBalance() : RealgetOwner() : PersongetOperators() : Person[]*operator1..*getName() : StringgetId() : StringgetAddress() : StringDepositAccountCheckingAccountoverdraftLimit : Real/availableBalance : Real/availableOverdraft : RealoperatedAccountsPersonname : Stringid : Stringaddress : Stringпроизводныеатрибутыwithdraw( amount : Real )withdraw( amount : Real )getAvailableBalance() : RealgetAvailableOverdraft() : RealРис. 25.14. Производные атрибутыelse возможность превышения кредита использована частичноoverdraftLimit + balanceendifЭто упрощает определение операций CheckingAccount::getAvailableBalance() и CheckingAccount::getAvailableOverdraft():context CheckingAccount::getAvailableBalance() : Realbody:availableBalancecontext CheckingAccount::getAvailableOverdraft() : Realbody:availableOverdraft25.11.
OCL на диаграммах других типовДо сих пор мы рассматривали применение OCL только на диаграммахклассов. Однако OCL может также использоваться на диаграммах дру гих типов:• на диаграммах взаимодействий (глава 12);• на диаграммах деятельности (главы 14 и 15);• на диаграммах состояний (конечные автоматы) (главы 21 и 22).В следующих разделах рассмотрим применение OCL на диаграммахэтих типов.568Глава 25. Введение в OCL25.11.1. OCL на диаграммах взаимодействийНа диаграммах взаимодействий OCL используется для представленияограничений. Необходимо помнить, что с помощью OCL нельзя опи сать поведение, поскольку данный язык не имеет побочных эффектов.На диаграммах взаимодействий OCL может использоваться везде, гденеобходимо сделать следующее:•определить сторожевое условие;•определить селектор линии жизни (раздел 12.6);•определить параметры сообщения.Рассмотрим пример использования OCL на диаграммах последова тельностей.
На рис. 25.15 изображена диаграмма классов простой сис темы электронной почты.Класс EmailAddress (электронный адрес) представляет адрес электрон ной почты. Например, адрес электронной почты jim@umlandtheuni+fiedprocess.com был бы представлен как объект класса EmailAddress, какпоказано на рис. 25.16. В данном случае операция EmailAddress:get1MailSystemclassifyMessage( m : Message )…11reviewBox10..*0..*inBoxMailSystemsubject : Stringcontent : StringmessageType1setType( type : MessageType )…11replyTo 0..1cc0..*bcc0..*11fromAddress 11..*toAddressesEmailAddresswhiteList0..*1address : StringgetName() : Stringblacklist getDomain() : StringgetAddress() : String0..* …Рис.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
