as notes. The local PESM diagrams derived for the PatientT, DoctorT, and ReceptionistT composite roles are given in Figures 5.13 through 5.15, respec- tively, in Section 5.5. 5.6.3 Methodology: The Realization Layer At the realization layer, implementations are generated from the design models at the design model layer. In this section, we address the methodological steps per- formed in order to achieve this. Service Delivery Platforms localPESM TeleSvcDsk localPESM assisting registrar PDP1_T_Rule2 PDP2_ar_Rule1 T: ? (RoleReq(assisting registrar), Patient T, TeleSvcDsk) T: ? (RoleReq(registrar), C: online assisted caller, assisting A: PlayRole (assisting registrar) registrar) G: registrationComplete C: online A: PlayRole (registrar) PDP1_T_Rule1: G: registrationComplete T: ? (RoleReg(registrar), PDP2_ar Patient T, TeleSvcDsk) C: onLine PDP1_T A: PlayRole (registrar) G: registrationComplete Registrar Assisting Registrar registrar PDP4_T_Rule1: T: ! (RegistrationOK, TeleSvcDsk, PatientT) localPESM consult C: PatientT is a Patient of Doctor, PDP4_T administrator onLine, DoctorT.AvailableForConsultation, PDP6_ca_Rule1 Patient T.registered T: ! (RegistrationOK, consult administrator, A: ! (RoleReq (consultant), consulter) TeleSvceDsk, DoctorT), C: True, onLine, ! (RoleReq (consulter), Consult consultant.AvailableForConsultation TeleSvceDsk, PatientT), administrator A: ! (RoleReq(adminUser), consult administrator, PlayRole (consult administrator) consultant), PlayRole (administrator) G: svcAccessed G: administrationComplete PDP4_T_Rule2: PDP6_ca_Rule2 T: ! (RegistrationOK, TeleSvcDsk, T: ! (RegistrationOK, consult PDP6_ca ReceptionistT) administrator, External) C: PatientT is a Patient of Doctor, onLine, C: True, onLine, octorT.AvailableForConsultation, consultant. Patient T.registered AvailableForConsultation A: ! (RoleReq (consultant), TeleSvceDsk, A: ! (RoleReq(adminUser), Administrator DoctorT), consult administrator, consultant), ! (RoleReq (consulter), TeleSvceDsk, PlayRole (administrator) PatientT), G: administr