You are on page 1of 21

stm [Actor] User [statechart_2]

User_Teaching
resDeliveryDelayed/DeliveryState="D
eliveryDelayed"
reqLogingn to !Uc_ToDeliver
demandLogingn
reqDelivery"s#!!ly$ room% to !Uc_ToDeliver
resLogingn
User_&ece!tionning
resDelivery'ade/De
liveryState="Deliver
y'ade"
tm"()))%
reqLoging*#t to !Uc_ToDeliver
demandLoging*#t
resLoging*#t/DeliveryState=""
statechart_2
Page 1 of 21
stm [Actor] Data+ase [statechart_)]
Data+ase_&#nning
Data+ase_U!dating
req&ecord/s#!!ly_req#ested=!arams,-s#!!ly.
room_req#ested=!arams,-room.
tm"/())%
0losingS#!!ly
Data+ase_&eading
reqS#!!lyDemand
resS#!!lyDemand"s#!!ly_req#ested$ room_req#ested% to !Uc_ToS#!!ly
statechart_0
Page 2 of 21
stm [Actor] 1atrol2ot [statechart_)]
n_Use
Sto!!ed
'ode3oTo3oal
3oingTo
&eactions
ArrivedAt req3oTo3oal
4ailedTo3etTo
tm/
req3oTo3oal
res3oTo3oal to !Uc_ToS#!!ly
req3oTo3oal/2attery-Lo52attery.
reqSto!!ed
'ode0harging
3oToDoc6
UnDoc6ing
tm"7)))%
DrivingntoDoc6
tm"2)))%
Doc6ing
n0harge
&eactions
tm"())%
tm"/)))%
[2attery==2)]/Lo52att=8alse
[2attery==Lo52attery]/Lo52att=tr#e
*#t*8Service
&eq*88
nitialisation
&eq*n
tm"2)))%
Page 3 of 21
stm [Actor] 1ersonnel [statechart_)]
1ersonnel_9or6ing
&eq#est:alidation
reqn8orm
&eq#estS#!!lying
reqS#!!ly
resn8orm to !Uc_ToS#!!ly
resS#!!ly to !Uc_ToS#!!ly
statechart_0
Page 4 of 21
stm [2loc6] Uc_ToDeliver [statechart_)]
System_n_Use
System_Threating_Logingn
&eactions
Loging"%
reqLogingn
resLogingn to !User
tm"/)))%
req&ecord"s#!!ly_req#ested$ room_req#ested% to !Data+ase
reqDelivery/s#!!ly_req#ested=!arams,-s#!!ly.
room_req#ested=!arams,-room.
System_9aiting
&eactions
delivery9aiting"%
resDelivery'ade to !User
resDelivery1osition
resDeliveryDelayed to !User
resLo52attery
System_Threating_Loging*#t
&eactions
Loging"%
reqLoging*#t
reqLoging*#t
resLoging*#t to !User
tm"/)))%
Page 5 of 21
act [Activity :ie5] To Deliver2lac62o;:ie5 [activity_)]
Loging
User User
deliveryWaiting
PatrolBot PatrolBot
deliveryDelayed
MessageAction
User User
deliveryMade
MessageAction
User User
Loging
User User
deliveryRequest
MessageAction
Database
User
Database
User
[delivery_'ade]
[delivery_Delayed]
activity_0
Page 6 of 21
i+d [1ac6age] ToDeliver16g [2D_To Deliver]
itsUc_ToDeliver:Uc_ToDeliver
/
*!erations
delivery9aiting"%<void
Loging"%<void
reqDelivery"s#!!ly<char=$room<>>>
resDelivery1osition"%
resLo52attery"%
reqLogingn"%
reqLoging*#t"%
1orts
?standard1ort@ !Data+ase
?standard1ort@ !1atrol2ot
?standard1ort@ !User
!1atrol2ot
!Data+ase
!User
!1atrol2ot
!Data+ase
!User
itsUser:User
/
*!erations
resDelivery'ade"%
resDeliveryDelayed"%
resLogingn"%
resLoging*#t"%
Attri+#tes
s#!!ly<char=="&ed1en"
room<char=="S//2"
DeliveryState<char=
1orts
?standard1ort@ !Uc_ToDeliver
!Uc_ToDeliver !Uc_ToDeliver
itsDatabase:Database
/
*!erations
req&ecord"s#!!ly<char=$room<c>>>
1orts
?standard1ort@ !Uc_ToDeliver
?standard1ort@ !Uc_ToS#!!ly
!Uc_ToS#!!ly
!Uc_ToDeliver
!Uc_ToS#!!ly
!Uc_ToDeliver
itsPatrolBot:(U)PatrolBot_bis
/
*!erations
1orts
"U%!Uc_ToDeliver "U%!Uc_ToDeliver
IBD_To Deliver
Page 7 of 21
sd [1ac6age] ToDeliver22Scenarios16g [S0/_Delivery'ade]
<User <Uc_ToDeliver
delivery'ade
Loging"%
resLogingn"%
reqDelivery"s#!!ly$ room%
delivery9aiting"%
resDelivery'ade"%
reqLoging*#t"%
Loging"%
resLoging*#t"%
reqLogingn"%
<Data+ase
req&ecord"s#!!ly$ room%
<1atrol2ot
resDelivery1osition"%
SC1_DeliveryMade
Page 8 of 21
sd [1ac6age] ToDeliver22Scenarios16g [S0/_DeliveryDelayed]
<User <Uc_ToDeliver
deliveryDelayed
Loging"%
resLogingn"%
reqDelivery"s#!!ly$ room%
delivery9aiting"%
resDeliveryDelayed"%
reqLoging*#t"%
Loging"%
resLoging*#t"%
reqLogingn"%
<Data+ase
req&ecord"s#!!ly$ room%
<1atrol2ot
resLo52attery"%
SC1_DeliveryDelayed
Page 9 of 21
stm [2loc6] Uc_ToS#!!ly [statechart_(]
Delivery_5aiting
&eactions
Delivery_9aiting"%
reqS#!!lyDemand to !Data+ase
S#!!ly_9aiting
&eactions
S#!!ly_5aiting"%
System_9aiting
&eactions
System_5aiting"%
reqS#!!ly to !1ersonnel
res3oTo3oal
req4ree1atrol+ot"% to !Data+ase
res3oTo3oal
0losingS#!!ly to !Data+ase
tm"/)))%
reqn8orm""&ed1en"% to !1ersonnel
resS#!!lyDemand/s#!!ly_req#ested=!arams,-s#!!ly.
room_req#ested=!arams,-room.
req&eq#isition"% to !Data+ase
resn8orm
req3oTo3oal"% to !1atrol2ot
tm"/)))%
req3oTo3oal""S//)"% to !1atrol2ot
resS#!!ly
statechart_5
Page 10 of 21
act [Activity :ie5] To S#!!ly2lac62o;:ie5 [activity_)]
SupplyRequest
MessageAction
Database Database
SupplyMade
MessageAction
Database Database
PatrolbotRequisition-Trac
e
MessageAction Database Database
Inform-alidation
MessageAction
Personnel Personnel
!o To Personnel
MessageAction
PatrolBot PatrolBot
Demand for supply
MessageAction
Personnel Personnel
Supply_waiting
Personnel Personnel
!o to room
MessageAction
PatrolBot PatrolBot
Delivery_Wai ting
PatrolBot PatrolBot
System_waiting
PatrolBot PatrolBot
#reePatrolbot
MessageAction
Database Database
'oving
'oving
activity_0
Page 11 of 21
i+d [1ac6age] ToS#!!ly16g [2D_To S#!!ly]
itsUc_ToSupply:Uc_ToSupply
/
*!erations
TreatmentS#!!ly"%<void
resS#!!lyDemand"s#!!ly<char=>>>
System_5aiting"%<void
Attri+#tes
room_req#ested<char=="S//)"
1orts
?standard1ort@ !Data+ase
?standard1ort@ !1atrol2ot
!1atrol2ot
!1ersonnel
!Data+ase !1atrol2ot
!1ersonnel
!Data+ase
itsPersonnel:Personnel
/
*!erations
reqn8orm"s#!!ly<char=%
reqS#!!ly"%
Attri+#tes
1orts
?standard1ort@ !Uc_ToS#!!ly
!Uc_ToS#!!ly !Uc_ToS#!!ly
itsDatabase:Database
/
*!erations
req&ecord"s#!!ly<char=$room<c>>>
Attri+#tes
s#!!ly_req#ested<char=="&ed1>>>
room_req#ested<char=="S//)"
1orts
?standard1ort@ !Uc_ToDeliver
?standard1ort@ !Uc_ToS#!!ly
!Uc_ToS#!!ly
!Uc_ToDeliver
!Uc_ToS#!!ly
!Uc_ToDeliver
itsPatrolBot:PatrolBot
/
*!erations
reqSto!!ed"%
req3oTo3oal"room<char=="S//>>>
Attri+#tes
Lo52att<+ool
2attery<int=2)
1orts
?standard1ort@ !Uc_ToS#!!ly
!Uc_ToS#!!ly !Uc_ToS#!!ly
IBD_To Supply
Page 12 of 21
sd [1ac6age] ToS#!!ly22Scenarios16g [S02]
<1ersonnel <Uc_ToS#!!ly
resn8orm"%
reqn8orm"s#!!ly%
System_5aiting"%
reqS#!!ly"%
resS#!!ly"%
S#!!ly_5aiting"%
Delivery_9aiting"%
<Data+ase
resS#!!lyDemand"s#!!ly$ room%
reqS#!!lyDemand"%
req&eq#isition"&o+otState%
req4ree1atrol+ot"&o+otState%
0losingS#!!ly"%
<1atrol2ot
req3oTo3oal"room%
res3oTo3oal"%
req3oTo3oal"room%
res3oTo3oal"%
SC2
Page 13 of 21
+dd [1ac6age] Architect#ralDesign16g [+loc6 de8inition diagram]
ServiceSystem
?2loc6@
:al#es
*!erations
User
/
/
1atrol2ot
/
/
Data+ase
/
/
UserHMI
?2loc6@
:al#es
*!erations
/
PersonnelHMI
?2loc6@
:al#es
*!erations
/
ServiceSystemContoller
?2loc6@
:al#es
*!erations
/
PatrolBotContoller
?2loc6@
:al#es
*!erations
/
DataBaseController
?2loc6@
:al#es
*!erations
/
1ersonnel
/ /
block definition diagram
Page 14 of 21
i+d [1ac6age] Architect#ralDesign16g [internal +loc6 diagram]
itsUser:User
/
!Uc_ToDeliver !Uc_ToDeliver
itsDatabase:Database
/
!Uc_ToS#!!ly
!Uc_ToDeliver
!Uc_ToS#!!ly
!Uc_ToDeliver
itsPersonnel:Personnel
/
!Uc_ToS#!!ly !Uc_ToS#!!ly
itsServiceSystem:ServiceSystem
/
1arts
itsData2ase0ontroller<Data2ase0ontroller
its1atrol2ot0ontoller<1atrol2ot0ontoller
its1ersonnelA'<1ersonnelA'
itsServiceSystem0ontoller<ServiceSystem0>>>
itsUserA'<UserA'
itsPatrolBot:PatrolBot
/
!Uc_ToS#!!ly !Uc_ToS#!!ly
internal block diagram
Page 15 of 21
act [Activity :ie5] To Deliver9hite2o;:ie5 [activity_)]
Part itsPatrolBotContoller:PatrolBotContoller
deliveryWaiti ng
PatrolBot
Part itsDataBaseController:DataBaseController
$riteInDatabase
MessageAction
Database
Part itsServiceSystemContoller:ServiceSystemContoller
SystemTreatingRequest
Part itsUserHMI:UserHMI
Loging
User
deliveryDelayed
MessageAction
User
deliveryMade
MessageAction
User
Loging
User
[delivery_'ade] [delivery_Delayed]
Request#orDelivery
MessageAction
User
PatrolBot
Database
User
User
User
User
User
Page 16 of 21
act [Activity :ie5] To S#!!ly9hite2o;:ie5 [activity_)]
Part itsPatrolBotContoller:PatrolBotContoller
!o To Personnel
MessageAction
!o to room
MessageAction
Part itsDataBaseController:DataBaseController
SupplyRequest
MessageAction
Database
SupplyMade
MessageAction
Database
PatrolbotRequisition-Tra
MessageAction
Database
#reePatrolbot
MessageAction Database
Part itsServiceSystemContoller:ServiceSystemContoller
Demand for supply
MessageAction
Personnel
Supply_waiting
Personnel
Delivery_Waiting
PatrolBot
System_waiting
PatrolBot
Part itsPersonnelHMI:PersonnelHMI
Inform-alidation
MessageAction
Personnel
Database
Database
Database
Database
Personnel
Personnel
PatrolBot
PatrolBot
Personnel
Page 17 of 21
req [1ac6age] System&eq#irements16g [System_&eq#irements_Diagram]
System'ission_&eq#irement
?2#siness@
D = Sys)
The req#ested consomma+les are delivered a#tonomo#sly +y 1atrol2ot to any A1L #ser req#esting the service
S#!!ly_&eq#irement
?4#nctional@
D = SU)
The req#ested consomma+les are s#!!lied +y the
assigned !ersonnel
?trace@
Delivery_&eq#irement
?4#nctional@
D = DB)
The s#!!lied consomma+les are delivered to the
req#esting #ser
?trace@
Availa+ility_&eq#irement
?4#nctional@
D = SU/
The consomma+les availa+ility is dis!layed to the
req#esting !ersonnel 8rom the A1L data+ase
?trace@
satis"y
Aandling_&eq#irement
?4#nctional@
D = SU2
The availa+le consomma+les are handled 5ithin no
more than 8i8teen min#tes
#perationality_$e%uirement
&unctional
D = DB/
The consomma+les Con the 8lyC delivery is dis!layed
8rom the A1L data+ase
?trace@
satis"y
A#tonomy_&eq#irement
?0onstraint@
D = 1)
1atrol2ot !er8orms the req#ested handling service to
the req#esting User 5ithin the A1L area
?re8ine@
?trace@
Doc6ing0ontrol_&eq#irement
?Dys8#nctionnal@
D = SU2/
The control so8t5are cannot +ring the ro+ot to the
doc6ing station 8or +attery recharge at any time
satis"y
'erive
System_Requirements_Diagram
Page 18 of 21
#c [1ac6age] Use0aseDiagrams16g [U0D_1roDect_32]
Service System
To Deliver
To Supply
User
())*
+,(
Database
+,(
(
(
+,(
Personnel
())*
+,(
Consommable
*
*
+,(
+,(
PatrolBot
(
+,(
(
( (
+,(
UCD_Project_G2I
Page 19 of 21
req [1ac6age] Sta6eholders&eq#irements16g [System'ission_&eq#irements_Diagram]
System'ission_&eq#irement
?2#siness@
D = Sys)
The req#ested consomma+les are delivered a#tonomo#sly +y 1atrol2ot to any A1L #ser req#esting
the service
SystemMission_Requirements_Diagram
Page 20 of 21
1anel Diagram [1roDect] 1roDect_32_+is/ [!aneldiagram_U0_ToDeliver]
supply_requested
room_requested
DataBase
<<NO BINDING>> <<NO BINDING>>
Push
(U)positionDelivery
PatrolBot
DeliveryState
Push
demandLogingIn
Push
demandLogingOut
supply
room
User
System - UC To_Deliver
System_In_Use
System_Threating_LogingIn
System_Waiting
System_Threating_LogingOut
Page 21 of 21

You might also like