Dado um modelo clássico de diagrama de sequência, conforme a seguir,


Imagem associada para resolução da questão

a representação de lógica por meio de restrições está presente em: