Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. a validating tool of BPEL programme
  5. Download

a validating tool of BPEL programme 1.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de a validating tool of BPEL programme

Este proyecto propone una herramienta para la verificación formal de la composición de los servicios web basada en pi-cálculo y la conversión entre BPEL y pi-calculus. Esta herramienta integra dos tipos de técnicas de verificación formal y puede validarse automáticamente.

Programas relacionados

  • Kernel Module Examples Gratis

    Un módulo de núcleo cargable - ejemplos sobre cómo codificar un módulo de núcleo cargable.

  • J-Hop Gnutella System Gratis

    Servent modular Gnutella con interfaz GUI, texto y lote. Desarrollado con Java1.4 nuevas API de E/S y redes. Optimizado para conexiones ADSL y de bajo ancho de banda.

  • dasmarm Gratis

    Desensamblador y ensamblador para Windows Mobile con procesador ARM. Compilado con Pelles C en Windows XP.

  • Cojen - Java bytecode generator Gratis

    Herramientas dinámicas de generación y desmontaje de códigos de bytes Java. Un constructor permite que el código se genere más fácilmente, en lugar de tener que seleccionar instrucciones exactas. Se proporcionan clases de uti

  • digitalSTROM Gratis

    Controla y supervisa tu hogar con digitalSTROM usando tu dispositivo Android a través de tu red Wi-Fi. Puede configurar escenas de luz para que se ajusten a sus estados de ánimo y abrir, cerrar o ajustar sus persianas. Vea su

  • jamsel Gratis

    JAMSEL (Java API for Message Selection) es una implementación de alto rendimiento de la especificación de selección JMS 1.1 para el filtrado del lado cliente. La API de Java/C proporciona compatibilidad integrada con proveedo

  • animal battery widget *alpaca* Prueba gratuita

    Lindo widget ALPACA para mostrar la cantidad restante de batería.Muestra el diseño lindo, la potencia de la batería de los teléfonos inteligentes.También se muestran en números fáciles de leer.15 diseño incluye!Mejo

  • LambdaMOO Server Gratis

    LambdaMOO es un sistema interactivo, programable y accesible en red, adecuado para la construcción de juegos de aventura basados en texto, sistemas de conferencias y otro software colaborativo.

  • PPIV Gratis

    PPIV es una aplicación de software paralela utilizada en el análisis de velocimetría de imágenes de partículas (PIV). El software calculará el campo vectorial para un par de imágenes o varios pares de imágenes. PPIV se puede

  • HTC One LED Flashlight Prueba gratuita

    Utilice su teléfono como una linterna encendiendo y apagando la luz LED (junto a la cámara). Esta aplicación de la antorcha gratuita es brillante y se ve muy bien. Es rápido y fácil de usar, con un gran botón centrado.Fun