 | Fiona.Fiona - strumento per analizzare automaticamente il comportamento interazionale di un dato owfn |
| Scarica ora | |
Fiona. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- GPL
- Prezzo:
- FREE
- Nome editore:
- Peter Massuthe and Daniela Weinberg
- Sito web dell'editore:
- http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 670 KB
Fiona. Tag
Fiona. Descrizione
Fiona - strumento per analizzare automaticamente il comportamento interazionale di un dato owfn Fiona è uno strumento per analizzare automaticamente il comportamento interazionale di un dato OWFN. Fornisce due tecniche: verifica la controllabilità della rete indicata calcolando il grafico interactionG e calcola la linea guida operativa per la rete. Fiona utilizza OWFNS (l'output dello strumento BPel2owfn) come input. Pertanto, qualsiasi processo BPEL può essere facilmente analizzato. Per calcolare gli stati dei nodi del grafico Fiona utilizza gli algoritmi efficienti che sono stati implementati nel modello di controllo dello strumento Lola.
Fiona. Software correlato
xpsql.
XPSQL è un modulo Mozilla / Firefox XPCOM che consente l'accesso del database utilizzando il set di widget Mozilla, Xul ...
16 KB
jgcs.
JGCS - Fornisce un'API per applicazioni che necessitano di primitive di comunicazione di gruppo, come la sincronia virtuale o la trasmissione atomica ...
14 KB
