SMC Gallery

SMC now generates Graphviz DOT files with the -graph command line option. The images below were generated from the SMC examples. -glevel refers to amount of detail placed into the DOT file: 0 is the least detail and 2 is the greatest.

For more information on using the -graph and -glevel options see SMC Programmer's Manual Section 10: Get the Picture.

EX1
examples/Java/EX1/AppClass.sm (-glevel 0)
EX2
examples/Java/EX2/AppClass.sm (-glevel 1)
EX3
examples/Java/EX3/AppClass.sm (-glevel 0)
EX4 Vehicle
examples/Java/EX4/Stoplight.sm (-glevel 1)
EX4 Vehicle
examples/Java/EX4/Vehicle.sm (-glevel 1)
EX5 Task
examples/Java/EX5/Task.sm (-glevel 2)
EX5 TaskManager
examples/Java/EX5/TaskManager.sm (-glevel 2)
EX6
examples/Java/EX6/TcpConnection.sm (-glevel 2)
Telephone_sm.dot (before)
examples/Java/EX7/Telphone.sm (-glevel 1, unmodified)
Telephone_sm.dot (after)
examples/Java/EX7/Telephone.sm (-glevel 1, modified)
green: Start states, push transitions
red: pop transitions
gold: Default states, default transitions