Synccharts: A visual representation of reactive behaviors
暂无分享,去创建一个
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 o ers enhanced preemption capabilities. Its semantics is formally de ned 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.
[1] Gérard Berry,et al. Preemption in Concurrent Systems , 1993, FSTTCS.
[2] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[3] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[4] Michael von der Beeck,et al. A Comparison of Statecharts Variants , 1994, FTRTFT.
[5] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..