Search Results for "state machine editor"

Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal...

This is a set of regular grammar inference libraries. It contains tools to visualise the resulting grammar as a finite state machine and to actively contribute to the inference process. The repository has now moved to https://github.com/kirilluk/statechum

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

JUMLStateMachine is a Java library implementing a state machine by the UML standard. The purpose for the library is to be easily usable for small state machines, yet extendable and scalable for larger and more complex ones.

MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ...

Simple implementation of finite state machine concepts. The project contain ease-to-use library and modeling graphical tool. Project define simple identical API for Finite State Machines for both language bindings (C# and Java).

A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.

This project has been moved to the Tungsten project, which contains a number of Tungsten technologies together. Please visit at http://sourceforge.net/projects/tungsten. This project will not be further maintained.

Many design artifacts can be directly executed. UML state processes can be executed by a state machine; UML sequence diagrams can be executed directly. ExecDesign will be a suite of Java tools which can be used to document and execute UML designs.

jStates is a java library for easy state machine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies

This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.