Os vários diagramas que fazem parte de UML 2.5 proporcionam...

Os vários diagramas que fazem parte de UML 2.5 proporcionam representações gráficas de modelos do sistema. No entanto, estas representações gráficas, muitas vezes, não são suficientes; muitas vezes, pré-condições ou pós-condições devem ser satisfeitas antes de completar alguma ação especificada. __________ complementa UML, permitindo especificar pré e pós-condições de uma maneira formal.

A alternativa que contém o termo que completa corretamente a lacuna do texto acima é