SOFAT V1.1: Un environnement pour la manipulation et la simulation de scénarios. Loïc Hélouët Avertissement : Ce document est pour le moment plus que succinct. J’espère l’étoffer dans un proche avenir. L’objectif de cette distribution est de faire bénéficier les utilisateurs de scénarios d’un environnement proposant la plupart des manipulations formelles publiées à ce jour. Il ne s’agit cependant que d’un prototype, et comme tel, vous ne manquerez pas d’y trouver bugs et erreurs. Merci dans ce cas de m’en faire part ([email protected]). Lorsque le prototype sera considéré comme suffisamment stable, je projette d’en faire une distribution avec les sources (qui pour le moment ont encore besoin d’un bon nettoyage). INSTALLATION L’installation de SOFAT se fait en décompressant le fichier sofat.zip Les répertoires produits sont : BIN : les exécutables de l’outil DOC : documents décrivant les fondement de l’outil EXAMPLES : des exemples de Message Sequence Charts, qui vous permettront de vous familiariser avec la syntaxe de la norme Z.120, et de commencer à manipuler des scénarios. Pour pouvoir exécuter les applications fournies, un interpréteur JAVA doit être installé sur votre système. Nous avons choisi de développer nos outils avec une version relativement ancienne de JAVA (JDK 1.2.2), sans classes ou gadgets trop exotiques afin d’assurer une compatibilité avec la plupart des installations. L’utilisation de JAVA permet également une portabilité sur un plus grand nombre de système. Si par malchance l’installation ne marchait pas, faites m’en part, j’essaierai de résoudre votre problème. SOFAT Scenario Oracle and Formal Analysis Toolbox Introduction SOFAT est une boîte à outils formelle pour la manipulation, l’analyse, et la simulation des scénarios. Menu Fichier Ce menu regroupe toutes les opération pour charger un fichier ou le sauvegarder. Le format accepté est un sous ensemble de la norme Z.120, ne contenant pas de composition parallèle, de corégion, ni de conditions. Menu Edition Le menu édition regroupe toutes les fonctionnalités permettant d’effectuer des opérations classiques dans un éditeur de texte : copier, couper, coller. Menu Analyse Le menu Analyse permet d’effectuer une analyse syntaxique du fichier MSC en cours d’édition, puis d’en analyser les propriétés formelles ( confluence, divergence, choix locaux, …). Notez que l’analyse formelle d’un HMSC ne peut se faire qu’après son analyse syntaxique. Menu Simulation Le menu simulation permet de construire une grammaire de graphe qui sert de représentation compacte pour la simulation de HMSC. Cette grammaire ne peut être construite que si le HMSC étudié n’est pas confluent. Une fois la grammaire construite, une simulation interactive peut être lancée. Menu Aide Fornit des informations sur l’utilisation de SOFAT et la version courante. SIMU SLIM UNFOLD EXPLORE SHOWGRAM