%0 Journal Article
	%A Sa’ed Abed and  Mohammad H. Al Shayeji and  Ovais Ahmed and  Sahel Alouneh
	%D 2016
	%J International Journal of Computer and Information Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 111, 2016
	%T Formal Specification and Description Language and Message Sequence Chart to Model and Validate Session Initiation Protocol Services
	%U https://publications.waset.org/pdf/10004038
	%V 111
	%X 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.
	%P 534 - 542