Abstract FR:

Face à la globalisation des systemes d'informations, l'industrie des télécommunications se trouve confrontée à de nombreux problèmes pour répondre à la demande croissante en termes d'offre de nouveaux services. En effet, les couts et les délais pour l'introduction, le déploiement, la gestion et l'extension de nouveaux services sont importants. Avec l'émergence des réseaux larges bandent et la dérégulation des opérateurs de télécommunications, cette situation ne s'améliore guère. Par conséquent, un modèle unifie doit être défini pour permettre la mise en place d'une architecture distribuée de systèmes ouverts et hétérogènes tout en facilitant l'évolution des réseaux existants ainsi que l'intégration de nouvelles technologies telle que l’ATM dans cette architecture. A l'heure actuelle, plusieurs organisations internationales importantes comme itu-t, iso, tina-c, omg, osf sont en train de définir des modèles d'architecture de systèmes repartis orientes objet comme cadre de travail générique pour la réalisation de nouveaux services. Odp (open distributed processing) - une activité de standardisation commune a l'itu-t et l'iso - définit une architecture distribuée orientée objet qui convient à la fois aux services de type information tels que les applications coopératives et les systèmes d'information distribues, ainsi qu'aux applications de type réseau telles que les réseaux intelligents, les applications multimédia et la gestion de réseaux de télécommunications. Le modèle de référence odp définit cinq points de vue pour spécifier un système à des niveaux d'abstractions différents. Ces points de vue sont : entreprise, information, traitement, ingénierie et technologie. Odp préconise l'utilisation des langages formels pour deux raisons : (i) pour décrire et valider les concepts générique d'odp, et (ii) pour les utiliser comme des langages de spécification. Pour chaque point de vue, plusieurs méthodes de spécification peuvent être employées, et réciproquement, une même méthode de spécification peut être utilisée dans plusieurs points de vue. Néanmoins, une décomposition de spécification d'un système reparti sur plusieurs points de vue en utilisant des méthodes basées sur des paradigmes orientes objet et formels différents pose certaines difficultés majeures que nous aborderons dans cette thèse. Nous nous intéressons particulièrement aux points de vue information et traitement du modèle de référence odp. Plus précisément, nous étudions l'adéquation de différents langages de spécification pour les points de vue information et de traitement et nous proposons une formalisation pour omt (object modeling technique) - un langage de spécification oriente objet largement utilise au niveau informationnel. Nous proposons également un ensemble de règles génériques pour associer la sémantique du modèle informationnel à celle du modèle de traitement d'un système ouvert reparti. Ces travaux contribuent à la définition de la sémantique formelle du point de vue information de l'odp.