HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Spécification formelle d'une application de téléconférence en SDl'92

Mohammed Ouzzif 1 André Schaff 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le monde de l'informatique a été marqué ces dernières années par l'avènement du «multimédia» et des «autoroutes de l'infor- mation». l'utilisation conjointe des techniques rapportés à ces deux domaines ont donné naissance à des recherches en infor- matique : la visioconférence et toutes les activités faisant appel à cette technologie (télé-ingénierie, télé-enseignement, télé-médecine). Ces applications constituent des systèmes complexes et une étape de spécification formelle constitue une phase primordiale pour leurs développements. Les techniques de description formelle s'avèrent de plus en plus nécessaires ; surtout dans les domaines dont la complexité est assez élevée. En effet ces techniques permettent d'avoir des spécifications claires, exactes, complètes et vérifiables. Dans ce travail, nous allons présenter une spécification formelle de quelques aspects de coordination dans un système de téléconférence. Cette spécification a été réalisée avec le langage SDl'92 et a été implémentée avec l'outil ObjectGeode. Des simulations de ce système ont été faites grâce à cet outil et différents scénarios ont été vérifiés.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00107530
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:00:09 AM
Last modification on : Friday, February 4, 2022 - 3:21:38 AM
Long-term archiving on: : Friday, November 25, 2016 - 1:03:24 PM

Identifiers

  • HAL Id : inria-00107530, version 1

Collections

Citation

Mohammed Ouzzif, André Schaff. Spécification formelle d'une application de téléconférence en SDl'92. [Interne] 98-R-235 || ouzzif98a, 1998, 52 p. ⟨inria-00107530⟩

Share

Metrics

Record views

76

Files downloads

63