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
(New page: === Description === === Installation === === Execution === === Manual execution === === Interesting points of the solution === ==== Metamodels ==== ==== Import/Export ==== ==== ...) |
(→Installation) |
||
Line 2: | Line 2: | ||
=== Installation === | === Installation === | ||
+ | |||
+ | The solution can be easily installed into an Eclipse (3.5+) using our dedicated [http://mit.bme.hu/~hegedusa/bpelVerification/bpelVerif-site/ 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. | ||
+ | |||
+ | [[Image:VIATRA2_BPELVerif_install.jpg | frame | center | Fig. 1: Install BPEL Verification Tool from Eclipse Update Site]] | ||
=== Execution === | === Execution === |
Revision as of 08:42, 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.