Tutorial on Message Sequence Charts (MSC'96) Ekkart Rudolph Te - PDF document

FORTE/PSTV'96 Tutorial on Message Sequence Charts (MSC'96) Ekkart Rudolph Te chnical University of Munich Institute for Informatics Arcisstr.21 D-80290 München Germany eMail: rudolphe@informatik.tu-muenchen.de Jens Grabowski University of Lübeck Institute for Telematics Ratzeburger Allee 160 D-23538 Lübeck Germany eMail: jens@itm.mu-luebeck.de Peter Graubmann Siemens AG ZFE T SE Otto-Hahn-Ring D-81739 München Germany eMail: gr@zfe.siemens.de Message Sequence Charts

FORTE/PSTV'96 History 1492: Christopher Columbus discovers America SDL-Forum Lisbon, October 1989: First suggestion for MSC standardization CCITT-Meeting in Helsinki, June 1990: MSC standardization decided CCITT -Meeting in Recife, December 1991: Form of Z.120 adjusted to Z.100 Approval within study group CCITT-Meeting in Geneva, May 1992: Closing session of the study period: Approval of recommendation Z.120 ITU-TS Meeting in Geneva, November 1993: Revised version of Z.120 (minor corrections) ITU-TS Meeting in Geneva, October 1994: Formal dynamic semantics definition as Annex B to Z.120: Message Sequence Charts Algebraic Semantics ITU-TS Meeting in Geneva, September 1995: Formal static semantics definition as Annex C to Z.120: Static Semantics of Message Sequence Charts ITU-TS Meeting in Geneva, April 1996: Closing session of the study period: Approval of new recommendation Z.120 Message Sequence Charts

FORTE/PSTV'96 MSC'96 Anders Ek (Telelogic): Associate Rapporteur for Basic Concepts Oystein Haugen (Norwegian Computing Center): Associate Rapporteur for Structural Concepts Sjouke Mauw (Eindhoven University of Technology): Associate Rapporteur for Formal Semantics Ekkart Rudolph (TUM): Rapporteur 8 - 12 January 1996: Editorial Meeting in Munich (TUM) 10 February 1996: 'White Document' -> ITU 10 - 18 April 1996: ITU-Meeting (SG 10) in Geneva 9 - 18 October 1996: World Telecommunication Standardization Conference/ Final Approval Message Sequence Charts

FORTE/PSTV'96 msc CCBS_SERVICE CCBS_Idle REJECT REQUEST DEACTIVAT ION CCBS_Requested ACTIVAT ION CCBS_Activated CANCEL MONITORING CCBS_Free INVOCATION CCBS_Init RELEASE Message Sequence Charts

FORTE/PSTV'96 msc REQUEST User_A Network_A Network_B CCBS_Idle FACILITY Request Request_ReqInd (Request_Inv) check queue and service subscription check_compatibility CCBS_Requested msc REQUEST; inst User_A, Network_A, Network_B; User_A: instance ; Network_A: instance ; Network_B: instance ; all : condition CCBS_Idle; User_A: in Request from env ; out FACILITY (Request_Inv) to Network_A; Network_A: in FACILITY (Request_Inv) from User_A; out Request_ReqInd to Network_B; Network_B: in Request_ReqInd from Network_A; action ' check_queue and service subsription'; action ' check_compatibility'; all : condition CCBS_Requested; User_A: endinstance ; Network_A: endinstance ; Network_B: endinstance ; endmsc ; Message Sequence Charts

FORTE/PSTV'96 msc REJECT User_A Network_A Network_B CCBS_Requested CCBS_Not_Activated Reject FACILITY (Reject) CCBS_Idle msc ACTIVAT ION Network_A User_A Network_B CCBS_Requested CCBS_Activated FACILITY Request_RespConf (Request_RR) add to queue duration shall T- CCBS2 be between 15 and 10 minutes CCBS_Activated Message Sequence Charts

FORTE/PSTV'96 msc MONITORING CCBS_Activated USER_B_Busy monitoring SUSPENSION of user A REPL Y_B_BUSY CHECK_ST ATUS_B REPLY_B_FREE CCBS_Await_Status User_A_Busy REPLY_ B_STILL_FREE REPLY_A_BUSY Status_Check_A REPLY_ A_FREE recall User_A_Free CCBS_Free Message Sequence Charts

FORTE/PSTV'96 msc CHECK_STA TUS_B Network_B CCBS_activated Start_CCBS_Processing from basic call reserve B-channel to status STAT US(request) request process msc REPLY_B_FREE msc REPLY_B_BUSY Network_B Network_B STAT US from status STAT US request process (confirm_free) from status (confirm_busy) request process User_B_free release T_CSSB4 B-channel reservation STAT US(Request) to status request process User_B_busy CCBS_Aw ait_Status Message Sequence Charts

FORTE/PSTV'96 msc REPLY_B_STILL_FREE User_A Network_A Network_B STAT US from status request process (confirm_free) Remote_User_Free User_B_Free T_CCBS1 FACILITY (StatusRequest_Inv) Status_Check_A msc REPLY_A_FREE User_A Network_A Status_Check_A FACILITY(StatusRequest_free) T_CCBS1 Remote_User_Free FACILITY(RemoteUserFree) T_CCBS3 User_A_Free Message Sequence Charts

FORTE/PSTV'96 msc REPLY_A_BUSY User_A Network_A Network_B Status_Check_A alt T_CCBS1 FACILITY (StatusRequest_busy) T_CCBS1 FACILITY Suspend (BFree_Inv) suspend request in queue release B_channel reservation User_A_Busy Message Sequence Charts

FORTE/PSTV'96 msc REPLY_A_BUSY_ALT1 User_A Network_A Network_B Status_Check_A alt FACILITY FACILITY T_CCBS1 g1 (StatusRequest_busy) (StatusRequest_busy) FACILITY g1 (StatusRequest_busy) T_CCBS1 FACILITY Suspend (BFree_Inv) suspend request in queue release B_channel reservation User_A_Busy Message Sequence Charts

FORTE/PSTV'96 msc REPLY_A_BUSY_ALT2 User_A Network_A Network_B Status_Check_A alt T_CCBS1 FACILITY FACILITY (StatusRequest_busy) T_CCBS1 (StatusRequest_busy) g1 FACILITY Suspend (BFree_Inv) suspend request in queue release B_channel reservation User_A_Busy Message Sequence Charts

FORTE/PSTV'96 msc SUSPENSION Network_B User_A Network_A User_A_Busy B_channel_released FACILITY loop<0,inf> (StatusRequest_Inv) T-CCBS1 alt T-CCBS1 FACILITY (StatusRequest_busy) T-CCBS1 FACILITY T-CCBS1 (StatusRequest_Inv) FACILITY (StatusRequest_free) T-CCBS1 RESUME_Reqind CCBS_Activated Message Sequence Charts

FORTE/PSTV'96 msc I NVOCATION User_A Network_A Network_B CCBS_Free Recall SETUP(Call_Inv) T_CCBS3 Call(Call_Inv) CCBS_Init msc RELEASE User_A Network_A Network_B CCBS_ Init CANCEL_Reqind remove request Release_CCBS_ID from queue release B-channel reservation CCBS_Idle Message Sequence Charts

FORTE/PSTV'96 msc CANCEL User_A Network_A Network_B CCBS_ Free alt Deactivate_request FACILITY (Deaactivate_Inv) FACILITY Deactivate_confirm (Deactivate_RR) T-CCBS3 Release_CCBS_ID CCBS_Idle Message Sequence Charts

FORTE/PSTV'96 msc DEACTIVATION User_A Network_A Network_B CCBS_Requested, CCBS_Activated, CCBS_Free Deactivate_Req FACILITY (Deactivate_Inv) CANCEL_Reqind Release_CCSB_ID Deactivate_Conf remove from queue release B_channel CCBS_idle msc RELEASE_CCBS_ID User_A Network_A CCBS_Deactivation_Requested FACILITY (Deactivate_RR) opt option valid if deactivation is caused by user A CANCEL_Reqind TCCBS2 TCCBS3 release CCBS reference release CCBS reference Message Sequence Charts

FORTE/PSTV'96 msc TIME_SUPERVISION CONNECTION_SETUP TIMER msc CONNECTION_SETUP msc TIMER User_B Network_B User_B off_hook User_B_Free digit T-CCBS4 seizure_int STAT US(req) STAT US ack (confirm_busy) answer CCBS_Idle connection Message Sequence Charts

FORTE/PSTV'96 msc BUSY_AGAIN User_B Network_B User_B_Free off_hook T_CSSB4 digit seizure_int status_request ack status_busy answer connection msc ABSTRACTION CCBS_destination CCBS_user CCBS_Free CCBS_recall CCBS_call CCBS_Init Message Sequence Charts

FORTE/PSTV'96 msc DEACTIVATION_DECOMP User_A Network_B decomposed as USER_A_DECOMP CCBS_Requested, CCBS_Activated, CCBS_Free Deactivate_Req CANCEL_Reqind Deactivate_Conf remove from queue release B_channel CCBS_idle msc USER_A_DECOMP User_A Network_A CCBS_Requested, CCBS_Activated, CCBS_Free Deactivate_Req FACILITY (Deactivate_Inv) CANCEL_Reqind Release_CCSB_ID Deactivate_Conf CCSB_Idle Message Sequence Charts

FORTE/PSTV'96 msc MONITORING_ERROR_EXIT CCBS_Activated USER_B_Busy monitoring SUSPENSION of user A CHECK_ST ATUS User_A_Busy User_A_Free CCBS_Free Message Sequence Charts

FORTE/PSTV'96 msc CHECK_STA TUS CHECK_STATU S_B REPLY_B_FREE CCBS_Await_Status REPLY_ B_STILL_FREE REPL Y_B_BUSY Status_Check_A USER_B_Busy REPL Y_A_BUSY REPLY_ A_FREE recall User_A_Busy User_A_Free Message Sequence Charts

FORTE/PSTV'96 msc MONITORING_ERROR_EXIT2 CCBS_Activated USER_B_Busy monitoring SUSPENSION of user A CHECK_STATU S_B REPL Y_B_BUSY REPLY_ B_FREE CCBS_Await_Status User_A_Busy REPL Y_B_STILL_FREE2 Status_Check_A CHECK_STA TUS_A User_A_Free CCBS_Free Message Sequence Charts

FORTE/PSTV'96 msc CHECK_STA TUS_A Network_A Network_B User_A Status_Check_A T_CCBS1 FACILITY (StatusRequest_Inv) exc alt T_CCBS1 FACILITY (StatusRequest_busy) T_CCBS1 FACILITY Suspend (BFree_Inv) suspend request in queue release B_channel reservation User_A_BUSY FACILITY (StatusRequest_free) T_CCBS1 Remote_User_Free FACILITY (RemoteUserFree) T_CCBS3 User_A_Free Message Sequence Charts

FORTE/PSTV'96 msc REPLY_B_STILL_FREE2 User_A Network_A Network_B STAT US from status request process (confirm_free) Remote_User_Free User_B_Free Status_Check_A Message Sequence Charts