Этот проект предлагает инструмент для формальной проверки состава веб-сервисов на основе Pi-исчисления и преобразования между BPEL и pi-исчислением. Этот инструмент интегрирует два вида формальных методов проверки и может автоматически проверяться.
история версии
- Версия webjetCheck1.0_src.zip размещено на 2006-12-13
Несколько исправлений и обновлений - Версия webjetCheck1.0_src.zip размещено на 2006-12-13
Подробная информация о программе
- Категории: Развития > Других
- Издателя: webjetchecker.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.0
- Платформы: windows