Fiona

Fiona - outil pour analyser automatiquement le comportement interactionnel d'un OWFN donné
Télécharger maintenant

Fiona Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GPL
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Peter Massuthe and Daniela Weinberg
  • Site Internet de l'éditeur:
  • http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
  • Systèmes d'exploitation:
  • Mac OS X
  • Taille du fichier:
  • 670 KB

Fiona Mots clés


Fiona La description

Fiona - outil pour analyser automatiquement le comportement interactionnel d'un OWFN donné Fiona est un outil pour analyser automatiquement le comportement interactionnel d'un OWFN donné. Il fournit deux techniques: il vérifie la contrôlabilité du réseau donné en calculant le graphique interactionnement, et calcule la ligne directrice de fonctionnement du réseau. Fiona utilise OWFNS (la sortie de l'outil BPEL2OWFN) comme entrée. Ainsi, tout processus de BPEL peut facilement être analysé. Pour calculer les états des nuds graphiques Fiona utilise les algorithmes efficaces mis en uvre dans l'outil de vérification du modèle Lola.


Fiona Logiciels associés

XSB

XSB - Programmation logique et système de base de données déductive pour les plates-formes de type UNIX et Windows ...

224 5.5 MB

Télécharger

Openkomodo

Open Komodo Project est une nouvelle initiative d'activation pour créer une plate-forme open source pour les environnements de développement de bâtiments ...

146 34 MB

Télécharger

Ampc

AMPC des solutions axiomatiques est le moyen le plus simple et le plus simple de convertir des programmes C en byTecodes Java standard (classes) ...

456 7.1 MB

Télécharger

À propos de nous