This section will describe generation and conformance checking features related to WS-BPEL.
This initial release provides basic support for generating BPEL processes from a choreography description. Subsequent releases will also provide conformance checking, to ensure that changes to a BPEL process are validated to ensure the process remains conformant with the choreography.
This section explains how to generate a template BPEL process from architectural and design artifacts.
When the choreography description has been completed, and has no errors, the user should select the "SAVARA->Generate->WS-BPEL" menu item from the popup menu associated with the choreography description (.cdm) file.
When the dialog window is displayed, it will contain the list of services that can be generated, along with the project names that will be created. The user can unselect the services they do not wish to generate (also using the 'Check All' or 'Clear All' buttons).
The user can also select their preferred build system, which will create the relevant build structure.
If there is a problem with the name of the project select, such as invalid characters used in the name, or the project name already exists, then it will be displayed in red.
Once the BPEL is generated, it can be viewed using the Eclipse BPEL editor, e.g.
This initial version of the BPEL generation is primarily targeted at generating the interactions and grouping constructs. These are the important components that will be required when doing conformance checking as part of the next milestone.
This means that assignments and conditional expressions are not currently generated. The 'when' construct in CDL (also known as the blocking workunit) is also not currently handled. This may possible be implemented using flow links.