Slide 1Statecharts Executable Visual Languages for System Development, Fall 2010 Slide 2 Executable Visual Languages for System Development2 This lecture The Rhapsody semantics…