Please use this identifier to cite or link to this item:
http://dspace.univ-guelma.dz/jspui/handle/123456789/1223
Title: | Conception et Implémentation d’un Environnement LOTOS ST-Sémantique |
Authors: | Messaadia Saliha, Gueroui Hanane |
Keywords: | Vérification formelle, basic LOTOS, compilation, ST-Sémantique. |
Issue Date: | 2013 |
Abstract: | Actuellement, les méthodes formelles sont de plus en plus utilisées dans le but d‟analyser le comportement des systèmes concurrents distribués. Ces méthodes utilisent des modèles formels de spécification dotés de sémantiques bien définies et des techniques de vérification formelle. LOTOS (Language Of Temporal Ordering Specification) est une catégorie de formalismes qui permet de faire la description de systèmes parallèles communicants, LOTOS est normalisé par l'ISO et le CCITT afin de permettre la définition formelle des protocoles et des services de télécommunications. Le but de notre projet était de développer un compilateur pour LOTOS. Nous avons généré un graphe d‟état selon les règles de ST-Sémantique via des Noms Statiques, cette dernière c‟est un modèle qui représente le non atomicité de l‟action par l‟exécution séquentielle de deux actions atomiques, qui déterminent respectivement le début et la fin de cette action. |
URI: | http://dspace.univ-guelma.dz:8080/xmlui/handle/123456789/1223 |
Appears in Collections: | Master |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
memire final.pdf | 1,87 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.