Gnu bpel2owfn El proyecto GNU BPEL2OWFN traduce un servicio web expresado en WS-BPEL en un OWFN.
Descargar ahora

Gnu bpel2owfn Clasificación y resumen

Gnu bpel2owfn Etiquetas

web traducir Traducir Servicio Web Idioma de ejecución del proceso WS-BPEL a OWFN Bpel2owfn

Gnu bpel2owfn Descripción

El proyecto GNU BPEL2OWFN traduce un servicio web expresado en WS-BPEL en un OWFN. El proyecto GNU BPEL2OWFN traduce un servicio web expresado en WS-BPEL (lenguaje de ejecución de procesos de negocios de servicio web) en una OWFN (red de flujo de trabajo abierto). Este OWFN se puede usar para: · Compruebe la capacidad de control o genere la guía de funcionamiento utilizando la herramienta Fiona, · Revise los puntos muertos o cualquier otra propiedad de Petri Net, o · Revise cualquier fórmula lógica temporal con una variedad de herramientas de verificación de modelos.GNU BPEL2owfn usos Análisis estático para hacer que el modelo neto de Petri generado sea lo más compacto posible para analizar una propiedad elegida. Esto se llama generación de modelos flexibles. Además, se pueden detectar varias fallas de diseño utilizando el análisis de control y flujo de datos.

Gnu bpel2owfn Software relacionado