Communicating StateCharts (CSC)

We propose a new concurrency framework called Communicating StateCharts (CSC) with the potential to simplify the teaching concurrency to beginners. CSC was designed based on five main principles chosen to reduce barriers for beginners: using software visualization, Model-Driven Development (MDD), pure functions, Separation of Concerns (SoC), and---most importantly---raising the level of abstraction. To address these principles, we adopted features from existing concurrency models (i.e., process calculi and the actor model) in alignment with the principles, resulting in CSC's atomic statecharts, communicating through channels. We also present CSCDraw, a visual MDD tool to support CSC.