installation error

[DJ3SA]

when I tried to install "Iaml Verification with Crocopat" I got this
error message.

----------------------------------------
An error occurred while collecting items to be installed
session context was:(profile=SDKProfile,
phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=,
action=).
Artifact not found: osgi.bundle,org.openiaml.model.actions.crocopat,
0.4.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org.openiaml.model.actions.crocopat_0.4.1.200912071124.jar
Artifact not found: osgi.bundle,org.openiaml.verification.crocopat,
0.4.0.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org.openiaml.verification.crocopat_0.4.0.200912071124.jar
Artifact not found:
org.eclipse.update.feature,org.openiaml.verification.crocopat.feature,
0.4.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/features/org.openiaml.verification.crocopat.feature_0.4.1.200912071124.jar
Artifact not found: osgi.bundle,org.sosy_lab.crocopat.cli,
0.0.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org.sosy_lab.crocopat.cli_0.0.1.200912071124.jar
-------------------------------------------

Eclipse Platform Version: 3.6.0 Build id: I20100608-0911

[Jevon Wright]

Hi,

I haven't updated the Crocopat plugin for a while, but I will be looking at it again before the end of the year and re-releasing it to 0.6. The "IAML verification with Crocopat" plugin is only designed as a demo for verification of IAML models using Crocopat, and doesn't support verification of any other type with Crocopat.

I'd recommend keeping an eye out on the releases for the upcoming Crocopat reintegration. In the meantime you might want to check out the Crocopat plugin from SVN directly, in the following branch: http://iaml.googlecode.com/svn/branches/2009-08-owl/

You may need to check out IAML 0.4.1 separately, or download & install 0.4.1 [1] and build it yourself [2]. It may also only work on Eclipse 3.3. Unfortunately you will need to have strong experience with generating GMF editors to build the plugin, as the documentation isn't complete yet.

Hope this helps,
Jevon

[1]: http://iaml.googlecode.com/svn/tags/version-0.4.1/
[2]: http://code.google.com/p/iaml/wiki/Development