User Agent B Client.pdf

1Methods for Designing SIP Services in SDL with Fewer Feature Interactions Presented by: Ken Y. Chan School of Information Technology and Engineering, University of Ottawa Feature Interactions Workshop 2003 Date: Wed, June 11, 2003 2Outline Motivations Overview of SIP FI SDL Model of SIP and its services Simulation, Verification Validation Extended FI taxonomy Detecting Preventing SIP FI’s using Tau New FIs in SIP Conclusion Future Works 3Motivations No Formal Service Specification of SIP (IETF RFC 2543 3261) - To improve existing RFC and drafts. Feasibility of SDL/MSC (Tau) tools to model IETF signaling protocols. Leverage POTS FIs to prevent FIs in SIP New Feature Interactions in SIP 4Overview of SIP User Agent A Client Server User Agent B Client Server Proxy Y Client Server Proxy X Client Server Response (r1,r2,r3) Request (q1, q2, q3) Ack (a1, a2, a3) q1,a1 r1r3 r2 q2,a2 q3,a3 [back-to-back/regular] User Agent (Client Server) Stateful/Stateless Proxy Message Type: Request, Response, Acknowledge, others. 5Sample SIP Message Headers Significant header fields: Request-URI, Method, Response Code,From, To, Contact(s), Via(s), Record- Route(s),Call-Id, CSeq, Content- type SDP body may contain feature commands and parameters INVITE sip:ken@ee.uottawa.ca SIP/2.0 Via: SIP/2.0/UDP gtwy1.uottawa.ca;branch=8348 ;maddr=54;ttl=16 Via: SIP/2.0/UDP gtwy.ee.uottawa.ca Record-Route: gtwy.ee.uottawa.ca From: Bill Gate sip:bill@M To: Ken Chan sip:ken@uottawa.ca Contact: Ken Chan sip:ken@site.uottawa.ca Call-ID: 56258002189@site.uottawa.ca CSeq: 1 INVITE Subject: SIP will be discussed, too Content-Type: application/sdp Content-Length: 187 v=0 o=bill2353687637 IN IP4 s=RTP Audio i=Discussion of .Net c=IN IP4 /127 t=0 0 m=audio 3456 RTP/AVP 0 OK 200 SIP/2.0 Via:SIP/2.0/UDP gtwy1.uottawa.ca;branch=8348 ;maddr=54;ttl=16 Record-Route: gtwy.ee.uottawa.ca From: Bill Gate sip:bill@M To: Ken Chan sip:ken@uottawa.ca Contact: Ken Chan sip:ken@site.uottaw