Correctness proof obligation for CoCTelS telecom services composition model

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.