Atur cara mengikut webjetchecker.sf.net

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