Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado
Resumo
O planejamento e a aplicação do sequenciamento de atividades são tarefas realizadas durante o Design Instrucional, essenciais em um curso à distância. Tal planejamento deve levar em consideração os caminhos que um aluno percorre com o intuito de alcançar o aprendizado necessário. Porém, algumas situações podem ocorrer que se desviam do percurso normal do aprendizado, como atividades que não precisam ser realizadas ou caminhos que não são utilizados. O objetivo deste trabalho é apresentar a proposta de verificação de um Design Instrucional bem formado através da utilização do Grafo de Alcançabilidade aplicado à notação de Rede de Atividades de Alto Nível (RAAN).Referências
Dallacosta, A.; Cazetta, G.; Souza, S. G de. (2010). “Novas tecnologias aplicadas na elaboração de material instrucional online”. 3º Simpósio Hipertexto e Tecnologias na Educação (redes sociais e aprendizagem). Recife PE.
Farias, C. B. A. (2008). “Uma extensão de Rede de Petri para Modelagem de Processos e Controle de Projetos”. Tese de Doutorado. Orientador: Ulrich Schiel. Programa de Pós-Graduação em Engenharia Elétrica da Universidade Federal de Campina Grande. 281 páginas.
Fetaji, B; Fetaji, M. (2010). “E-Learning Indicators: A Multidimensional Model for Planning Developing and Evaluating E-Learning Software Solutions”. In: E-Learning, experiences and future. Edited by Safeeullah Soomro and published by In-Teh. Pag 134.
Filatro, A. (2010). “Design Instrucional Contextualizado – educação e tecnologia”. 3ª edição. Editora Senac – São Paulo. 215 páginas.
Jensen, K. (1997). “Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use”. Volume 1. Second Edition. Springer-Verlag Berlin Heidelberg New York.
Nunes, I. D.; Schiel, U. (2011). “Design Instrucional e seu acompanhamento em tempo de execução utilizando Rede de Atividades”. 22º Simpósio Brasileiro de Informática na Educação SBIE. Aracajú – SE.
Pádua, S. I. D. de; Silva, A. R. Y. da; Inamasu, R. Y.; Porto, A. J. V. (2002). “Redes de Petri aplicadas aos Sistemas de Gerenciamento de Workflow”. XXII Encontro Nacional de Engenharia de Produção. Curitiba – PR. 2002.
Paraíba, H. L. P.; Escorel, J. B.; Vieira, P. A. P.; Britto, R.; Soares, W. L. F.; Nunes, I. D; Schiel, U. (2012). “ATID – Authoring Tool for Instructional Design”. International Free Software Workshop. In: 13º FISL – Fórum Internacional de Software Livre. Porto Alegre – RS. 2012.
Pommereau, F.; Devillers, R.; Klaudel, H. (2007). “Efficient reachability graph representation of Petri nets with unbounded counters”. Published by Elsevier Science B. V.
Spoelstra, H.; Matera, M.; Rusman, E.; Bruggen, J. van.; Koper, R. (2008). “Bridging the gap between instructional design and double loop learning”. International Journal of Web-Based Learning and Teaching Technologies (IJWLTT). Volume 3, Issue1. 12 pp.
Farias, C. B. A. (2008). “Uma extensão de Rede de Petri para Modelagem de Processos e Controle de Projetos”. Tese de Doutorado. Orientador: Ulrich Schiel. Programa de Pós-Graduação em Engenharia Elétrica da Universidade Federal de Campina Grande. 281 páginas.
Fetaji, B; Fetaji, M. (2010). “E-Learning Indicators: A Multidimensional Model for Planning Developing and Evaluating E-Learning Software Solutions”. In: E-Learning, experiences and future. Edited by Safeeullah Soomro and published by In-Teh. Pag 134.
Filatro, A. (2010). “Design Instrucional Contextualizado – educação e tecnologia”. 3ª edição. Editora Senac – São Paulo. 215 páginas.
Jensen, K. (1997). “Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use”. Volume 1. Second Edition. Springer-Verlag Berlin Heidelberg New York.
Nunes, I. D.; Schiel, U. (2011). “Design Instrucional e seu acompanhamento em tempo de execução utilizando Rede de Atividades”. 22º Simpósio Brasileiro de Informática na Educação SBIE. Aracajú – SE.
Pádua, S. I. D. de; Silva, A. R. Y. da; Inamasu, R. Y.; Porto, A. J. V. (2002). “Redes de Petri aplicadas aos Sistemas de Gerenciamento de Workflow”. XXII Encontro Nacional de Engenharia de Produção. Curitiba – PR. 2002.
Paraíba, H. L. P.; Escorel, J. B.; Vieira, P. A. P.; Britto, R.; Soares, W. L. F.; Nunes, I. D; Schiel, U. (2012). “ATID – Authoring Tool for Instructional Design”. International Free Software Workshop. In: 13º FISL – Fórum Internacional de Software Livre. Porto Alegre – RS. 2012.
Pommereau, F.; Devillers, R.; Klaudel, H. (2007). “Efficient reachability graph representation of Petri nets with unbounded counters”. Published by Elsevier Science B. V.
Spoelstra, H.; Matera, M.; Rusman, E.; Bruggen, J. van.; Koper, R. (2008). “Bridging the gap between instructional design and double loop learning”. International Journal of Web-Based Learning and Teaching Technologies (IJWLTT). Volume 3, Issue1. 12 pp.
Publicado
23/07/2013
Como Citar
NUNES, Isabel Dillmann; SCHIEL, Ulrich.
Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado . In: WORKSHOP DE DESAFIOS DA COMPUTAÇÃO APLICADA À EDUCAÇÃO (DESAFIE!), 2. , 2013, Maceió.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2013
.
p. 1396-1405.
