Bu proje, Pi-kalkülüs ve BPEL ve pi-kalkülüs arasındaki dönüşüme dayalı web hizmetleri kompozisyonunun resmi olarak doğrulanması için bir araç önermektedir. Bu araç, iki tür resmi doğrulama tekniğini tümleştirir ve otomatik olarak doğrulayabilir.
sürüm geçmişi
- Sürüm webjetCheck1.0_src.zip tarihinde gönderildi 2006-12-13
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm webjetCheck1.0_src.zip tarihinde gönderildi 2006-12-13
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: webjetchecker.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 1.0
- Platform: windows