What use are formal design and analysis methods to telecommunications services?

Have formal methods failed, or will they fail, to help us solve problems of detecting and resolving of feature interactions in telecommunications software? This paper contains SWOT(Strengths, Weaknesses, Opportunities and Threats) analysis of the use of formula design and analysis methods in feature interaction analysis and makes some suggestions for future research

Modelling legacy telecommunications switching systems for interaction analysis

No abstract avaliabl

Hybrid solutions to the feature interaction problem

In this paper we assume a competitive marketplace where the features are developed by different enterprises, which cannot or will not exchange information. We present a classification of feature interaction in this setting and introduce an on-line technique which serves as a basis for the two novel <i>hybrid</i> approaches presented. The approaches are hybrid as they are neither strictly off-line nor on-line, but combine aspects of both. The two approaches address different kinds of feature interactions, and thus are complimentary. Together they provide a complete solution by addressing interaction detection and resolution. We illustrate the techniques within the communication networks domain

Modelling and analysing user views of telecommunications services

User views of calls are modelled by behaviour trees, which are synchronised to form a network of users. High level presentations of the models are given using process algebra and an explicit theory of features, including precedences. These precedences abstractly encapsulate the possible state spaces which result from different combinations of features. The high level presentation supports incremental development of features and testing and experimentation through animation. Interactions which are not detected during the experimentation phase may be found through static analysis of the high level presentation, through dynamic analysis of the under-lying low level transition system, and through verification of temporal properties through model-checking. In each case, interactions are resolved through manipulation of the feature precedences

Engineering of interworking TINA-based telecommunication services

This paper describes a Service Creation approach being developed in the EU funded ACTS TOSCA (TINA Open Service Creation Architecture) project to rapidly develop validated TINA based multimedia telecommunications services. The approach is based around object-oriented software frameworks in SDL which are specialized towards services by means of graphical paradigm tools. Further, in TOSCA, the need for service interworking across service provider domains via federation has been recognized in order to allow users to join service sessions offered by providers they are not customers of. However, service interworking may cause undesired behavior - the so called service interaction phenomenon. This paper focuses on this issue and the underlying technology of the service creation approach with emphasis on how service federation has been implemented

Telecommunications 2000: Strategy, HR Practices and Performance

This report constitutes the first benchmarking survey of business and human resource practices among a nationally representative sample of workplaces in the broadly defined telecommunications industry that includes wireline, wireless, cable, and internet providers. It grows out of a multi-year study of organizational change in the industry, and is based on extensive field study, site visits, interviews, and surveys conducted by research teams at Cornell and Rutgers Universities. Managers at 577 establishments across the country gave generously of their time during a lengthy telephone survey. The study was made possible through a generous grant by the Alfred P. Sloan Foundation

Telecommunications 2000 Strategy, HR Practices & Performance

This report constitutes the first benchmarking survey of business and human resource practices among a nationally representative sample of workplaces in the broadly defined telecommunications industry that includes wireline, wireless, cable, and internet providers. It grows out of a multi-year study of organizational change in the industry, and is based on extensive field study, site visits, interviews, and surveys conducted by research teams at Cornell and Rutgers Universities. Managers at 577 establishments across the country gave generously of their time during a lengthy telephone survey. The study was made possible through a generous grant by the Alfred P. Sloan Foundation. While this report is based on data collected among workplaces in the U.S., it has implications for the restructuring of the global telecommunications industry. In other research, we have found that the United States has been at the forefront of market deregulation and technology change, but many other countries have followed a similar path and look to the United States as a model for organizational restructuring (Katz 1997). Thus, at least some of the patterns we find here are likely to occur in other countries undergoing similar patterns of deregulation

An Approach to Agent-Based Service Composition and Its Application to Mobile

This paper describes an architecture model for multiagent systems that was developed in the European project LEAP (Lightweight Extensible Agent Platform). Its main feature is a set of generic services that are implemented independently of the agents and can be installed into the agents by the application developer in a flexible way. Moreover, two applications using this architecture model are described that were also developed within the LEAP project. The application domain is the support of mobile, virtual teams for the German automobile club ADAC and for British Telecommunications