No processo de desenvolvimento de uma especificação, a definição de nomes das operações e a descrição das condições para a veracidade das distintas combinações entre as operações é realizada na: