A Alguns mecanismos de especificação comportamental são possíveis, tais como atividades utilizando redes neurais e interações utilizando o teorema deNyquist.
B Em máquinas de estado, uma transição é um arco direcionado partindo de um vértice origem e terminando em um vértice destino (origem e destino podem ser o mesmo vértice).
C Em relação aos valores denominados literais, há quatro especificações:LiteralNull, LiteralString, LiteralInteger e LiteralFloat.
D Packagesfornecem estruturas especializadas, não suportando qualquer tipo de estrutura genérica.
E Use casessão utilizados com o propósito de mostrar o que se espera de sistemas. Os conceitos-chave utilizados são os assuntos, diretores e cabeçalhos.