Domain
User
Command
The SUT operator selects the message of interest and asks the tool to verify its conformance to the specification.
Read models (Data views)
List of exchanged messages
Screen layout
Record message display page