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 Initial Version and Version 1 of SpinAndUppaalWebServices


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

--

Legend:

Unmodified
Added
Removed
Modified

  • SpinAndUppaalWebServices

    v1 v1  
     1= SPIN and UPPAAL model checkers = 
     2 
     3Among the example tools for the Case Tool are wrappers for SPIN and UPPAAL. The wrappers call Web services, which in turn call the Spin and Uppaal executables (which must be in the PATH of the Web service container). 
     4 
     5The Web services are provided as Java classes dependent on Axis.  
     6 
     7== Download == 
     8 
     9 * SPIN: 
     10 * UPPAAL: 
     11 
     12== Installation == 
     13 
     14 * Download and install Apache Tomcat (tested with 5.5.20) 
     15 * Download and deploy Apache Axis within Tomcat (tested with 1.4) 
     16 * Deploy the Web services inside the Axis directory (using the ant scripts provided)