Considere o diagrama a seguir: É correto afirmar que

A Ação de Enviar para a produção ocorrerá antes da saída do estado Novo?

Sávio, também achei estranha a afirmação. Eu entraria com recurso pela anulação da questao, visto que nenhuma das alternativas está correta, pois:

Alternativa A) O objeto poderá ter cinco estados durante a sua execução, sendo estes Novo, Em Produção, Editado (subestado), Gravado (subestado) e Finalizado, como explica a mesma referência na página 311: "... Um subestado é um estado aninhado em um outro estado. Por exemplo, um Heater poderá estar no estado Heating, mas também, enquanto se encontra nesse estado, poderá haver um estado aninhado, chamado Activating. Nesse caso, é adequado dizer que o objeto está tanto Heating quanto Activating.";

Alternativa B) O objeto no estado Em Produção poderá ficar nesse estado, ficar nos estados Em Produção e Gravado, ficar nos estados Em Produção e Editado ou mudar para o estado Finalizado;

Alternativa C) De acordo com o Guia do Usuário UML 2ª Edição, na página 307, quando explica sobre Efeitos: "Um efeito é um comportamento executado quando uma transição é acionada. ...A execução do efeito de uma transição e quaisquer entradas associadas e efeitos de saída concorrem para a conclusão antes de qualquer evento adicional poder causar transições adicionais.". Isso não diz que os efeitos de saída executam antes da transiçao; diz que os efeitos de saída devem ser executados antes que qualquer outro evento possa causar outra transição. Além disso o seguinte texto, extraído da página 309 da mesma fonte: "Sempre que você entrar no estado, sua ação de entrada será iniciada; sempre que deixar o estado, a ação de saída será iniciada." explicita que a ação de saída é iniciada na saída do estado, portanto, não antes da saída do estado.

Alternativa D) Os estados Em Produção e Editado podem mudar para o estado Finalizado também.

Amigo, no livro citado por você mesmo (Paulo Filho), ele possui o seguinte trecho para a atividade exit: "Sempre que vai sair de um estado, o comportamento identificado por essa cláusula é executado antes de o estado ser abandonado".

Concordam que não faz sentido ele sair de um estado e a ação do estado a qual ele nem faz mais parte ainda ser executada... não é lógico isso.

c-

Pesquisei e nao encontrei informação que justificasse a opção. Deve ser a definição de algum autor indicado pelo edital.

Revisando o diagrama de estados:

Principais componentes: estado, evento. Mostra os estados de objeto em seu ciclo de vida. É usado para ver como mudanças acontecem, definindo as trocas de mensagens e os métodos que as controlam.Os estados devem descrever a situação do objeto (e.g.: fechado, aberto; on, off; esperando, ok etc). Sub-estados sao estados que ocorrem dentro de um estado principal (na questao, o estado Em produção abrange 2 sub-estados: gravado e editado). As transições descrevem os eventos que levam a outro estado. Os estados devem ter transições para dentro e para fora. Guardas (guard conditions) indicam if..else  ou o do diagrama de caso de uso e indicam o caminho entre estados ou ate mesmo o fim. O loop geralmente é uma função recursiva- um estado questionando ele mesmo ate uma condicao ser preenchida.

Chutaço no gol!