ExSpecT
Le ExSpecT (outil exécutable de spécifications) est un outil de modélisation de processus basé sur les réseaux de Pétri à niveau élevé
Modèles d'ExSpecT
Un modèle d'ExSpecT est un réseau de Pétri Hiérarchique et coloré : il se compose des transitions et des endroits, reliés par des arcs ; la structure de ces filets est montrée comme ensemble de diagrammes.Une transition représente un sous-processus ; il y a deux sortes : ; processeur : le primitif, contient traiter la logique ; système : contient un autre réseau de Pétri
Un endroit représente l'information d'état : il y a deux sortes : ; canal : représente le flux de commande : contenir les données élémentaires appelées les marques de que les processeurs peuvent consommer et produire ; magasin : représente des données collectives : les processeurs peuvent les lire, écrire et modifier
Les valeurs des marques et des magasins sont le fortement dactylographié. Les transitions contiennent traiter la logique, écrite dans une langue fonctionnelle, qui décrit les rapports entre les valeurs des marques qu'ils consomment et produisent et les magasins ils accèdent.
Dispositifs d'outil d'ExSpecT
Les appuis de rédacteur d'ExSpecT dirigent la manipulation des diagrammes pour créer la structure de flux de commande, et les spécifications forme-basées logique des types de données et des valeurs et du traitement.Le simulateur d'ExSpecT soutient l'exécution simulée des processus, par étapes et complètement automatisé (randomisé). L'état du processus est visualisé dans le diagramme.
Le dispositif du tableau de bord de permet à des éléments d'interface utilisateurs d'être associés au système ; pendant la simulation que ces éléments montrent (structuré) évalue passer le système à ce point, ou incite l'utilisateur à spécifier de telles valeurs.
De cette façon, entièrement - des prototypes fonctionnels des systèmes, y compris l'interface utilisateurs, peuvent être développés directement à partir de leurs caractéristiques.
Réalisations d'ExSpecT
ExSpecT a été développé au début des années 90 par un groupe de recherche mené par le Kees van Hee au TU Eindhoven . Les premières versions ont fonctionné sur le de SunOS 4 du système d'exploitation avec le système de fenêtrage de SunView . Les versions postérieures ont employé la trousse à outils de fenêtre de XView . Un port a été fait au Solaris 2.À partir de 1995, une version de Microsoft Windows de l'interface utilisateurs a été développée using la trousse à outils de fenêtrage du XVT par le Bakkenist , un cabinet d'experts-conseils, et une interface du serveur de COM de au simulateur a été ajoutée. Sous la dernière forme le simulateur fait partie de l'outil de modélisation de processus de Protos .
ExSpecT aujourd'hui
Aujourd'hui, ExSpecT est employé dans l'éducation et la recherche, et trouve une certaine utilisation commerciale ; le logiciel est maintenu vivant, mais n'est pas en cours de développement actif.ExSpecT peut être librement téléchargé et employé, mais le code source n'est pas public.
Page Web d'ExSpecT
.
| Random links: | Banlieue noire de charte du Texas, Michigan | Théorie des champs de classe | 1890 dans l'archéologie | Gobo (éclairage) | ExSpecT |