Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "VIATRA2/BPELVerif"
< VIATRA2
(→Installation) |
(→Execution) |
||
Line 8: | Line 8: | ||
=== Execution === | === Execution === | ||
+ | |||
+ | Open the two views included in the tool, the BPEL Verification Tool and the BPEL Animation Controller, both can be found by selecting "Window/Show View/Other..." and then opening the BPEL Verification category. | ||
+ | |||
+ | The suggested layout for the opened views can be observed in the following image (drag and drop the views to move them to the side bar and resize them as necessary): | ||
=== Manual execution === | === Manual execution === |
Revision as of 09:41, 21 July 2010
Contents
Description
Installation
The solution can be easily installed into an Eclipse (3.5+) using our dedicated update site. After selecting all the features, the plugin dependencies are automatically resolved, as long as you have the default Eclipse update site (Galileo/Helios) and have the "Contact all update sites..." enabled.
Execution
Open the two views included in the tool, the BPEL Verification Tool and the BPEL Animation Controller, both can be found by selecting "Window/Show View/Other..." and then opening the BPEL Verification category.
The suggested layout for the opened views can be observed in the following image (drag and drop the views to move them to the side bar and resize them as necessary):