Simulation de spécifications d'applications de gestion de réseaux de télécommunications - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1999

Simulation of management applications specifications of telecommunication networks

Simulation de spécifications d'applications de gestion de réseaux de télécommunications

Résumé

The complexity of telecommunication networks and their management applications has introduced some management models as OSI, ODP, etc. The simulation of application specifications allows to validate and to finalize their functions and theirs achitectures before implementation. In this thesis, our interest gets on the dynamic application validation (so spelling behaviors), and so to modelize its. The behaviors formal description which we have studied allows to stretch existents specifications languages out to the classical invariants and pre/post-conditions schema, where a simple assertion language defines conditions. The simulation of an application must define its successifs states. Morever, the ambiguous assertions can cause a combinatory explosion when test application states succession. The thesis goal is not to resolve ambiguities but to display the unambiguous parts of assertions to make simulation easier. For that, we introduce an explicite determinism predicat in assertion languages. We implement our solution in Q-GDMO-GRM language, specification language of the information point of vue of TINA model (telecommunication application of ODP model). The QG2S simulator implements the operational semantic related to explicite determinism presented in this thesis.
La complexité des réseaux de télécommunications et des applications qui les gérent a conduit à la définition de plusieurs modèles de gestion tels OSI, ODP, etc. La simulation des spécifications des applications permet de valider et de mettre au point leurs fonctions et leurs architectures avant la phase d'implantation. Dans cette thèse, nous nous sommes intéressés plus particuliérement à la validation de la dynamique des applications (egalement appelée comportement), et donc à la modélisation de cette derniére. La technique de formalisation des comportements que nous avons étudiée permet d'étendre les langages de spécifications existants en intégrant le schéma classique d'invariants et de couples de pré/post-conditions définis par un langage d'assertions simple. La simulation des spécifications d'une application doit permettre de définir ses états successifs. Cependant, l'ambiguité des assertions peut engendrer une explosion combinatoire dans le test de toutes les successions d'états possibles. Le but de cette thèse n'est pas de traiter les ambiguités mais de mettre en évidence les parties non ambigues des assertions ceci afin de faciliter la simulation. Pour cela, nous avons introduit dans les langages d'assertions un prédicat intégrant du déterminisme explicite. Nous avons mis en oeuvre notre solution dans le langage Q-GDMO-GRM, langage de spécifications du point de vue information du modéle TINA (application du modéle ODP pour les télécommunications). Nous avons développé le simulateur QG2S prenant en compte la sémantique opérationnelle relative au déterminisme explicite présenté dans cette thése.
Fichier principal
Vignette du fichier
tel-00004824.pdf (653.98 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00004824 , version 1 (18-02-2004)

Identifiants

  • HAL Id : tel-00004824 , version 1

Citer

Alain Cougoulic. Simulation de spécifications d'applications de gestion de réseaux de télécommunications. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1999. Français. ⟨NNT : ⟩. ⟨tel-00004824⟩

Collections

UGA IMAG CNRS
157 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More