bpel2pml

Brought to you by: makcay

Last Update: 2013-04-01

an eclipse plugin converting bpel files to promela files it requires eclipse bpel designer plugin
http://www.eclipse.org/bpel/

Features

in order to run this plugin you need http://www.eclipse.org/bpel/ plugin installed first
right click to bpel files in eclipse and choose generate promela file

Project Activity

See All Activity >

Follow bpel2pml

bpel2pml Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of bpel2pml!

Additional Project Details

Registered

2009-11-04

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

Comms Order Fulfillment
Simple order fulfillment system with flexible order decomposition and domain specific programming language for describing decomposition scenarios. Most suitable for Mobile Communications operators who are using Oracle BPEL and AIA technology.
EclipseNSIS
EclipseNSIS is a plugin for the Eclipse platform which enables editing, compiling and testing Nullsoft Installer (NSIS) scripts. The InstallOptions Editor plugin is for editing of InstallOptions files. (Requires Eclipse GEF http://www.eclipse.org/gef)
ServiceComposer
ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class
ActiveGrid
ActiveGrid is an Enterprise Web 2.0 solution that allows the composition of code-free applications that comply with corporate IT standards. Technologies include Python, Java, XForm, Xpath, WSDL, CSS, XML Schema (XSD), XACML, and BPEL.
Eclipse Instant Messenger Plugin
Eclipse Instant Messenger Plugin(eimp) is a Eclipse(http://www.eclipse.org) plugin, which integrate some popular im protocols(MSN,YAHOO,ICQ,AIM,etc.).