Warning: Can't synchronize with repository "(default)" (/local/svn/repos/sde does not appear to be a Subversion repository.). Look in the Trac log for more information.

Changes between Version 1 and Version 2 of SpinAndUppaalWebServices


Ignore:
Timestamp:
05/24/07 19:39:10 (10 years ago)
Author:
mayer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SpinAndUppaalWebServices

    v1 v2  
    1212== Installation == 
    1313 
    14  * Download and install Apache Tomcat (tested with 5.5.20) 
    15  * Download and deploy Apache Axis within Tomcat (tested with 1.4) 
     14 * SPIN and UPPAAL executables must be on the local PATH. 
     15 * Download and install [http://tomcat.apache.org/ Apache Tomcat] (tested with 5.5.20) 
     16 * Download and deploy [http://ws.apache.org/axis/ Apache Axis] within Tomcat (tested with 1.4) 
    1617 * Deploy the Web services inside the Axis directory (using the ant scripts provided)