| GNU BPEL2OWFN. GNU BPEL2OWFN-Projekt übersetzt einen WEB-Service, der in WS-BPEL exprimiert wird, in ein OWFN. |
Jetzt downloaden |
GNU BPEL2OWFN. Ranking & Zusammenfassung
- Name des Herausgebers:
- Niels Lohmann
- Website des Verlags:
- http://www.gnu.org/software/bpel2owfn/
GNU BPEL2OWFN. Stichworte
GNU BPEL2OWFN. Beschreibung
GNU BPEL2OWFN-Projekt übersetzt einen Webservice, der in WS-BPEL in einem OWFNN ausgedrückt wird. GNU BPEL2OWFN-Projekt übersetzt einen Webservice, der in WS-BPEL (Web Service Business Process Execution Sprache) exprimiert, in ein OWFN (Open Workflow Net). Diese OWFN kann verwendet werden, um Folgendes zu verwenden Statische Analyse, um das generierte Petri-Net-Modell so kompakt wie möglich zu gestalten, um ein ausgewähltes Eigentum zu analysieren. Dies wird als flexible Modellgeneration bezeichnet. Darüber hinaus können mehrere Designfehler unter Verwendung der Steuerungs- und Datenflussanalyse erkannt werden.
GNU BPEL2OWFN. Zugehörige Software