nd local policies for the consulter subcomposite role are derived from the consultation PESM and policies. At PDP1_P, each of the two policy rules trigger PatientT as initiating role and therefore it is required that role request messages are sent to the TeleSvcDsk and ReceptionistT composite roles. The local PESM diagram for the DoctorT composite role is shown in Figure 5.14, and the local PESM diagram for the ReceptionistT composite role is shown in Figure 5.15. The specifications for the TeleSvcDsk composite role, not shown here, may be derived similarly from the global PESM diagrams in Figures 5.7 through 5.9. localPESM Patient PDP1_P_Rule2 T: ? (Request registration, External, PatientT) localPESM PDP1_P_Rulel : C: PatientT is a Patient of T:? (Request registration, External, assisted caller Doctor, NeedsAssistance, PatientT) PDP2 ac ReceptionistT.onDuty, C: Patient is a Patient of Doctor, PDP2 ac Rule1 TeleSvcDsk.online AssistanceNotNeeded T: ? (Request registration, A: ! (RoleReq(reg assister), assisting registrar.onLine External, assisted caller) Patient T, ReceptionistT), A: ! (RoleReq(registrar), Patient T, C: True, NeedsAssistance, ! (RoleReq(assisting TeleSvcDsk), Reg assister.onDuty Caller registrar), Patient T, PlayRole (registeree) A: ! (RoleReq(callee), TeleSvcDsk, assisted caller, G: registered PlayRole (assisted caller) Reg assister), G: registeredByAssister PlayRole (caller) PDP1 P G: TalkedTo (Callee) localPESM Registeree Assisted caller consulter PDP5 cr PDP5_cr_Rule1 PDP4 P Rule1 : T: ? (RoleReq(callee), T:? (RoleReq(consulter), PDP4_P consultant, TeleSvcDsk, PatientT) consulter) C: registered C: registered Callee A: PlayRole (consulter) Consulter A: PlayRole (callee) G: consulted G: TalkedTo (Callee) Figure 5.13 Local PESM diagram for the PatientT composite role. Service Delivery Platforms localPESM DoctorT localPESM consultant PDP6_ct_Rule1 PDP4_D_Rule1: PDP5_ct_Rule1 T: ? RoleReq (adminUser), T: ? (RoleReq (consultant), T: ? (StartConsultation, consult consult administrator, TeleSvcDsk, Do