Invia software
  1. Casa
  2. Windows
  3. Altro
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Questo progetto propone uno strumento per la verifica formale della composizione dei servizi web basato sul Pi-calculus e la conversione tra BPEL e pi-calculus. Questo strumento integra due tipi di tecniche di verifica formale e può convalidare automaticamente.

cronologia delle versioni

  • Versione webjetCheck1.0_src.zip pubblicato il 2006-12-13
    Diverse correzioni e aggiornamenti
  • Versione webjetCheck1.0_src.zip pubblicato il 2006-12-13

Dettagli del programma

Programmi correlati

  • Kernel Module Examples Gratuito

    Un modulo kernel caricabile - esempi su come codificare un modulo kernel caricabile.

  • J-Hop Gnutella System Gratuito

    Gnutella modulare servitore con GUI, testo e interfacce batch. Sviluppato utilizzando le nuove API di I/O e reti Java1.4. Ottimizzato per connessioni ADSL e a bassa larghezza di banda.

  • dasmarm Gratuito

    Smontatore e assemblatore per Windows Mobile con processore ARM. Compilato con Pelles C in Windows XP.

  • Cojen - Java bytecode generator Gratuito

    Strumenti dinamici di generazione e smontaggio di bytecode Java. Un generatore consente di generare codice più facilmente, invece di dover selezionare istruzioni esatte. Vengono fornite classi di utilità che illustrano il gen

  • digitalSTROM Gratuito

    Controlla e monitora la tua famiglia abilitata digitalSTROM utilizzando il tuo dispositivo Android sulla tua rete Wi-Fi. Puoi impostare scene luminose per adattarli ai tuoi stati d'animo e aprire, chiudere o regolare le tende

  • jamsel Gratuito

    JAMSEL (Java API for Message Selection) è un'implementazione ad alte prestazioni della specifica di selezione JMS 1.1 per il filtro lato client. L'API Java/C# fornisce il supporto incorporato per i provider di dati JMS, TIBCO

  • animal battery widget *alpaca* Prova gratuita

    Widget ALPACA carino per visualizzare la quantità rimanente di batteria.Visualizza il design carino, la batteria degli smartphone.Vengono visualizzati anche in numeri di facile lettura.15 design includono!Ideale per

  • LambdaMOO Server Gratuito

    LambdaMOO è un sistema interattivo accessibile in rete, multiutenziale, programmabile e adatto alla costruzione di giochi di avventura basati su testo, sistemi di conferenza e altri software collaborativi.

  • PPIV Gratuito

    PPIV è un'applicazione software parallela utilizzata nell'analisi PIV (Particle Image Velocimetry). Il software calcolerà il campo vettoriale per una coppia di immagini o più coppie di immagini. PPIV può essere eseguito su un

  • HTC One LED Flashlight Prova gratuita

    Utilizzare il telefono come torcia elettrica accendendo e spegnendo la luce a LED (accanto alla fotocamera). Questa app di torcia gratuita è luminosa e ha un bell'aspetto. È veloce e facile da usare, con un grande pulsante