Modelling SIP services using CRESS

DOI10.1007/3-540-36135-9_11MaRDI QIDQ4422076zbMATH OpenFDO

Authors Kenneth J. Turner

Publication date 3 September 2003

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/2529/25290162.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Recommendations

• Formalizing graphical service descriptions using SDL
• Algebraic Methodology and Software Technology
• Structuring telecommunications features
• Modeling IETF session initiation protocol and its services in SDL
• Managing feature interactions between distributed SIP call control services

Cited in

(4)

• Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
• Formalizing graphical service descriptions using SDL
• Structuring telecommunications features
• Algebraic Methodology and Software Technology

This page was built for publication: Modelling SIP services using CRESS

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