loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers)
Correctness Proof Obligation for CoCTelS Telecom Services Composition Model
Taipei, Taiwan
March 25-March 30
ISBN: 0-7695-2249-1
Zi? Choukair, Institut de Recherche en Informatique de Toulouse

New generation of telecom services are expected to embody a rich set of customized elementary services integrating behavior. In this paper, we show how these challenges in a competitive telecom environment can benefit from the set up of a model to support the composition of private adaptive bouquets of services with elementary services and behaviors.

Such provision will enlarge the range of client choices in terms of service selection and customization to compose their own bouquet of services according to their preferences and use context with no intrusion. Elementary services will still unchanged. Their composition should take place in a safe way with the purpose of generating a customized telecom bunch of services that is specific to the end-user?s use.

Our generated bouquet is called virtual as they share elementary services they compose and develop only the connectors which only refer to the elementary services. This paper describes our CoCTelS (Composition and Customization of Telecommunication Services) model and presents our approach to prove the correctness of the composition.

In particular we describe how we compose the bunch according to the end-user?s selections when configuring his bouquet out of line. Our purpose is to provide an environment for end-user bunch configuration of multimedia telecom services that integrate behaviors as well as profiles. We also present our evaluation of the approach that has been carried out and the future work.

Index Terms:
virtual bouquet, composition, connectors, correctness, proof obligation
Citation:
Zi? Choukair, "Correctness Proof Obligation for CoCTelS Telecom Services Composition Model," aina, vol. 1, pp.893-900, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), 2005
Usage of this product signifies your acceptance of the Terms of Use.