bpel2pml

Brought to you by: makcay

Downloads: 0 This Week

Last Update: 2013-04-01

Get an email when there's a new version of bpel2pml

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

Build Agents and Models on One Platform Icon

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of bpel2pml!

Additional Project Details

Registered

2009-11-04

Report inappropriate content

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Recommended Projects

BPEL4WS2OWL-S Mapping Tool
BPEL4WS 2 OWL-S is a mapping tool that can be used to map BPEL process to OWL-S suite of ontologies. Tool mapps a given BPEL process with corresponding WSDL files to complete OWL-S suite of ontologies (Service, Profile, Process Model and Grounding).
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.
modelio-open
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
Java ORM Plugin for Eclipse
User can create a java ORM framework in one click.