A graphical representation of a system using formal logic. It displays the existence of functional elements and the paths by which they interact with each other. Includes SAMA drawings.