Charles ANDRÉ
This report is an introduction
to SyncCharts (Synchronous Charts) a new graphical representation of reactive
behaviors based on the synchronous paradigm. Syntactically this model is close
to Statecharts and Argos. It offers enhanced preemption capabilities. Its semantics
is formally defined and any Synchronous Charts can be translated into an equivalent
Esterel program.
SyncCharts combines state-oriented descriptions, hierarchy and powerful preemption
mechanisms. It is fully compatible with the imperative synchronous language
Esterel and it encourages programming with both textual and graphical reprensentations.
@TECHREPORT{sp:synccharts,
AUTHOR = "Charles Andr\'e",
TITLE = "SyncCharts: a Visual Representation of Reactive Behaviors",
YEAR = {1996},
NUMBER = {RR 95--52, rev. RR (96--56)},
INSTITUTION = "I3S",
MONTH = {Rev. April},
ADDRESS = {Sophia-Antipolis, France}
}