Bochmann, G.,Chan, Ken Yat-Wan2013-11-072013-11-0720032003Source: Masters Abstracts International, Volume: 42-06, page: 2283.http://hdl.handle.net/10393/26457http://dx.doi.org/10.20381/ruor-18194This thesis describes a practical formal approach to designing Internet (IP) Telephony services with fewer feature interactions using SDL and Message Sequence Charts (MSC). Feature interactions are undesirable side effects caused by interactions between features and/or their environment. These undesirable side effects are known to affect the construction of reliable software systems. The IETF 'Session Initiation Protocol' (SIP) is chosen as the IP telephony signaling protocol for the case study of this thesis. Although IP Telephony services do not have some of the traditional feature interactions, the service designers are confronted with new feature interaction problems. We have proposed an extension to the classical feature interaction classification system. The main contribution of this thesis is our formal SDL model of SIP and its sample services that are derived from informal SIP specification. We apply use case analysis to some informal extent in our design, and specify SIP services more precisely by creating an "Abstract User interface". (Abstract shortened by UMI.)101 p.enEngineering, Civil.Engineering, Electronics and Electrical.Thesis