Estou criando um Web IDE (WIDE) para provar teoremas em Ciência da Computação. Você deve saber, existem três assitentes de provas mais comuns que chamam Athena, Isabelle e Coq. A maioria dos cientistas da computação pode esquecer sua sintaxe, escopos, etc. Meu Web IDE funciona com exemplos e exemplos de arrastar e soltar. Você pode editar e escrever um código adicional, baixar, compartilhar, salvar etc. Ele também possui um analisador próprio. Até agora está tudo bem. Cuidado! Aqui está minha pergunta: Como posso executar os códigos dos usuários e obter o resultado (especialmente para o Athenahttp://proofcentral.org/) quando o usuário gostaria de executar seu código no meu Web IDE. Na verdade, eu posso fazer isso via mouse_event (user32) e outros com pinvoke (invocação de plataforma). Meu programa envia os códigos via Web para o PC em execução (não o servidor. Como o servidor não possui tela, portanto, o programa não sabe clicar para onde), então o PC obtém os códigos. Em seguida, o programa clique no ícone "emacs". Após alguns segundos (para abrir e carregar dlls do Athena), o programa cola o código que o Athena codifica no shell do emacs. O Emacs executa esses códigos e retorna o resultado. Depois que o programa selecionar, copie e retorne o resultado ao Web IDE. No entanto, esta é uma maneira esquisita e complicada. Eu gostaria de fazer o melhor caminho. Agradecimentos para sua atenção. Melhor