Faculty of Engineering: Department of Computing

Note: Your browser does not support javascript or you have javascript turned off. Although this will not affect your accessibility to the content of this site, some of the advanced navigation features may not be available to you.

Home

Note: Some of the graphical elements of this site are only visible to browsers that support accepted web standards. The content of this site is, however, accessible to any browser or Internet device.

LTSA and WS-Engineer for Sensoria Case Tool

Updates

LTSA UML Plug-in added to LTSA SCT plug-in services.
Help Guides available as HTML, PDF, WinHelp etc.

About

LTSA is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA supports specification animation to facilitate interactive exploration of system behaviour. The LTSA WS-Engineer plug-in is an extension to the LTSA Eclipse Plug-in which allows service models to be described by translation of the service process descriptions, and can be used to perform model-based verification of web service compositions.

Click the image to see further plug-in details.

Download

This version of LTSA is for Eclipse and the Sensoria Case Tool. All downloads are managed through an Eclipse Features Update Site (www.doc.ic.ac.uk/ltsa/eclipse).

Use Eclipse Software Update manager: http://www.doc.ic.ac.uk/ltsa/eclipse
Tool Category: Sensoria Case Tool Plug-ins
Dependencies:
- Sensoria Case Tool v3.0
- LTSA Eclipse (installed with LTSA Sensoria tools)
- WS-Engineer (installed with LTSA Sensoria tools)

Plug-in Help

A help guide is available in the following formats:

HTML (Online)
PDF (offline)
HTML Help (Windows .chm format) (offline)

EBook (.exe format in zip file) (offline)

Please send feedback to pagemaster: Howard Foster

[up]

Site Index |

OneStat