© 2004 Clemson University
18
John D. McGregor
The goal
The goal is to have sufficient semantics to fully describe a
system.