|
Creating a new BPEL4WS project
| 1. | From the Eclipse menu bar, select File -> New -> Project. |
| 1. | Select the Simple -> Project as the type you wish to create and select Next. |
| 1. | Enter the name of the new project as LTSABPEL and select Next. |
Importing a sample BPEL4WS process
| 1. | Locate the installation directory of IBM BPWS4J Engine. |
| 1. | From the Eclipse menu bar, select File -> Import -> File System and select Next. |
| 1. | Select the Samples folder in the IBM BPWS4J Installation directory and ensure the "Into Folder" contains the value LTSABPEL. |
| 1. | Click Finish to import the samples folder, which will display its content in the Navigator view of the Eclipse workbench. |
Opening a sample BPEL4WS process in the BPEL4WS LTSA Editor view
| 1. | Navigate to the Marketplace example in the LTSABPEL4WS/marketplace folder using the Navigator view. |
| 1. | Open the folder, and select the marketplace.bpel file. |
| 1. | Right-click the marketplace.bpel file, and select Open With -> LTSA-BPEL Editor to open the bpel file. |
Figure 2. BPEL LTSA Editor View for new LTS
| 1. | The bpel file will be opened in the LTSA-BPEL editor. Also notice that the Outline view contains some entries for the formal process outline, including Constants, Sets, Ranges, Compositions, Processes and Properties. |
| 1. | To initially populate the outline view, select Build -> Translate from the Eclipse Workbench menu items. |
| 1. | The Outline view will now contain some entries for compositions of the BPEL4WS process. |
| 1. | The above features are illustrated in Figure 3. |
Figure Features illustrated in LTSA-BPEL Editor
Compiling processes and compositions
| 1. | Note that each of the compositions listed in the Outline->Compositions children are parallel processes formed from translation of the BPEL process. |
| 1. | To compile a composition into Finite State Machine, right-click a composition (e.g. MARKETPLACE_BPELModel). |
| 1. | Select the compile sub-menu item. |
| 1. | Notice that a compilation job is started, and compilation progress listed in the Output View (Figure 4). |
| 1. | Scroll the Output View to determine the result of compilation. |
Figure 4 Compile action (left) and Output View of compiled processes (right)
View the process in the Graphical LTS Process Draw view
| 1. | Switch to the LTS Process view. If this view is not visible, enable it by Window -> Show View -> Other -> LTSA -> LTS Process. |
| 1. | Select the MARKETPLACE_SEQUENCE1 process (from the left hand of the view pane listing the processes compiled). |
| 1. | Use the Expand/Reduce Height/Width view toolbar to expand or reduce the drawing canvas. |
Figure Process view as Graphical LTS Draw
Viewing and editing the BPEL4WS Process Finite State Process (FSP)
| 1. | Select the FSP Editor window for the marketplace.bpel file. |
| 1. | This editor lists the FSP representation for the BPEL4WS process (as illustrated in Figure 5). |
Figure 5Editor View for FSP source code of BPEL4WS parallel composition definitions
| 1. | This editor can also be used to specify any additional FSP properties or processes required. |
END OF TUTORIAL
Author: Howard Foster - 14/03/2005
|