A Graphical Editor Proposal for Developing Concurrent, Hierarchical, Finite State Machines

Concurrent, hierarchical, finite state machines (CHSMs), a realization of state-charts, can be a valuable tool for modeling and implementing reactive systems. A language system for building CHSMs has been developed; the next step is to add a graphical-editor to allow the user to draw the statecharts.