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


Ignore:
Timestamp:
12/14/07 15:10:08 (9 years ago)
Author:
mayer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SpinAndUppaalWebServices

    v6 v7  
    11= SPIN and UPPAAL model checkers = 
    22 
    3 Among 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). 
     3Among the example tools for the Sensoria Development Environment 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). 
    44 
    55The Web services are provided as Java classes dependent on Axis.