Abstract
Cress (Chisel Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of services. It is applicable wherever a system consists of base functionality to which may be added selected services. The Cress notation is introduced for root diagrams, service diagrams, and rules governing their behaviour. It is shown how Cress can represent services in SIP (Session Initiation Protocol). For analysis, service diagrams can be automatically translated into Lotos (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language). For scripting, translation is into CPL (Call Processing Language) or CGI (Common Gateway Interface). The structure of the portable Cress toolset is explained.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A. V. Aho, S. Gallagher, N. D. Griffeth, C. R. Schell, and D. F. Swayne. SCF3/Sculptor with Chisel: Requirements engineering for communications services. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 45–63. IOS Press, Amsterdam, Netherlands, Sept. 1998.
M. Calder and C. E. Shankland. A symbolic semantics and bisimulation for full Lotos. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV), pages 184–200. Kluwer Academic Publishers, London, UK, Sept. 2001.
E. J. Cameron, N. D. Griffeth, Y.-J. Lin, M. E. Nilson, W. K. Schnure, and H. Velthuijsen. A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, pages 64–69, Mar. 1993.
B. El Ouahidi and M. Bouhdadi. Internet/telecommunications integration: Towards INcapable SIP networks. Networks and Distributed Systems (Réseaux et Systèmes Répartis), 12(2):259–280, Oct. 2000.
N. D. Griffeth, R. B. Blumenthal, J.-C. Gregoire, and T. Ohta. Feature interaction detection contest. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 327–359. IOS Press, Amsterdam, Netherlands, Sept. 1998.
ITU. Packet-Based Multimedia Communication Systems. ITU-T H.323. International Telecommunications Union, Geneva, Switzerland, 2000.
Ji He and K. J. Turner. Protocol-inspired hardware testing. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Proc. Testing Communicating Systems XII, pages 131–147, London, UK, Sept. 1999. Kluwer Academic Publishers.
J. Lennox and H. Schulzrinne, editors. CPL: A Language for User Control of Internet Telephony Services. Internet Draft CPL-01. The Internet Society, NewYork, USA, Mar. 2000.
J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnson, J. Peterson, R. Sparks, M. Handley, and E. Schooler, editors. SIP: Session Initiation Protocol. RFC 2543 bis 09. The Internet Society, NewYork, USA, Feb. 2002.
H. Sinnreich and A. B. Johnston. Internet Communications using SIP. JohnWiley and Sons, Chichester, UK, 2001.
K. J. Turner. Validating architectural feature descriptions using Lotos. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 247–261, Amsterdam, Netherlands, Sept. 1998. IOS Press.
K. J. Turner. Formalising the Chisel feature notation. In M. H. Calder and E. H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 241–256, Amsterdam, Netherlands, May 2000. IOS Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turner, K.J. (2002). Modelling SIP Services Using Cress . In: Peled, D.A., Vardi, M.Y. (eds) Formal Techniques for Networked and Distributed Sytems — FORTE 2002. FORTE 2002. Lecture Notes in Computer Science, vol 2529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36135-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-36135-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00141-6
Online ISBN: 978-3-540-36135-0
eBook Packages: Springer Book Archive