Fiona

Fiona - Werkzeug, um das Interaktionsverhalten eines bestimmten OWFN automatisch zu analysieren
Jetzt downloaden

Fiona Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Peter Massuthe and Daniela Weinberg
  • Website des Verlags:
  • http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 670 KB

Fiona Stichworte


Fiona Beschreibung

Fiona - Werkzeug, um das Interaktionsverhalten eines bestimmten OWFN automatisch zu analysieren Fiona ist ein Werkzeug, um das Interaktionsverhalten eines bestimmten OWFN automatisch zu analysieren. Es bietet zwei Techniken: Sie prüft die Steuerbarkeit des angegebenen Netzes durch Berechnen des InteractionG-Diagramms und berechnet die Betriebsrichtlinie für das Netz. Fiona verwendet OWFNS (die Ausgabe des Tools BPEL2OWFN) als Input. So kann ein beliebiger BPEL-Prozess leicht analysiert werden. Um die Zustände der Graph-Knoten Fiona zu berechnen, verwendet die effizienten Algorithmen, die im Modellprüfgerät Lola implementiert wurden.


Fiona Zugehörige Software

Lyntin

Lyntin - Multi-Platform Multi-User-Interface-Schlamm-Client, der vollständig in Python geschrieben wurde ...

143 175 KB

Herunterladen

XSB

XSB - Logic-Programmierung und deduktives Datenbanksystem für unix-ähnliche und Windows-Plattformen ...

224 5.5 MB

Herunterladen

Pgasync.

PGASYNC ist eine verdrehte, basierte PostgreSQL-Client-Bibliothek, die vollständig an die DB-API 2.0-Spezifikation entspricht ...

165 21 KB

Herunterladen

Über uns