Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.
Thomas Stauner, Klaus Schneider, Michaela Huhn · FBT · 1999
We give a translation of the visual description technique DiCharts to the synchronous language PURR. As a result, the design of a system can start with a graphical description technique at a very high-level and can then be automatically translated to the synchronous language PURR. This translation allows the further synthesis of the system and in particular, its verification.