UML Extensibility Mechanisms (3/3)Example of a Constraint

Entry

User

Notification

{? n ? Notification:

n.User ? n.Entry.participant}

participant

isDirectedTo

remindsOf

0..3

1

1..*

1..*

*

*

In OCL:

Notification

entry.participant->includesAll(user)

Previous slide

Next slide

Back to first slide

View graphic version