Search Results for "bpel"

Large BPEL or SOA applications may have many components and relationships that can be difficult to understand. This project generates diagrams for applications based on the Service Component Architecture (SCA) model. This has primarily been tested with Oracle Fusion Middleware 11g applications but should work with other BPEL or SOA frameworks.

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.

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

Java Framework for automatic transformation of graph structured Process Models (incl. BPMN import) to block structured BPEL code. A graphical tool is provided for visualisation and testing.

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

Marichee Modeler helps developer define Business Process Execution Language BPEL graphically using Business Process Modelling Notation (BPMN).