A descrição de um conjunto de seqüências de ações, incluindo variantes, que um sistema realiza, fornecendo o resultado observável de um valor de um ator [BOO2000].