Reactive Blocks is a visual model-driven development environment supporting formal model analysis, automated code generation, hierarchical modelling, and an extensive library of ready-to-use components for the Java platform. By combining re-usable blocks, a developer can create complex applications graphically.
Visual Application Development
Visual application development not only makes it easier to grasp a complex application at a glance, but it also eases the interaction between technical and non-technical stakeholders.
Formal Stateful Analysis
The formal stateful analysis helps to spot mistakes and errors early during development. Common issues like uncoordinated termination are highlighted right-away.
State Space Animation
In order to better understand the potential states a system can reach, Reactive Blocks allows the visual interactive navigation of reachable states and possible events.
A specific combination of state and event can also be directly invoked from an issue found during analysis.