Advertisement

Modelling SIP Services Using Cress

  • Kenneth J. Turner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2529)

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.

Keywords

Target Language Session Initiation Protocol User Agent Protocol Message Event Node 
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

  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    ITU. Packet-Based Multimedia Communication Systems. ITU-T H.323. International Telecommunications Union, Geneva, Switzerland, 2000.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    H. Sinnreich and A. B. Johnston. Internet Communications using SIP. JohnWiley and Sons, Chichester, UK, 2001.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Kenneth J. Turner
    • 1
  1. 1.Computing Science and MathematicsUniversity of StirlingScotland

Personalised recommendations