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/

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

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Rate This Project

User Reviews

Be the first to post a review of bpel2pml!

2009-11-04

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Recommended Projects

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)
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.
javahexeditor Java Hex Editor
A hex editor Eclipse plugin and multi-platform desktop application
UCDetector
Eclipse Plugin to find unused Java code
openCONFIGURATOR Eclipse Plugin
An eclipse plugin for the openCONFIGURATOR configuration tool