Search Results for "uml"

A web design notation designed to be more lightweight than UML and to be understandable by those who do not come from a formal S/W Engineering background. The notation allows you to create a very high-level diagram (map) of a web-application.

FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .

jUML is a UML diagram application capable of reverse engineering Java source code to create relationship diagrams, source code generation based on a user created UML diagram, and saving/restoring of jUML projects.

DEVSimPy is an advanced wxPython GUI for the modeling and simulation of systems based on the DEVS (Discrete EVent system Specification) formalism. Features include powerful built-in editor, advanced modeling approach, powerful discrete event simulation algorithm, import/export DEVS components library and more.