How can we (precisely) capture behavior?
We may think of languages (C, C++), but computation model is the key
Common computation models:
Sequential program model
Statements, rules for composing statements, semantics for executing them
Communicating process model
Multiple sequential programs running concurrently
State machine model
For control dominated systems, monitors control inputs, sets control outputs
Dataflow model
For data dominated systems, transforms input data streams into output streams
Object-oriented model
For breaking complex software into simpler, well-defined pieces