期刊名称：Revista Brasileira de Informática na Educação
印刷版ISSN：1414-5685
出版年度：2007
卷号：15
期号：3
语种：Portuguese
出版社：Revista Brasileira de Informática na Educação
摘要：Objetos de Aprendizagem (OAs) são recursos digitais desenvolvidos para serem utilizados dentro do contexto educacional como ferramenta de apoio ao processo de aquisição de conhecimento do indivíduo. Tais recursos, evidenciados no Brasil por esforços como o do RIVED (Rede Interativa Virtual de Educação), têm mostrado a importância dos OAs, e, particularmente, das simulações e animações, como artefatos de software capazes de auxiliar a prática pedagógica. Contudo, em virtude do grau de complexidade dos requisitos envolvidos na produção desses artefatos, há a necessidade de se contar com diferentes tipos de profissionais, que possam responder, de forma coerente, pelo caráter tanto pedagógico quanto técnico. Entretanto, esse caráter multidisciplinar afeta o processo de desenvolvimento em virtude das imprecisões na comunicação dos diferentes tipos de requisitos entre esses profissionais. Nesse sentido, propomos nesse trabalho, a adoção de um modelo formal, denominado LOCPN (Learning Objects production with Colored Petri Nets), desenvolvido especificamente para auxiliar o processo de desenvolvimento de OAs. A eficácia da utilização de LOCPN é comprovada neste trabalho pela qualidade das implementações e pela redução significativa do tempo de produção de OAs.
关键词：Objetos de Aprendizagem; Modelo de Processo; Redes de Petri Colorida; Especificação formal.
