(c) 2007 Mauro Pezzè & Michal Young Ch 5, slide 2 Learning objectives Understand goals and implications of finite state abstraction Learn how to model program control flow with graphs Learn how to model the software system structure with call graphs Learn how to model finite state behavior with finite state machines
{}