[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] submission of SVM - savannah.gnu.org
From: |
hfeng2 |
Subject: |
[Savannah-hackers] submission of SVM - savannah.gnu.org |
Date: |
Tue, 14 Oct 2003 14:46:56 -0400 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6a) Gecko/20031011 |
A package was submitted to savannah.gnu.org
This mail was sent to address@hidden, address@hidden
Thomas Huining Feng <address@hidden> described the package as follows:
License: gpl
Other License:
Package: SVM
System name: svm
Type: GNU
Description:
SVM (Statechart Virtual Machine) is a tool to interpret and simulate models
(written in a textural format) of an extended statechart formalism. It is
programmed in Python and Jython and aimed to facilitate software design with
UML formalisms. It supports real-time, scaled-time and virtual time simulation,
either on a single machine or distributedly (by PVM). Other tools are also
included in this project, such as statechart checker (which checks statechart
models with sequence diagrams, class diagrams and so on), output verifier
(which verifies the output trace with initial requirements), and so on.
SCC is another important part of this project, which compiles statecharts into
(very efficient) Java code. The execution result of the generated Java code is
exactly the same as the simulation result from the SVM interpreter. Hence, this
project covers the following phases in software engineering: model design,
checking, simulation, verification and code generation.
For more information and source code, please point to:
http://msdl.cs.mcgill.ca/people/tfeng/?research=svm
Other Software Required:
Other Comments:
Necessary comments and COPYING file added to the release and the nightly
tar-ball.
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/