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:
- Harel's Statecharts
- The Unified Modeling Language (UML) at the Object Management Group (OMG)
- State Chart XML (SCXML)
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
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:
Franck Barbier
License:
LGPL3
Keywords
Project funded by the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No 737494. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Sweden, France, Spain, Italy, Finland, Czech Republic.