Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Proyek ini mengusulkan alat untuk verifikasi formal komposisi layanan web berdasarkan Pi-kalkulus dan konversi antara BPEL dan pi-kalkulus. Alat ini mengintegrasikan dua jenis teknik verifikasi formal dan dapat memvalidasi secara otomatis.

Riwayat versi

  • Versi webjetCheck1.0_src.zip diposting di 2006-12-13
    Beberapa perbaikan dan pembaruan
  • Versi webjetCheck1.0_src.zip diposting di 2006-12-13

Detil Program

Program Terkait

  • Kernel Module Examples Gratis

    Modul Kernel yang Dapat Dimuat - contoh tentang cara membuat kode Modul Kernel yang Dapat Dimuat.

  • J-Hop Gnutella System Gratis

    Modular Gnutella servent dengan GUI, teks dan antarmuka batch. Dikembangkan menggunakan I/O baru Java1.4 dan API jaringan. Dioptimalkan untuk koneksi bandwidth rendah dan ADSL.

  • dasmarm Gratis

    Membongkar dan merakit untuk Windows Mobile dengan prosesor ARM. Dikompilasi dengan Pelles C pada Windows XP.

  • Cojen - Java bytecode generator Gratis

    Pembuatan bytecode Java dinamis dan alat pembongkaran. Pembangun memungkinkan kode dihasilkan dengan lebih mudah, alih-alih harus memilih instruksi yang tepat. Kelas utilitas disediakan yang menunjukkan generator kode dan loa

  • digitalSTROM Gratis

    Kontrol dan pantau rumah tangga yang diaktifkan digitalSTROM menggunakan perangkat Android Anda melalui jaringan Wi-Fi Anda. Anda dapat mengatur adegan cahaya agar sesuai dengan suasana hati Anda dan membuka, menutup, atau me

  • jamsel Gratis

    JAMSEL (Java API for Message Selection) adalah implementasi kinerja tinggi dari spesifikasi pemilihan JMS 1.1 untuk pemfilteran sisi klien. Java/C# API menyediakan dukungan bawaan untuk penyedia data JMS, TIBCO/RV, dan Hashta

  • animal battery widget *alpaca* Uji Coba Gratis

    Widget ALPACA lucu untuk menampilkan jumlah baterai yang tersisa.Menampilkan desain yang lucu, daya baterai smartphone.Juga ditampilkan dalam angka yang mudah dibaca.15 desain termasuk!Terbaik untuk layar beranda!

  • LambdaMOO Server Gratis

    LambdaMOO adalah sistem interaktif yang dapat diakses oleh jaringan, multi-pengguna, dapat diprogram, dan cocok untuk pembangunan game petualangan berbasis teks, sistem konferensi, dan perangkat lunak kolaboratif lainnya.

  • PPIV Gratis

    PPIV adalah aplikasi perangkat lunak paralel yang digunakan dalam analisis Partikel Gambar Velocimetry (PIV). Perangkat lunak ini akan menghitung bidang vektor untuk satu pasangan gambar atau beberapa pasangan gambar. PPIV da

  • HTC One LED Flashlight Uji Coba Gratis

    Gunakan ponsel Sebagai senter dengan menyalakan dan mematikan lampu LED (di samping kamera). Aplikasi obor gratis ini cerah dan terlihat hebat. Ini cepat dan mudah digunakan, dengan tombol tengah besar.Fitur:- Tombol O