4. Execution model