PauWare engine is a Java API, i.e., a set of Java classes and interfaces making up an execution engine for State Chart XML (SCXML) and UML State Machine Diagrams. Both are a variant of Harel's Statecharts, which are used to model and to implement reactive software-intensive systems.

Current version is 1.3 (February 2015)

For more information, please see:

PauWare view is a graphical simulator of SCXML documents and UML State Machine Diagrams. PauWare viewdedicated Web page is here.

We provide a bridge to translate SCXML state machine descriptions to executable state machines based on the PauWare engine API

License: 
LGPL3
Provider: 
UNIVERSITE DE PAU ET DES PAYS DE L'ADOUR
Keywords: 
Domain Specific Languages
Traces collection
Runtime verification and online testing
Code Generation
Simulation
main contact: 

Downloads

The PauWare engine API is divided into two editions. The first edition is compliant with the Java EE platform (Java EE 6, EJB 3.x). The second edition is dedicated to the Java ME platform. Both are compatible with Java SE (known compatibility is from J2SE, SDK, 1.4.x).

For additional information see the PauWARE download site

PauWare view can be downloaded from below link.

 

Documentation

PauWare Engine documentation site link is available below

PauWare View documentation site link is available below

Source Code

The Java source files of PauWare engine are available as downloadable NetBeans projects for Java EE and ME