Some previously unidentified sources of feature interaction arising in mobile and multimedia telecommunication systems are presented. We discuss how these feature interactions might be managed by feature developers and service providers. The Distributed Feature Composition (DFC) architecture has proven to be a valuable tool for elucidating these feature interactions, and for describing desirabl...

The convergence of telecommunication, cable TV, and broadcast networks towards the Internet technology will enable the provision of emerging multimedia services as well as the integration of rich communication capabilities with TV services. However, enabling efficient delivery of interactive personalized multimedia services with mobility support requires an advanced overlay control framework. T...

This paper shows how an engineer could write a full formal description of the service layer of a telecommunication system, organized according to the Distributed Feature Composition virtual architecture. Descriptions in Promela and Z can be composed using a joint semantics based on the transition-axiom method. The described system can be reasoned about in several ways, including use of tools de...

Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper we present an automatic method for detecting feature interactions in service specifications. This method uses bounded model checking, a SAT-based automatic verification technique.

We employ a choice experiment in order to estimate consumers’ willingness to pay for improvements in mobile services, focusing on 4G upgrades and roaming services. The attributes of an improved mobile service that we investigate in our experiment are: increased mobile internet speed (possible with 4G), unlimited mobile internet use, improved quality (possible with 4G) and unrestrained use in tw...

Feature interaction refers to situations where a combination of different services behaves differently than expected from the single services’ behaviors. In today’s intelligent telecommunication networks, feature interaction is considered a major obstacle to the introduction of new features. We propose a new interaction detection approach which uses bounded model checking. The central idea behi...

3G, processor of 2G services, is a family of standards for mobile telecommunications defined by the International Telecommunication Union [1]. 3G services include wide-area wireless voice telephone, video calls, and wireless data, all in a mobile environment. It allows simultaneous use of speech and data services and higher data rates.3G is defined to facilitate growth, increased bandwidth and ...