@article{(Open Science Index):https://publications.waset.org/pdf/10004038,
	  title     = {Formal Specification and Description Language and Message Sequence Chart to Model and Validate Session Initiation Protocol Services},
	  author    = {Sa’ed Abed and  Mohammad H. Al Shayeji and  Ovais Ahmed and  Sahel Alouneh},
	  country	= {},
	  institution	= {},
	  abstract     = {Session Initiation Protocol (SIP) is a signaling layer protocol for building, adjusting and ending sessions among participants including Internet conferences, telephone calls and multimedia distribution. SIP facilitates user movement by proxying and forwarding requests to the present location of the user. In this paper, we provide a formal Specification and Description Language (SDL) and Message Sequence Chart (MSC) to model and define the Internet Engineering Task Force (IETF) SIP protocol and its sample services resulted from informal SIP specification. We create an “Abstract User Interface” using case analysis so that can be applied to identify SIP services more explicitly. The issued sample SIP features are then used as case scenarios; they are revised in MSCs format and validated to their corresponding SDL models.},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {10},
	  number    = {3},
	  year      = {2016},
	  pages     = {534 - 542},
	  ee        = {https://publications.waset.org/pdf/10004038},
	  url   	= {https://publications.waset.org/vol/111},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 111, 2016},
	}