|
|
For future work, we foresee restoring Class Diagram functionality in our fork of the SCCD project. We also think a small extension to the semantics of SCCD could mimic YAKINDU's \emph{event-driven} execution perfectly. We could also adopt other features of YAKINDU (and other statechart implementations), such as choice pseudo-states, entry- and exit-points and forks and joins.
|
|
|
+For the action language, the static analyzer could be extended to detect the memory locations potentially (depending on branches taken) read and written by statements and expressions. This could be used for (1) statically detecting whether evaluation of a guard condition potentially causes the statechart's variables to be written (an error currently only detected at runtime), and (2) potentially implementing the semantic option \textsc{Dataflow} for Order of Small Steps (OOSS).
|
|
|
Since the language of SCCD is platform-independent, the execution runtime should be ported to different platforms, as was the original intention. Lessons learned from the separation of statechart execution from the rest of the runtime (event queueing etc.), and insight into YAKINDU's optimized code generation, could fuel a new attempt at developing a multi-semantics, multi-target code generator.
|
