Bpel2owfn BPEL2OWFN vertaalt een webservice uitgedrukt in BPEL (bedrijfsproces uitvoeringstaal voor webservices) in een OWFN.
Download nu

Bpel2owfn Rangschikking & Samenvatting

Bpel2owfn Tags

web dienst workflow Webservice BPEL dienst workflow Netto

Bpel2owfn Beschrijving

Bpel2owfn vertaalt een webservice die wordt uitgedrukt in BPEL (taalproces uitvoeringstaal voor webservices) in een OWFN. Bpel2owfn vertaalt een webservice die wordt uitgedrukt in BPEL (taalproces uitvoeringstaal voor webservices) in een OWFN (open workflownet). Deze OWFN kan worden gebruikt om: · Controleer op de beheersbaarheid of het genereren van de bedrijfsrichtsnoer met behulp van FIONA, · Controleer op deadlocks of een andere petrische netto-eigenschap, of · Controleer elke temporele logische formule met een verscheidenheid aan modelcontrole tools.bpel2owfn gebruikt statische analyse Maak de gegenereerde OWFN zo compact mogelijk om een gekozen eigendom te analyseren. Dit vermogen wordt flexibele modelgeneratie genoemd. Wat is er nieuw in deze release: · Huurde de GNU GPL-versie 3 aan · Kleine wijzigingen en bugfixes

Bpel2owfn Gerelateerde software