State machines, statecharts, and actors for complex logic