Use-Case FormalizationCALENDARIUM SD “Insert Appointment” (extract)

: B_Calen-

darium

c : Calen-

darium

User:

Class

Authorization :

Class

ca :

Calendar

pa :

User

login(user,pwd)

login(user,pwd)

checkAuthorization (user, pa, “write“)

forall pa in partic

checkCollision (bD, eD)

forall pa in partic

checkCollision (bD, eD)

ok

authorized

storeAppt

(partic,appt)

ok

ok

new appt

ok

login(...)

[authorized =

false]

[ok = false]

?

scope of pa?

Previous slide

Next slide

Back to first slide

View graphic version