 | Fiona.Fiona - ferramenta para analisar automaticamente o comportamento interacional de um determinado OWFN |
| Baixe Agora | |
Fiona. Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- Peter Massuthe and Daniela Weinberg
- Site do editor:
- http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 670 KB
Fiona. Tag
Fiona. Descrição
Fiona - Ferramenta para analisar automaticamente o comportamento interacional de um determinado OWFN A Fiona é uma ferramenta para analisar automaticamente o comportamento interacional de um determinado OWFN. Ele fornece duas técnicas: ele verifica a controlabilidade da rede fornecida pela computação do gráfico de interação e calcula a diretriz operacional para a rede. Fiona usa o OWFNS (a saída da ferramenta bpel2owfn) como sua entrada. Assim, qualquer processo do BPEL pode ser facilmente analisado.Para calcular os estados dos nós do gráfico Fiona usa os algoritmos eficientes que foram implementados na ferramenta de verificação do modelo Lola.
Fiona. Software Relacionado
Janus.
JANUS - Plugin Eclipse com suporte para editar o código Java e os diagramas UML simultaneamente ...
323 KB
EHHEHARMONIA.
OHEHARMONIA é um aplicativo de rastreamento de bug / aprimoramento para programas de software (Cacau, HTML, Perl, Scripts, etc.) ...
565 KB
Xrefactory para C / C ++
Xrefactory é uma ferramenta de desenvolvimento profissional para C e C ++ fornecendo conclusão de código, navegação de origem e refatoração ...
1.8 MB
Cubulus olap
Cubulus OLAP - motor de agregação de código aberto com uma interface web de fatia e dice ...
243 KB