Modeling Screenshots

Applying the recipe to the Airconditioning example yields the following figures.

Context Diagram:

Airco Context

Class Diagram with interface:

Airco Protocol

Protocol State Machine (server role):

Airco Protocol  State Machine

Composite Structure Diagram:

Airco Component Structure

Airco Sequence Diagram:

Airco Sequence Diagram

Finite State Machine:

Airco Finite State Machine

Generated sequence diagram from verification scenario:

Airco sequence diagram from verification scenario