Concurso:
Prefeitura de Carneirinho - MG
Disciplina:
Arquitetura de Software
Dado um modelo clássico de diagrama de sequência, conforme a seguir,

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