Describing next generation communication services : a usage perspective
Résumé
Telecom services are usually described from an applicative perspective. Service providers should yet describe formally what their services do for their users, in order to adapt them to users needs and to compose them. We propose here a framework to describe communication services from a usage perspective, by describing formally the actions of the service users and of the service provider. This description is then used as a common library to compose new services and to check the consistence of these composed services.