![](/statics/img/blank.png)
bpel2pml
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/bpel2pml/files/edu.boun.makcay.bpel2pml_1.0.0.jar/download
Về bpel2pml
một plugin eclipse chuyển đổi các tập tin bpel để promela tập tin nó đòi hỏi eclipse bpel thiết kế plugin http://www.eclipse.org/bpel/
Các chương trình liên quan
-
Web PhotoAlbum Dùng thử miễn phí
Xuất bản ảnh kỹ thuật số của bạn trên trang Web của bạn. Chương trình tạo ra một trang web sẵn sàng để sử dụng từ hình ảnh của bạn. Nó tạo ra một trang web tổng quan với hình thu nhỏ của các bức ảnh. Để xem hình ảnh có kích t
-
Web Binder Miễn phí
Web Binder là một gói TikiWiki CMS tùy chỉnh tập trung vào khả năng sử dụng, được thiết kế bởi Co-op Tools. Nó chạy trên các máy chủ LAMP phổ biến, chẳng hạn như những người được hỗ trợ bởi cPanel. Tải xuống thông qua bản phá
-
SaveGamer Miễn phí
SaveGamer làm cho nó dễ dàng để tìm và sao lưu savegames của bạn.
-
TripleTap javascript Control Miễn phí
Điều khiển TripleTap javascript cho các trang web MediaCenter. Đây là thử nghiệm đầu tiên của tôi trên MediaCenter. Điều khiển này cho phép viết văn bản bằng điều khiển từ xa, ở chế độ đơn giản nhất, sử dụng phương pháp tripl
-
ZCrypt Miễn phí
ZCrypt là một thư viện để dễ dàng sử dụng các hàm mật mã (tức là các thuật toán băm và mật mã) trong các chương trình khác. Giao diện dễ dàng cung cấp mã hóa, giải mã và tạo tiêu hóa tin nhắn của các khối bộ nhớ, chuỗi ký tự
-
Ginetob - The new BenMP3 Miễn phí
Ginetob (Ginetob Is Not Exactly The Old BenMP3) là máy nghe nhạc BenMP3 phiên bản 2. Nó có thể phát các định dạng âm thanh nổi tiếng nhất, như MPx, Ogg, Wav, Aiff, Mod, Xm, It và các định dạng khác. Một máy nghe nhạc Cd được
-
Mosaico Miễn phí
Mosaico ứng dụng tích hợp môi trường xung quanh được gọi là MosaicoSfera: quản lý kinh doanh, lịch cá nhân và nhóm với chương trình nghị sự hợp tác, to-do-list, nhắc nhở, khách hàng Webmail tích hợp, CRM, hệ thống nộp tài liệ
-
Chaos Engine VSI Miễn phí
Chaos Engine là một cơ sở hạ tầng máy chủ ảo dựa trên công nghệ Windows Vista sắp tới. Nó cho phép lưu trữ dữ liệu, công cụ quản trị phần mềm trung gian RFID, phân tích dữ liệu và mô phỏng hạt nhân Windows gốc linux.
-
ExEf - guitar effect processor Miễn phí
ExEf (Extreme Effect) là một công cụ hiệu ứng thời gian thực cực kỳ mạnh mẽ và linh hoạt chạy trên pc dưới LINUX. Nó được thiết kế để làm việc với guitar, micro và các nhạc cụ khác. Nó có thể chạy cả trong hệ thống cửa sổ X v
-
Downcount Timer Miễn phí
Một bộ đếm thời gian downcount đơn giản. Chỉ cần nhập thời gian bạn muốn đếm và nhấn 'Bắt đầu'. Nhấn 'Dừng' nếu bạn muốn dừng.