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

Осуществить навигацию к классуассоциации можно с помощью его имени. Для примерарассмотрим рис. 25.20.Операцию запроса getJobs() можно представить следующим образом:context Person::getJobs() : Set(Job)body:self.JobВыражение self.Job возвращает Set всех объектов Job, ассоциированныхс данным объектом Person. Этот Set можно использовать в OCLвыражениях. Пусть согласно бизнесправилу Person не может занимать двеодинаковые должности (Job). На OCL это можно описать так:context Personinv: человек не может занимать две одинаковые должностиself.Job>isUnique( j : Job | j.name )1..*Company0..*employerPersonemployeename : StringdateOfBirth : DategetAge() : IntegergetJobs()getTotalSalary() : RealJobname : Stringdescription : Stringsalary : RealgetEmployee() : PersongetEmployer() : CompanyРис.

25.20. Навигация к классу+ассоциации по имени574Глава 25. Введение в OCLПредположим, компания (Company) работает по схеме постепенного сокращения круга служебных обязанностей с приближением пенсионного возраста, и существует бизнесправило, запрещающее человеку(Person) старше 60 занимать более одной должности (Job).

На OCL этоможно представить следующим образом:context Personinv: человек старше 60 может занимать только одну должность(self.getAge() >60) implies (self.Job>count() = 1)Чтобы получить общую заработную плату Person, необходимо сложитьего зарплату на каждой должности (Job):context Person::getTotalSalary() : Realbody: возвращаем суммарную заработную плату на всех должностяхself.Job.salary>sum()Навигацию от классаассоциации можно осуществлять как обычно –с помощью имен ролей на отношениях.

Например, вот OCL для операций getEmployee() и getEmployer() класса Job:context Job::getEmployee() : Personbody:self.employeecontext Job::getEmployer() : Companybody:self.employer25.12.2. Навигация по квалифицированным ассоциациямДля навигации по квалифицированной ассоциации после имени ролив квадратных скобках указываются квалификаторы.Квалифицированные ассоциации обсуждались в разделе 9.4.6.

Длянавигации по квалифицированной ассоциации после имени ролив квадратных скобках размещается квалификатор (или разделенныйзапятыми список квалификаторов).На рис. 25.21 приведена простая модель клуба с различными уровнями членства. Предположим, существует бизнесправило, согласно которому членский ID 00001 всегда зарезервирован за председателемклуба. На языке OCL это можно выразить следующим образом:context Clubinv: id председателя всегда 00001self.members['00001'].level = 'Chairman'57525.12. Дополнительные вопросыСlubclubName : StringclubAddress : Stringmemberld : String1club1membersMemberid : Stringname : Stringaddress : Stringlevel : StringРис.

25.21. Модель клуба с различными уровнями членстваЗдесь видно, как используется квалифицированная ассоциация с определенным значением квалификатора для выбора одного объекта измножества (Set) self.members.25.12.3. Унаследованные ассоциацииРассмотрим модель на рис. 25.22. Она адаптирована из книги [Arlow 1]и представляет модель единиц измерений и систем единиц.Есть два разных типа единиц измерения (Unit): метрические (MetricUnits)и британские (ImperialUnits). MetricUnits принадлежат метрической системе (MetricSystem), а ImperialUnits – британской системе (ImperialSystem). Однако UMLмодель на рис. 25.22 не отражает этого различия.

По сути, вней определено, что любой Unit может принадлежать любой системеединиц (SystemOfUnits). Можно сделать модель более точной, если создать подкласс отношения между SystemOfUnits и Unit, как показано нарис. 25.23.Это решает проблему, но несколько загромождает диаграмму, и приувеличении числа подклассов Unit и SystemOfUnits ситуация быстро усугубляется.SystemOfUnitsImperialSystemsystemunits11..*UnitMetricUnitMetricSystemMeterCentimeterРис.

25.22. Модель единиц измерений и систем единицImperialUnitFootInch576Глава 25. Введение в OCLSystemOfUnitssystemunits11..*MetricSystem11..*MetricUnitMeterImperialSystemUnitCentimeter1ImperialUnit1..*FootInchРис. 25.23. В модель добавлен подкласс отношения между SystemOfUnits и UnitБолее изящный способ решения проблемы – определение OCLограничений следующим образом:context MetricUnitinv: относится к метрической системеself.system.oclIsTypeOf( MetricSystem )context ImperialUnitinv: относится к британской системеself.system.oclIsTypeOf( ImperialSystem )context MetricSysteminv: все единицы должны быть разновидностью MetricUnit или одним из его подклассовself.units–>forAll( unit | unit.oclIsKindOf( MetricUnit ) )context ImperialSysteminv: все единицы должны быть разновидностью ImperialUnit или одним из его подклассовОбратите внимание на использование OCLвыражений oclIsKindOf(...)и oclIsTypeOf(...):•oclIsKindOf(...) возвращает true, если тип объекта аналогичен типу,определенному параметром, или является одним из его подклассов.•oclIsTypeOf(...) возвращает true, если тип объекта точно такой же,как тип, заданный параметром.57725.12.

Дополнительные вопросы25.12.4. OclMessageOCLсообщения могут использоваться только в постусловиях.OCLсообщения могут использоваться только в постусловиях. Они позволяют делать следующее:•подтвердить отправку сообщения;•подтвердить возвращение сообщения;•получить возвращаемое значение сообщения;•вернуть коллекцию сообщений, отправленных объекту.В OCL каждый вызов операции или отправка сигнала – это экземплярOclMessage.

Он имеет набор операций, приведенный в табл. 25.17.Таблица 25.17Операция OclMessageСемантикаaMessage.isOperationCall() : BooleanВозвращает true, если сообщение представляет вызов операции.aMessage.isSignalSent() : BooleanВозвращает true, если сообщение представляет отправку сигнала.aMessage.hasReturned() : BooleanВозвращает true, если сообщение было вызовом операции, которая вернула значение.aMessage.result() : TВозвращает результат вызванной операции;T представляет тип возвращаемого значенияЕсть также две операции, применяемые к сообщениям. Они приведены в табл. 25.18.Таблица 25.18Оператор сообщения ИмяСемантикаanObject^aMessage()has sentВозвращает true, если aMessage() был отправлен в anObjectМожет использоваться только в постусловияхanObject^^aMessage()get messagesВозвращает Sequence сообщений aMessage(), посланных в anObjectЕсли сообщение имеет параметры, с операторами has sent (послан) и getmessages (получить сообщения) может использоваться специальныйсинтаксис.

Это позволяет задавать фактические параметры или только типы параметров. Синтаксис описан в табл. 25.19.Для изучения сообщений в OCL мы используем шаблон Observer (наблюдатель), полностью описанный в книге [Gamma 1].578Глава 25. Введение в OCLТаблица 25.19has sent с параметрамиСемантикаanObject^aMessage( 1, 2 )Возвращает true, если aMessage(...) послано в anObject с параметрами, имеющими значения 1 и 2.anObject^aMessage( ?:Integer,?:Integer )Возвращает true, если aMessage(...) послано в anObject с параметрами типа Integer.get messages с параметрами СемантикаanObject^^aMessage( 1, 2 )Возвращает Sequence всех сообщений, посланных вanObject с параметрами, имеющими значения 1 и 2.anObject^^aMessage( ?:Integer, Возвращает Sequence всех сообщений, посланных?:Integer )в anObject с параметрами типа Integer.Простой пример применения шаблона Observer показан на рис.

25.24.Семантика этого шаблона проста: субъект (Subject) имеет нуль или более наблюдателей (Observer). При изменении Subject вызывается его операция notify() (уведомить), которая в свою очередь вызывает операциюupdate() (обновить) каждого прикрепленного к ней Observer. Примеромобычного использования этого шаблона может быть обновление экрана при изменении базовых бизнесобъектов.Subject+attach( o : Observer )+detach( o : Observer )+notify()Observer0..*subjects0..*observers+attach( s : Subject )+detach( s : Subject )+update( s : Subject )Рис. 25.24. Пример применения шаблона ObserverСемантика операций Subject представлена в табл. 25.20.Таблица 25.20Операция SubjectСемантикаattach( o : Observer )Присоединяет объект Observer.detach( o : Observer )Отсоединяет объект Observer.notify()Вызывает операцию update() каждого объекта Observer –вызывается, когда Subject меняется и желает уведомитьобъекты Observer об этом изменении.Рассмотрим возможные постусловия для операций Subject, которыемогут использовать сообщения.Согласно табл.