Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

Dự án này đề xuất một công cụ để xác minh chính thức thành phần dịch vụ web dựa trên Pi-calculus và chuyển đổi giữa BPEL và pi-calculus. Công cụ này tích hợp hai loại kỹ thuật xác minh chính thức và có thể xác nhận tự động.

lịch sử phiên bản

  • Phiên bản webjetCheck1.0_src.zip đăng trên 2006-12-13
    Một số bản sửa lỗi và cập nhật
  • Phiên bản webjetCheck1.0_src.zip đăng trên 2006-12-13

Chi tiết chương trình

Các chương trình liên quan

  • Kernel Module Examples Miễn phí

    Mô-đun hạt nhân có thể tải - ví dụ về cách mã hóa Mô-đun hạt nhân có thể tải được.

  • J-Hop Gnutella System Miễn phí

    Modular Gnutella servent với GUI, văn bản và giao diện hàng loạt. Được phát triển bằng java1.4 I/O mới và mạng API. Được tối ưu hóa cho các kết nối băng thông thấp và ADSL.

  • dasmarm Miễn phí

    Tháo rời và lắp ráp cho Windows Mobile với bộ xử lý ARM. Biên soạn với Pelles C trên Windows XP.

  • Cojen - Java bytecode generator Miễn phí

    Thế hệ bytecode Java động và các công cụ tháo gỡ. Trình tạo cho phép tạo mã dễ dàng hơn, thay vì phải chọn hướng dẫn chính xác. Các lớp học tiện ích được cung cấp mà chứng minh các máy phát điện mã và bộ nạp.

  • digitalSTROM Miễn phí

    Kiểm soát và giám sát hộ gia đình hỗ trợ digitalSTROM của bạn bằng cách sử dụng thiết bị Android của bạn qua mạng Wi-Fi của bạn. Bạn có thể đặt cảnh ánh sáng để phù hợp với tâm trạng của bạn và mở, đóng hoặc điều chỉnh rèm củ

  • jamsel Miễn phí

    JAMSEL (Java API cho tin nhắn lựa chọn) là một thực hiện hiệu suất cao của đặc điểm kỹ thuật lựa chọn JMS 1.1 cho khách hàng phía lọc. API Java/C# cung cấp hỗ trợ tích hợp cho các nhà cung cấp dữ liệu JMS, TIBCO/RV và Hashtab

  • animal battery widget *alpaca* Dùng thử miễn phí

    Tiện ích ALPACA dễ thương để hiển thị lượng pin còn lại.Hiển thị thiết kế dễ thương, pin của điện thoại thông minh.Cũng được hiển thị bằng các số dễ đọc.15 thiết kế bao gồm!Tốt nhất cho màn hình chính!Cũng có thể

  • LambdaMOO Server Miễn phí

    LambdaMOO là một hệ thống tương tác có thể truy cập mạng, nhiều người dùng, có thể lập trình, rất phù hợp để xây dựng các trò chơi phiêu lưu dựa trên văn bản, hệ thống hội nghị và các phần mềm cộng tác khác.

  • PPIV Miễn phí

    PPIV là một ứng dụng phần mềm song song được sử dụng trong phân tích hình ảnh hạt Velocimetry (PIV). Phần mềm này sẽ tính toán các lĩnh vực vector cho một cặp hình ảnh hoặc nhiều cặp hình ảnh. PPIV có thể chạy trên một máy tí

  • HTC One LED Flashlight Dùng thử miễn phí

    Sử dụng điện thoại làm đèn pin bằng cách bật và tắt đèn LED (bên cạnh máy ảnh). Ứng dụng ngọn đuốc miễn phí này là tươi sáng và sẽ rất tốt. Nó nhanh chóng và dễ sử dụng, với một nút lớn ở giữa.Tính năng:- Nút BẬT/TẮT đ