SyncCharts
SyncCharts is a graphical formalism dedicated to reactive system modeling. It allows specifying the reactive behavior, and the synchronous programming, of applications. SyncCharts is the name of the model. A syncChart is an instance. This language was created by Prof. Charles André.
SyncCharts inherits many features from Statecharts, and Argos. An academic distribution is available on Sports Project. A commercial distribution is in Esterel Studio, from Synfora. Any syncChart can be automatically translated into an Esterel program, so users can use the Esterel software environment developed for synchronous programming.