Modeling IETF session initiation protocol and its services in SDL

DOI10.1007/3-540-45075-0_21MaRDI QIDQ4450992zbMATH OpenFDO

Authors Ken Y. Chan, Gregor von Bochmann

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2708/27080352.htm

zbMATH Keywords

Design MethodologyInternet TelephonyMSCSDLSIPSoftware SpecificationTelelogicUMLUse Case

Mathematics Subject Classification ID

Network protocols (68M12) Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Validation of SIP/H.323 interworking using SDL/MSC
• Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
• Modelling and analysing the SDL description of the ISDN-DSS1 protocol
• Implementation of UMTS protocol layers for the radio access interface
• Formalizing graphical service descriptions using SDL

Cited in

(4)

• Modeling and performance evaluation of transport protocols for firewall control
• Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
• Modelling SIP services using CRESS
• Validation of SIP/H.323 interworking using SDL/MSC

This page was built for publication: Modeling IETF session initiation protocol and its services in SDL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450992)