Reactive Blocks

Screenshot of Reactive Blocks

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.

  • Intuitive understanding
  • UML Activity diagram based
  • Direct feedback about errors
  • Better communication with customers

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.

  • Early discovery of mistakes and errors
  • Easy localisation of the problem
  • Quick-fixes for identified issues

Placeholder


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.

  • Navigate the states of your systems
  • See possible events in each state
  • Directly jump to the relevant state and event related to an issue

Community Edition


  • Visual application development
  • Formal stateful analysis
  • State space animation
  • Library of ready-to-use Building Blocks
  • Development of public-shared Building Blocks
  • Development of private Building Blocks
  • Team sharing of private Building Blocks
  • Code generation for Java Standard Edition
  • Code generation for OSGi
  • Code generation for Kura
  • Code generation for ESF
  • Professional support

Download Reactive Blocks

Professional Edition


  • Visual application development
  • Formal stateful analysis
  • State space animation
  • Library of ready-to-use Building Blocks
  • Development of public-shared Building Blocks
  • Development of private Building Blocks
  • Team sharing of private Building Blocks
  • Code generation for Java Standard Edition
  • Code generation for OSGi
  • Code generation for Kura
  • Code generation for ESF
  • Professional support

Order Professional License