GNU BPEL2OWFN GNU BPEL2OWFN-project Vertaalt een webservice uitgedrukt in WS-BPEL in een OWFN.
Download nu

GNU BPEL2OWFN Rangschikking & Samenvatting

GNU BPEL2OWFN Tags

web vertalen Vertaal Web Service Proces uitvoeringstaal WS-bpel naar OWFN BPEL2oWFN

GNU BPEL2OWFN Beschrijving

GNU BPEL2OWFN-project vertaalt een webservice uitgedrukt in WS-BPEL in een OWFN. GNU BPEL2OWFN-project vertaalt een webservice die wordt uitgedrukt in WS-BPEL (Web Service Business Process Execution Taal) in een OWFN (Open Workflow Net). Deze OWFN kan worden gebruikt om: · Controleer op de beheersbaarheid of het genereren van de bedrijfsrichtsnoer met behulp van de Tool Fiona, · Controleer op deadlocks of een andere Petri Net-eigendom, of · Controleer elke temporele logische formule met een verscheidenheid aan modelcontrole Tools.gnu Bpel2owfn gebruikt Statische analyse om het gegenereerde Petri-netmodel zo compact mogelijk te maken om een gekozen eigendom te analyseren. Dit wordt flexibele modelgeneratie genoemd. Bovendien kunnen verschillende ontwerpfouten worden gedetecteerd met behulp van controle- en datallow-analyse.

GNU BPEL2OWFN Gerelateerde software