 | FionaFIONA - Herramienta para analizar automáticamente el comportamiento interactivo de un OWFN dado |
| Descargar ahora | |
Fiona Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Precio:
- FREE
- Nombre del editor:
- Peter Massuthe and Daniela Weinberg
- Sitio web del editor:
- http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 670 KB
Fiona Etiquetas
Fiona Descripción
Fiona - Herramienta para analizar automáticamente el comportamiento interactivo de un OWFN dado. Fiona es una herramienta para analizar automáticamente el comportamiento interactivo de un OWFN dado. Proporciona dos técnicas: verifica la capacidad de control de la red dada al informar el gráfico de interacción, y calcula la guía de operación para la red. Fiona usa OWFNS (la salida de la herramienta BPEL2OWFN) como su entrada. Por lo tanto, cualquier proceso de BPEL se puede analizar fácilmente. Para calcular los estados del gráfico, los nodos Fiona utilizan los algoritmos eficientes que se implementaron en la herramienta de verificación modelo Lola.
Fiona Software relacionado
Janus
JANUS - Complemento Eclipse con soporte para editar el código Java y los diagramas UML simultáneamente ...
323 KB
Xsb
XSB - Programación de lógica y sistema de base de datos deductivo para plataformas de Windows y similar a UNIX ...
5.5 MB
beharmonia
Beharmonia es una aplicación de seguimiento de errores / mejora para desarrolladores de software (cacao, html, perl, scripts, etc.) ...
565 KB
Xrefactory para C / C ++
Xrefactory es una herramienta de desarrollo profesional para C y C ++ que proporciona finalización del código, la navegación de origen y la refactorización ...
1.8 MB