To design or describe a user interfaces in MAUI, you need to understand the model of interfaces it uses. This is a fairly straightforward finite state machine model, with some extra features.
To specify and analyse a interface's behaviour you need to understand about interface designs and event algebras