Skip to Main content Skip to Navigation
Theses

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

Abstract : 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.
Complete list of metadatas

Cited literature [62 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004824
Contributor : Thèses Imag <>
Submitted on : Wednesday, February 18, 2004 - 1:53:50 PM
Last modification on : Friday, November 6, 2020 - 4:04:46 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:56:16 PM

Identifiers

  • HAL Id : tel-00004824, version 1

Collections

IMAG | CNRS | UGA

Citation

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. ⟨tel-00004824⟩

Share

Metrics

Record views

399

Files downloads

156