Download PUPPET - User Manual - LabSEDC Wiki

Platform Java jdk1.6 or later
Download Download the official version of P UPPET in PLASTIC at http://plastic.isti.cnr.it/
download/tools
Documents Related documents on the approach, the architectural description, and the implementation of
P UPPET are [4, 3, 2, 6, 7].
Tasks N/A
Bugs This version is affected by the following known bugs. We are keep working on P UPPET in order to
completely remove them.
• Using P UPPET , please do not refer to any path that includes any blank. For example, you should
not use the path : “C:\Documents and Settings\∗”.
• Occasionally, the generation process may end with the message “parsing done” even though
the executions failed. This is due to some exceptions that was not correctely caught.
Patches N/A
Contact [email protected], [email protected]
3 Deployment
3.1 Install
Unzip the archive PuppetD4.4.tgz and configure the environmental CLASSPATH with the required libs indicated above.
The directory structure is the following:
• PuppetD4.3
– doc
– example
– externalLibs
– puppet.jar
– puppetLibs
– puppet.sh
– runPuppet.bat
– src
– xml
The directory PuppetD4.4/doc contains this manual. The directory PuppetD4.4/xml contains the definitions mapping of the WS-Agreement statements into the Java code. The directory PuppetD4.4/puppetLibs
contains the libraries required by P UPPET in order to run. As your preference, you would append the
name of the .jar files in PuppetD4.3/puppetLibs and the external library to the Java CLASSPATH variable.
PuppetD4.3/puppet.sh and PuppetD4.3/runPuppet.bat are exacutable batch scripts that set the Java CLASSPATH variable and run P UPPET on a given input file. When you use such scripts, please copy the external
libraries into the directory PuppetD4.4/externalLibs.
3