=== Semantics ===
Semantics (the science of meaning) in this context addresses the functional architecture: which task-level modules are taking care of what responsibility, and how they play together. Questions:
* What is the purpose of a module?
* What information is exchanged via an interface, what does it do for the use-case?