midYearReview : Meeting

month -> June

[ chair = Steven ]

[ room = C ]

[ some onlineParticipant ]

Steven : Member

C : Room

[ whiteboard ]

[ audioConferencing ]

keyword

ondemandMeeting : Meeting

[ chair = Joanna ]

[ no onlineParticipant ]

[ room = D ]

Joanna : Member

D : Room

[ whiteboard ]

keyword

abstract Meeting

chair -> Member

[ this not in participant.dref ]

[ this not in onlineParticipant.dref ]

participant -> Member +

onlineParticipant -> Member *

[ no participant**onlineParticipant ]

room -> Room

[ this.capacity >= # participant + 1 ]

[ some onlineParticipant => room.audioConferencing ]

time -> integer

whiteboard -> Whiteboard

rep -> Rep

enum Month = June | July

abstract Member

c0_Member

abstract Room

capacity -> integer

num -> integer

or whiteboard ?

traditional

electronic

projector ?

computer ?

audioConferencing ?

c0_audioConferencing

Al : Member

Ben : Member

Carl : Member

Dennise : Member

Ed : Member

Fran : Member

Georgia : Member

Hellen : Member

reference

badMeeting : Meeting

[ chair = Al ]

[ participant = Ben, Carl, Ed, Fran, Hellen ]

[ onlineParticipant = Dennise, Fran ]

[ room = E ]

E : Room

[ capacity = 4 ]

[ no audioConferencing ]

keyword

abstract Agenda

mt -> Meeting *

SueAgenda : Agenda

m1 -> M1 ?

m2 -> M2 ?

M1 : Meeting ?

M2 : Meeting ?

[ time = 10 ]

keyword

SueAgenda_c1 : Agenda

m1 -> M1_c1

m2 -> M2_c1 0

M1_c1 : Meeting 1

M2_c1 : Meeting 0

[ time = 10 ]

keyword

SueAgenda_c2 : Agenda

m1 -> M1_c2

m2 -> M2_c2 ?

M1_c2 : Meeting 1

[ time = 11 ]

M2_c2 : Meeting ?

[ time = 10 ]

keyword

SueAgenda_c4 : Agenda

m1 -> M1_c4

M1_c4 : Meeting 1

[ time = 10 ]

M2_c4 : Meeting 0

[ time = 10 ]

keyword

SueAgenda_c6 : Agenda

m1 -> M1_c6

m2 -> M2_c6

M1_c6 : Meeting

[ time = 11 ]

M2_c6 : Meeting

[ time = 10 ]

keyword

Sue : Member

SM : Meeting

[ chair = Sue ]

keyword

SM_BobI : Meeting

[ chair = Sue ]

[ whiteboard = Electronic ]

[ room = R_BobI ]

R_BobI : Room

reference

enum Whiteboard = Electronic | Traditional

c0_Traditional

SM_BobII : Meeting

[ chair = Sue ]

[ whiteboard = Electronic ]

[ room = R_BobII ]

R_BobII : ERoom

reference

abstract ERoom : Room

[ electronic ]

keyword

SM_Charlie : Meeting

[ chair = Sue ]

[ rep = Weekly ]

[ time = 10 ]

keyword

enum Rep = Daily | Weekly

c0_Weekly

SM_CDII : Meeting

[ chair = Sue ]

[ rep = Weekly ]

[ time = 10 ]

[ whiteboard = Electronic ]

[ room = R_BobII ]

keyword

SM_OD : Meeting

[ chair = Sue ]

[ rep = Weekly ]

[ time = 10 ]

[ whiteboard = Electronic ]

[ room = R_OD ]

R_OD : ERoom

[ num = 200 ]