[Savannah-hackers] submission of SVM - savannah.gnu.org

[hfeng2]

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:
Linux, Python, Jython, PVM, Pygame

Other Comments:



_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/