Atur cara mengikut webjetchecker.sf.net

  • a validating tool of BPEL programme Percuma

    Projek ini mencadangkan alat untuk pengesahan rasmi komposisi perkhidmatan web berdasarkan Pi-kalkulus dan penukaran antara BPEL dan pi-kalkulus. Alat ini mengintegrasikan dua jenis teknik pengesahan rasmi dan boleh mengesahk