Only three Formal Sayings

define the semantics of the SA Language:

The Model Definition: 

M models A to the extent that M correctly answers questions about A.

The most basic model is a proper name for A.  

The Structured Analysis Maxim: 
Everything worth saying
About anything worth saying something about
Must be expressed in six-or-fewer pieces.
__________[Widen your view so centering can help]_____________________ 

 

The pieces are the Structured Analysis Box:

with the Formal Saying: (for its semantics)
Under ¯ Control

Input ® is transformed into ® Output

by the Ý Mechanism

— which augments the inherited means

Notice that of these three sayings, only this one has graphics [TBD], but the following purely-graphical Formal Showings [TBD] complete the job!