Business-oriented development of telecommunication services

The development of software for distributed systems, e.g. telecommunication services, is a complex activity. Numerous issues have to be resolved when developing such systems, examples of which are language/system heterogeneity and remoteness of components. Interface definition languages (IDLs) are used as the basis for addressing some of these issues. IDLs allow for the specification of the syntactic aspects of the interfaces of the components in the system to be made. Whilst lending itself to issues of heterogeneity and location transparency, dealing with IDL as the basis for system development is not without its problems. Two of the main problems with IDL are its lack of behaviour and its lack of abstraction. Thus designers should not be constrained to work within the syntactic notations used to implement their systems, nor should they be unaided in how they might better design their systems. In this paper we show how these issues are being addressed in the TOSCA project in its development of a service creation and validation environment

Experiences modelling and using object-oriented telecommunication service frameworks in SDL

This paper describes experiences in using SDL and its associated tools to create telecommunication services by producing and specialising object-oriented frameworks. The chosen approach recognises the need for the rapid creation of validated telecommunication services. It introduces two stages to service creation. Firstly a software expert produces a service framework, and secondly a telecommunications ‘business consultant' specialises the framework by means of graphical tools to rapidly produce services. Here the focus is given to the underlying technology required. In particular, the advantages and disadvantages of SDL and tools for this purpose are highlighted

Creating telecommunication services based on object-oriented frameworks and SDL

This paper describes the tools and techniques being applied in the TINA Open Service Creation Architecture (TOSCA) project to develop object-oriented models of distributed telecommunication services in SDL. The paper also describes the way in which Tree and Tabular Combined Notation (TTCN) test cases are derived from these models and subsequently executed against the CORBA-based implementations of these services through a TTCN/CORBA gateway

Engineering telecommunication services with SDL

If formal techniques are to be more widely accepted then they should evolve as current software engineering approaches evolve. Current techniques in the development of distributed systems use interface definition languages (IDLs) as a basis for the underlying communication and also as an abstraction tool. Object-oriented technologies [6] and the idea of engineering software through frameworks [5] are also widely accepted approaches in developing software. In this paper we show how the formal specification language SDL and associated tool support have been applied in the TOSCA1 project to engineer telecommunication services using these current techniques

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

Towards a business model for cellular network and telecommunication operators: a theoretical framework

Cellular networks and telecommunications bring major change to the way businesses are conducted. Mobility has become one of the main priorities for users and this has impacted on cellular networks and telecommunication operators (CNTOs). However, entrants into the cellular industry have been confounded primarily by inexistent or weak Business Models (BMs). Designing a BM for a CNTO is complex and requires multiple actors to balance different and often conflicting design requirements. Nevertheless, most research about CNTOs has been technically oriented and has mainly addressed the technological and engineering issues related to their infrastructure. Less attention has been given to the business model of CNTOs. Hence, there is a need to enhance our ability to determine what constitutes the optimal and most viable business model to meet the various strategic objectives and goals for these CNTOs. In this paper an overview of research into the cellular business model and the main issues to be resolved is provided. In particular, the authors propose guidelines as a basis on which to develop a more comprehensive definition which may lead to a consensus. Moreover, a generic model (V4 Model) is proposed for the BM of these companies based on value proposition, value architecture, value network and value finance

Verifying service continuity in a satellite reconfiguration procedure: application to a satellite

The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software

Multinet : enabler for next generation enterprise wireless services

Wireless communications are currently experiencing a fast migration toward the beyond third-generation (B3G)/fourth generation (4G) era. This represents a generational change in wireless systems: new capabilities related to mobility and new services support is required and new concepts as individual-centric, user-centric or ambient-aware communications are included. One of the main restrictions associated to wireless technology is mobility management, this feature was not considered in the design phase; for this reason, a complete solution is not already found, although different solutions are proposed and are being proposed. In MULTINET project, features as mobility and multihoming are applied to wireless network to provide the necessary network and application functionality enhancements for seamless data communication mobility considering end-user scenario and preferences. The aim of this paper is to show the benefits of these functionalities from the Service Providers and final User point of view

A framework for modelling mobile radio access networks for intelligent fault management

Postprin