SLIDE 1 ✂✁☎✄✝✆✞✄✞✟✡✠☞☛✍✌ ✎✏✄✞✑✓✒✕✔✗✖✙✘ ✚ ✒✝✛ ✜✣✢✤✒✥✑✦✒✕✘★✧✦✄✩✧✤✪✫✖★✘✗✖✭✬✮✧✰✯✱✒✲✠☞☛✳✌✵✴✷✶✹✸✺✘★✧✰✄✩✻ ✼✾✽❀✿❂❁❄❃❆❅❇✿❉❈❋❊✥●❄❍❏■❑✽ ▲◆▼❉❖◗P❙❘❙❚❱❯❲❖◗P❙▼❨❳❩❘❙❚❱❬❭▼❂❪❫❯❲❚❵❴✫❛ ❜ ❴❨❝✂❛ ❞ ❘❙❖◗P❙▼❂❘❑❡ ❢ ❪❫❖❂❚❣❯❲❯❤❴❲❪❥✐❧❦❇♠♥❡❙♦✾♣rq♥s✉t✉t♥t✈❝ ❞ ❘✇❚❣❖◗P❑❡②①✾▼❂❪❫③ ❜ ❘❇④⑤❡ ⑥❭⑦❀⑧❇⑨❇⑩❭❶❇❷✫❸✷❹r❺✉⑦❀⑧✰❹❼❻⑤⑩ ❽✈❾➀❿❉➁❉➂✫➃②➄♥➁ ▲✰P✇▼✾➅✾➆❇➇❤▼❂❖❂❴➉➈✦➊♥❘❙❯❤❴❲❪ ❜ ❚❱❘⑤❴✤➋ ❜ ❘✇➌ ❞ ❜ ➌✉▼✕➍❼➅✝➈✰➋➏➎➀❚❱❯ ❜✝➐②❜ ❪❲❴✦➊❀➑❆❴❫P✇▼➉❳✾❘❙❚❵♣ ➒ ▼❥➓✡❝★➊❇➓➔▼❉→❱❚❣❘✇➌➣➋ ❜ ❘❙➌ ❞ ❜ ➌♥▼✂➍↔❳✝❝❏➋➏➎✕↕ ❜ ❘✵▼❂③✞▼❂❪❫➌✉❚❱❘❙➌➙❯❤❴ ❜ ❘②➓ ❜ ❪◗➓➛→ ❜ ❘❙➌ ❞ ❜ ➌♥▼☎➑➜➊♥❪ ➊♥➆➔➇➝▼❉❖❂❴❲♣❼➊♥❪❫❚❱▼❉❘⑤❴❫▼❥➓ ❜ ❘ ❜ →❵④✇❯❲❚❱❯ ❜ ❘②➓➛➓✇▼❉❯❲❚❱➌♥❘❑✐✓➅✝➈✰➋➞❚❣❯➟➓✇▼❉❯❲❚❱➌✉❘✇▼❥➓ ❜ ❯ ❜ ➑➜➊❀❪❫③ ❜ →➉→ ❜ ❘✇♣ ➌ ❞ ❜ ➌♥▼✞➑➜➊♥❪➠❯ ➐ ▼❉❖❉❚❵➑➡④✇❚❱❘✇➌☎❖❉➊✉❘✇❯❤❴❲❪ ❜ ❚❱❘⑤❴❫❯✕❴❫P ❜ ❴✕❖ ❜ ❘✇❘❙➊❀❴➠➆❧▼✞▼➤➢ ➐ ❪❫▼❉❯❲❯❲▼❥➓➙❖❂➊✉❘❇❬❭▼❉❘✇❚❣▼❂❘❇❴❫→❵④ ❞ ❯❲❚❣❘✇➌➟❳✝❝❏➋✷➥ ❯❩➓➔❚ ❜ ➌♥❪ ❜ ③✞③ ❜ ❴❫❚❱❖✝❘❙➊❀❴ ❜ ❴❫❚❱➊✉❘❆✐ ▲✰P✇❚❣❯ ❜ ❪❲❴❫❚❱❖❉→❱▼✕➓✇▼❂❯❲❖❂❪❫❚❱➆❧▼❉❯✤❪❫▼❉❯ ❞ →❵❴❫❯➉➊♥➑ ❜ ❖ ❜ ❪❫▼❂➑ ❞ → ❜ ❘ ❜ →❱④➔❯❲❚❱❯➦➊♥➑➏❴❫P✇▼❨❯❤④➔❘❇❴ ❜ ❖❂❴❫❚❱❖✝❯❤❴❲❪ ❞ ❖❂♣ ❴ ❞ ❪❫▼❩➊❀➑➀➅✝➈✰➋✷❡❭❪❫▼❉❯ ❞ →❵❴❫❚❱❘❙➌✕❚❱❘ ❜ ❘ ❞ ③✩➆❧▼❂❪➧➊♥➑❑❚❱③ ➐ ❪❫➊✫❬❭▼❉③✞▼❂❘❇❴❫❯✷➊❀➑❑❴❫P✇▼✾➅✝➈✰➋❄♣❼❯❤④✇❘⑤❴ ❜ ➢❆✐ ➨r❘ ➐②❜ ❪❲❴❫❚❱❖ ❞ → ❜ ❪❥❡ ❜ ❘✇▼❂➩ ❜ ❘②➓➛➆❧▼❂❴❲❴❫▼❂❪✈❪❫▼ ❜ ➓ ❜ ➆✇→❱▼☎➌♥❪ ❜ ③✞③ ❜ ❪✈➓✇▼❂❯❲❖❂❪❫❚❱➆❙❚❱❘❙➌➛➅✝➈✰➋➫❚❣❯ ➓➔▼ ➒ ❘✇▼❥➓❆✐◆▲✰P❙▼ ➐②❜❀➐ ▼❂❪➠▼❉❘❙P ❜ ❘❙❖❂▼❉❯➠❘✇➊♥❴✕➊✉❘✇→❵④➙❴❫P❙▼✞→ ❜ ❘❙➌ ❞ ❜ ➌♥▼❏➅✝➈✰➋✡❚❵❴❫❯❲▼❉→❵➑➝❡✷➆ ❞ ❴✕❚❱❘ ➐❙❜ ❪❲❴❫❚❱❖ ❞ → ❜ ❪✾❚❵❴❫❯ ➐ ❪❫▼❉❯❲▼❂❘❇❴ ❜ ❴❫❚❱➊✉❘❑✐ ①✾❚❱❬❭▼❉❘✕❴❫P❙▼✰❘✇▼❂➩➛➌♥❪ ❜ ③✞③ ❜ ❪❥❡ ❜✾➭❭❜ ❬ ❜ ♣❼❯❤❴➝④➔→❱▼✰❬ ❜ ❪❫❚ ❜ ❘⑤❴➧➊♥➑❄➅✝➈✰➋✭➩➉❚❵❴❫P➟▼❉❯❲❯❲▼❉❘⑤❴❫❚ ❜ →❱→❵④✕❴❫P❙▼ ❯ ❜ ③✞▼ ❜ ➆❙❯❤❴❲❪ ❜ ❖➤❴✤➌♥❪ ❜ ③✞③ ❜ ❪✰❚❱❯✤➓➔▼ ➒ ❘✇▼❥➓❆❡♥➩➉P❙❚❱❖◗P✙❯❲P✇➊ ❞ →❣➓✞➆❧▼➦③✞➊♥❪❫▼➦❖❉➊✉③➟➑➯➊♥❪❲❴ ❜ ➆✇→❱▼❩❴❫➊ ➭❭❜ ❬ ❜ ♣ ➐ ❪❫➊♥➌♥❪ ❜ ③✞③✞▼❂❪❫❯❉✐ ➲ ➳❙➵➦➸❧➺❄➻✝➼➠➽✕➾◆➸❄➚❫➻➦➵ ➪❨❃❄✽✙➶✕❁❄➹❣➘❑✽♥❈➣➴✂➷❧❈❧✽♥➬➡➹➯❁❄➮➙➱➧❅❇❁❆➮➔●❆❅➔➮➔✽✹✃❼➶➠➴➣➱✓❐✭❒❣❮⑤❰♥Ï✰❃❆❅➔Ð✕Ñ❑✽✉Ò✫➷➔❍❏✽✭Ó➤❃❄✽★❈❧✽✫Ô➝Õ❼❅➔Ò✫Ó➤➷❋Ð◗Ó❂❅➔❁❆❈❄❅❇✿❉❈ ÕÖ➷➔✿✩❍★➷❧❈❧✽♥➬➡➹➯❁❄➮✺➷➔Ñ❧×❫✽✉Ò❥Ó◗Ô❤➷➔✿❂➹➯✽❀❁❙Ó➤✽✉❈➣Ð◗Ø❧Ð◗Ó➤✽♥❍❏Ð♥Ù➏➪❨❃❄✽✙➶➠➴➣➱➫➹➜Ð➟❅✹➮✇✿❂❅➔■❄❃❄➹➜Ò❀❅❇➬✦❈❧✽♥Ð❂Ò✫✿❂➹➯■❧Ó➤➹➯➷➔❁➣➬➜❅❇❁❄Ô ➮➔●❆❅➔➮➔✽✺❅➔❁❆❈✡Ó❂❃❄✽❀✿❂✽✫ÕÖ➷✇✿➤✽✇Ú✦Ð➤➹➡❍❏➹➯➬➯❅➔✿✭Ó❂➷Û❍❏➷❙Ð❫Ó❏➷❇Ó❂❃❄✽❀✿★➮➔✿❉❅❇■❄❃❆➹➯Ò♥❅❇➬➦➬➜❅❇❁❆➮➔●❆❅➔➮➔✽♥Ð♥Ú➧➬➯➹➯❍★➹➡Ó➤✽✉❈➫➹➯❁➫➹➡Ó❂Ð ✽✫Ü❧■❄✿❂✽♥Ð❂Ð◗➹➯Ý➔✽♥❁❄✽♥Ð❂Ð❀Ù✇➪❨❃❄✽✞Þ➠Ñ❄×❫✽♥Ò❥Ó✥ß❩➷➔❁❆Ð◗Ó➤✿❉❅❇➹➯❁❙Ó✾➱✓❅❇❁❄➮✇●❆❅❇➮✇✽✈✃➝Þ✞ß✾➱✓❐➠❒➡❮♥à❭Ï➀➹➜Ð❩❅✭■❄✿➤✽✉Ò✫➹➜Ð◗✽✕Ó➤✽❀Ü❙Ó❂●❆❅❇➬ Ð◗■◆✽♥Ò❀➹❣➘❑Ò♥❅⑤Ó❂➹➡➷✇❁✂➬➯❅➔❁❄➮➔●❆❅➔➮➔✽➟●❆Ð➤✽♥❈➙Ó❂➷✺Ò✫➷✇❍❏■❄➬➡✽♥❍❏✽❀❁❙Ó✕➮➔✿❉❅❇■❆❃❄➹➯Ò♥❅❇➬➀❍❏➷❧❈❧✽❀➬➯➹➯❁❄➮✹➬➜❅❇❁❄➮✇●❆❅❇➮✇✽♥Ð♥Ù◆Þ✞ß✾➱ á ❅✇Ð✾❈❄✽♥Ð➤➹➡➮✇❁❄✽♥❈❋Ó➤➷❏✽✫Ü❧■❄✿❂✽♥Ð❂Ð✾➬➡➷✇➮➔➹➜Ò❀❅➔➬➏Ò❀➷➔❁❆Ð◗Ó➤✿❉❅❇➹➯❁❙Ó❂Ð á ➹❣Ó❂❃❄➹➯❁✱❅❏➶➠➴➣➱✵❍★➷❧❈❧✽♥➬➀Ó➤❃❑❅⑤Ó✥Ò❀❅➔❁❄❁❄➷❇Ó✝➷✇✿ ❁❄➷❇Ó✞Ò✫➷✇❁❙Ý✇✽❀❁❄➹➯✽❀❁❙Ó❂➬➡Ø✱✽❀❁❆➷➔●❄➮✇❃➛Ñ◆✽✙✽❀Ü②■❆✿➤✽✉Ð➤Ð➤✽♥❈ á ➹➡Ó➤❃ÛÓ➤❃❆✽★❍☎❅➔➹➡❁❄➬➯Ø➣❈❧➹➜❅❇➮✇✿❂❅➔❍★❍☎❅❇Ó➤➹➜Ò✈➶✕➴➣➱➦Ù➀â❲❁ ■❆❅❇✿➤Ó➤➹➜Ò✫●❄➬➜❅❇✿✉Ú✓Þ✞ß✾➱ãÐ➤●❄■❄■◆➷➔✿➤Ó❂Ð✈Ð➤■❑✽✉Ò✫➹➡ÕÖØ②➹➡❁❄➮➛➹➡❁②Ý⑤❅❇✿❂➹➯❅➔❁❙Ó❂Ð➟➷❇Õ✝Ò✫➬➜❅➔Ð❂Ð➤✽♥Ð➟➹➯❁➞❅✂Ò✫➬➜❅➔Ð❂Ð✞❍❏➷②❈❄✽❀➬➦❅➔❁❆❈ ❈❧✽♥Ð❂Ò✫✿❂➹➡Ñ❆➹➡❁❄➮❏■❄✿❂✽✫Ô➦❅➔❁❆❈✺■❑➷❙Ð❫Ó❉Ò✫➷➔❁❑❈❧➹❣Ó❂➹➡➷✇❁❆Ð❨➷❇Õ✰➷➔■◆✽❀✿❉❅⑤Ó❂➹➡➷✇❁❆Ð❨❅❇❁❆❈✺❍❏✽✫Ó❂❃❄➷❧❈❄Ð❀Ù Þ✞ß✾➱✡➹➯Ð➠❅❏Ó➤✽❀Ü❙Ó❂●❆❅❇➬✦Ð◗●❆■❄■❄➬➯✽❀❍❏✽❀❁❙Ó➠➷➔Õ➉➶✕➴➣➱➦Ù❑ä✕Ð✩Ð➤●❆Ò❉❃✷Ú❆➹➡Ó✕❁❄✽♥✽♥❈❄Ð✥Ó➤➷✹Ñ◆✽✭■❆✿❂❅➔➮➔❍☎❅⑤Ó❂➹➯Ò➟➹➯❁
- ❆Ð◗✽✇Ú➀Ñ❄●❧Ó✈Ð◗Ó➤➹➯➬➡➬➉Ò❀➷➔❁❆Ò❀➹➯Ð➤✽✙✽♥❁❄➷➔●❆➮➔❃➛➹➯❁✵➹❣Ó❉Ð✞❈❧✽✫➘❆❁❆➹❣Ó❂➹➡➷✇❁➛Ó❂➷✺Ñ◆✽☎❅➔Ð❂Ð◗➹➜Ð❫Ó❂✽♥❈➛Ñ❙Ø➣Ó➤➷②➷➔➬➜Ð❀Ú➀Ð➤●❆Ò❉❃Û❅✇Ð➟❅
[Rum02b] B. Rumpe. Java-OCL Based on New Presentation of the OCL-Syntax. In: Object Modeling with the OCL, pp. 189-212, Tony Clark, Jos Warmer (eds.) LNCS 2263, Springer Verlag, 2002. www.se-rwth.de/publications