期刊名称：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
印刷版ISSN：2316-8889
出版年度：2015
卷号：4
期号：1
页码：383
DOI：10.5753/cbie.wcbie.2015.383
语种：Portuguese
出版社：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
摘要：Este artigo apresenta a ferramenta ATID - Authoring Tool for Instructional Design. A ATID permite que um professor ou designer instrucional consiga modelar o sequenciamento das atividades de uma disciplina ou curso, considerando as condições para a transição entre elas. A notação utilizada pela ferramenta é a Rede de Atividades de Alto Nível, a qual permite modelar atividades simples, sub redes, transições e repositórios. A notação está baseada em Redes de Petri, o que permite a verificação do modelo construído, identificando atividades que foram propostas mas que não necessitam ser finalizadas ou situações de deadlock, em que o aluno não consegue finalizar o curso.
