Text this: Modelagem de sistemas de informação para a mineração de processos: características e propriedades das linguagens