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