Lecture Notes for Concurrent Programming

7 August 2003 - State Machines and Statecharts.


Outline


Motivation


State-Based Notations


States


Transitions


Events


State Machines


The State Machine Advantage


The Example Extended

two-thread mutual exclusion


The Example Continued


State Machine Problems


Blobs


Overlapping Blobs


Nesting and Hierarchy

zooming blobs


Edges


Events


Events and Hierarchy


Statecharts


Concurrency


Evaluation


Points to Remember


This page last modified on 14 August 2003.