Modelagem em Redes de Petri de uma Proposta ScioInteracionista de Avaliao da Aprendizagem em um

Ambiente Virtual de Aprendizagem

F. Herbert Lima Vasconcelos1,2, Otlia Cassiano Nogueira1, F. Aparecida Prado
P.1, Thomaz Edson V. da S.1,2, Mauro Cavalcante Pequeno1,2, Giovanni C.
Barroso1, Joo Cesar M. Mota1
1

Departamento de Engenharia de Teleinformtica Centro de Tecnologia Universidade Federal do Cear (UFC)

Campus do Pici CEP: 60455-760 Fortaleza CE Brasil
2

Instituto UFC Virtual - Universidade Federal do Cear (UFC)

{herbert, mauro}@virtual.ufc.br, gcb@fisica.ufc.br, mota@gtel.ufc.br

Abstract. This paper presents an evaluation of learning based on sociointeractionism, for courses taught in the distance AVA. We describe the
qualitative and quantitative characteristics of this proposal (ASIBPq). A
modeling methodology is performed in Petri Nets to implement its
functionality in AVA SOLAR. Results show the feasibility of the model LOCPN
as a tool for formal specification of software and the potential of ASIBPq.
Resumo. Este artigo apresenta uma proposta de avaliao da aprendizagem
baseada no scio-interacionismo, para cursos ministrados a distncia em
AVA. So descritas as caractersticas qualitativas e quantitativas desta
proposta (ASIBPq). Uma modelagem da metodologia proposta realizada em
Redes de Petri para implementar suas funcionalidades no AVA SOLAR. Os
resultados alcanados demonstram a viabilidade do modelo LOCPN como
ferramenta de especificao formal de software e as potencialidades da
ASIBPq.

1. Introduo
O processo de avaliao necessrio em todos os sistemas educacionais, seja presencial
ou distncia. A avaliao discente no contexto educacional deve ser vista como um
processo que tem como finalidade verificar o aprendizado de um aluno.
Entretanto, esta prtica muitas vezes realizada atravs de atividades de carter
meramente verificacionista, classificatrio e tradicional, por meio de instrumentos que
aferem o desempenho dos alunos. Segundo Luckesi [1999], a avaliao da
aprendizagem no tem sido genuinamente realizada com um carter contnuo e
formativo. Pelo contrrio, a avaliao tem sido realizada por meio de exames que
possuem um carter pontual, classificatrio e no amoroso [Luckesi, 1999].
A definio de um processo de avaliao coerente tem sido uma das dificuldades
que se destacam na modalidade da Educao a Distncia (EaD). Um dos contextos
atuais da EaD no Brasil, o projeto Universidade Aberta do Brasil (UAB), que se utiliza
de tecnologias computacionais de informao e comunicao atravs de Ambientes
Virtuais de Aprendizagem (AVA) para promover cursos de graduao em nvel de
Licenciatura e Bacharelado. Estes cursos ocorrem por meio de uma proposta semipresencial, em que so realizados encontros presenciais em Plos de Ensino, alm da

intensiva complementao de atividades a distncia [David et al, 2007]. Porm, o que se

percebe que estas atividades a distncia realizadas por meio de AVA so em muitos
casos avaliadas de forma restrita, atravs da quantificao de participaes e acessos e
da realizao de provas objetivas como testes de mltipla escolha [David et al, 2007].
Em pesquisas como Dias [2007], Freire [1997], Martn-Barbero [1998] e Silva
[2005], so apontados alguns aspectos que devem permear a avaliao docente e que
tem relevncia para o contexto dos AVA por independerem de um contato presencial:
capacidade de estmulo curiosidade do aluno, criticidade e autonomia, de motivar o
aluno concluir o curso, problematizar assuntos, oportunizar troca de conhecimento,
estimular a co-autoria, coordenar equipes de trabalho, alm de conduzir-se de forma
tica e ter suas contribuies/participaes em AVA (chats, fruns, listas de discusso)
avaliadas.
Segundo David et al [2007] a educao no mundo contempornea, seja
presencial ou a distncia, demanda a implementao de prticas pedaggicas que
enfatizam os processos de interao entre os participantes. necessrio avaliar em uma
perspectiva scio-interacionista, que significa valorizar as trocas comunicativas que
acontecem durante um curso a distncia e no somente a leitura dos materiais seguida da
elaborao de atividades solicitadas ao final de cada aula [David et al, 2007].
Diante desta perspectiva o objetivo deste artigo apresentar uma proposta de
avaliao scio-interacionista para um AVA em disciplinas das reas das Cincias
Exatas. Iremos realizar sua descrio por meio de parmetros qualitativos e
quantitativos. Em seguida, ser realizada a modelagem desta proposta metodolgica na
forma de uma ferramenta interativa de avaliao em uma plataforma de ensino real
utilizando o modelo LOCPN [Souza et al, 2007] em Redes de Petri [Murata, 1989].
Este artigo est organizado em cinco sees. Na seo 2, apresentaremos a
proposta de Avaliao Scio-Interacionista baseada em Parmetros Quantitativos e
Quantitativos (ASIBPq) de mensurao. Na seo 3, descreveremos as equaes que
modelam estes parmetros. Na seo 4, apresentaremos os resultados da Modelagem em
Redes de Petri da ASIBPq em um AVA utilizado por cursos de graduao da UAB de
uma IFES no nordeste brasileiro. Finalmente, na seo 5 sintetizamos as contribuies
finais deste trabalho e apresentamos sugestes para trabalhos futuros.

2. A Avaliao do Aprendizado no contexto Scio-Interacionista

Para Libneo [1991], a avaliao uma tarefa didtica essencial para o trabalho docente.
Por apresentar uma grande complexidade de fatores, ela no pode ser resumida a
simples realizao de provas e atribuio de notas. A mensurao apenas fornece dados
quantitativos que devem ser apreciados qualitativamente. Segundo Haydt [2002], avaliar
atribuir um julgamento ou apreciao de alguma coisa ou de algum com base em uma
escala de valores. Logo, a avaliao consiste em coletar e interpretar dados quantitativos
e qualitativos de critrios previamente estabelecidos.
A avaliao, entendida como uma ao pedaggica necessria para a qualidade
do processo ensino-aprendizagem, deve cumprir, basicamente, trs funes didticopedaggicas: funo diagnstica, funo formativa e funo somtica [Haydt, 2002;
Libneo, 1991; Piletti, op. Cit.].
Segundo David et al [2007], um modelo de avaliao scio-interacionista
composto por quatro tipos de atividades desenvolvidas pelos alunos: (i) a participao
em Fruns de Socializao, os (ii) Fruns Sobre Contedo, as (iii) Produes Textuais
Individuais e as participaes nas (iv) Sesses de Chat. Este modelo tem como base a
atribuio de um peso a nota final e pontuaes pr estabelecidas de forma

algortmica. Entretanto, ressalta-se que este modelo no quantifica todo o processo de

pontuao gerado por uma avaliao em um contexto de uma disciplina. Alm disso, ele
no descreve detalhadamente como seria a distribuio da pontuao proposto pelo
nmero de atividades realizadas.
3. Avaliao Scio-Interacionista e o Modelo ASIBPq

3.1. Caracterizao Qualitativa do Modelo ASIBPq

A fim de ampliar a proposta desenvolvida por David et al [2007], apresentamos
no Quadro 1 o modelo ASIBPq para a avaliao de Fruns em cursos e disciplinas nas
reas das cincias exatas. Realizamos uma descrio qualitativa dos critrios propostos
em sua aplicao nas atividades de Fruns em uma AVA.
Quadro 1. Atividades e Parmetros Qualitativos em Frum no AVA.
Atividade
no AVA

Categoria de
Atividade

Monitoring of
Revenue (MR)

Categoria de
Avaliao

Critrio Qualitativo

Nota de
Pontuao

Interao
Participativa (IP)

Sem Participao

Com Participao

10

Sem Interao

Com Interao

0 a 10

Sem Participao

Com Participao sem Interao

0a5

Com Participao com Interao

5 a 10

Domno Terico

Sem Participao

(DTE)

Participao Terica Superficial

0a5

Participao Com Domnio Terico

5 a 10

Sem Interao

Com Interao

0 a 10

Sem Participao

Participao Terica Superficial

0a5

Participao Com Domnio Terico

5 a 10

Sem Interao

Com Interao

0 a 10

Intensidade de
Interao (IDI)
Interao
Participativa (IP)

Atividades
de Frum

Content
Theoretical and
Conceptual
(CTC)

Questions (Q)

Intensidade de
Interao (IDI)

Domnio Terico
(DTE)
Intensidade de
Interao (IDI)

Pelo Quadro 1 verificamos que a proposta apresentada descreve trs categorias

de atividades para o Frum em uma AVA. So elas: (i). Monitoring of Revenue (MR):
so criados fundamentalmente para que os alunos acompanhem seus rendimentos e notas.
Tambm pode ser utilizado pelo professor como espao de comunicao e interao social
com o grupo. Incentiva-se que seja usado para apresentaes pessoais e troca de mensagens
diversas. (ii). Content Theoretical and Conceptual (CTC): so criados para promover a
interao entre os participantes para aprofundamento terico e conceitual dos
conhecimentos estudados no curso ou disciplina. (iii). Questions (Q): so fruns criados
para que o professor possa esclarecer dvidas dos alunos sobre o contedo no AVA ou
informaes a acerca da disciplina (datas de entrega das atividades, provas, encontro
presenciais ou virtuais, etc.). Este espao tambm incentivado para que os alunos
possam esclarecer dvidas ou dificuldades do contedo entre si.

O Quadro 2 a seguir, descreve as categorias de atividades e avaliao, alm de

seus parmetros qualitativos nas atividades de portflio em uma AVA.
Quadro 2. Atividades e Parmetros Qualitativos em Portflio no AVA.
Atividade
no AVA

Categoria de
Atividade

Categoria de
Avaliao

Critrio Qualitativo
Sem Participao

List of Numerical
Exercises (LNE)

Domnio Terico
(DTE)

Atividades
de Portflio

Com Participao Terica Superficial

Participao Com Domnio Terico
Sem Participao

List of
Conceptual
Exercises (LCE)

Com Participao Terica Superficial

Domnio Terico
(DTE)

Participao Com Domnio Terico

No Quadro 2 verificamos que a proposta apresentada descreve apenas duas

categorias para as Atividades de Portflio em um curso ou disciplina na rea de cincias
exatas em uma AVA. So elas: (i). List of Numerical Exercises (LNE): so criados
para que os alunos possam postar suas atividades na forma de listas de exerccios
numricas, tais como questes ou problemas resolvidos numericamente. (ii). List of
Conceptual Exercises (LCE): so criados para que os alunos possam postar suas
atividades na forma de listas de exerccios conceituais, tais como questes ou problemas
que envolvam raciocnio crtico, na forma de resenhas, resumos ou produo textual em
geral.
Em relao ao Chat, propomos dois tipos de categorias que podem ser inseridos
em uma disciplina ou curso em um AVA: (i). Questions (Q): so Chats marcados com
os alunos para que o professor possa esclarecer dvidas dos alunos sobre o contedo no
AVA ou informaes a acerca da disciplina (datas de entrega das atividades, provas,
encontro presenciais ou virtuais, etc.). Neste Chat tambm incentivado para que os
alunos possam esclarecer dvidas ou dificuldades do contedo entre si. (ii). Content
Theoretical and Conceptual (CTC): so Chats criados para que os alunos possam
debater de forma sncrona questes conceituais levantadas pelo professor.
O modelo exposto anteriormente apresenta um formato de avaliao que valoriza
tanto atividades de carter individual como coletivo. Aps sua concluso e aplicao, ser
possvel verificar seu grau de preciso e aprimor-lo. Na sesso a seguir iremos apresentar
a caracterizao Scio-Interacionista quantitativa dos parmetros avaliativos qualitativos
descritos anteriormente.

3.2. Caracterizao Quantitativa do Frum no Modelo ASIBPq

Com base na perspectiva scio-interacinosta e na proposta apresentada no Quadro 1,
este modelo prev, basicamente, trs tipos de atividades de frum a serem desenvolvidas
pelos alunos durante um curso ou disciplina: Monitoring of Revenue (MR), Content
Theoretical and Conceptual (CTC), Questions (Q).
Devido ao restrito tamanho de pginas, neste artigo apresentaremos apenas a
caracterizao quantitativa das propostas de fruns no modelo ASIBPq. As mesmas
regras de composio tambm so validas para as atividades de chat e portflio.

3.2.1. Mtrica Quantitativa do Frum MR

Para o Frum MR, temos dois tipos de categoria de avaliao: Interao Participativa
(IP) e Intensidade de Interao (IDI). A participao nesse tipo de frum possui um peso
na nota final e utilizada a seguinte pontuao para as mensagens (Quadro 1):
(a) Interao Participativa (IP): (i) Sem Participao (Nota: 0); (ii) Com
Participao (Nota: 0 a 10).
(b) Intensidade de Interao (IDI): (i) Sem Interao (Nota: 0); (ii) Com
Interao (Nota: 0 a 10).

Por meio desta pontuao, podemos perceber que dois nveis de interao sero
avaliados. O primeiro a IP do aluno dentro de um frum (que pode ser 0, caso ele no
tenha participado ou uma nota 10, caso ele tenha tido algum tipo de participao). Em
relao ao IDI, dois critrios sero considerados: (i) sem interao, com nota igual a 0,
caso o aluno tenha participado, mas no interagiu com ningum dentro do frum e (ii)
com interao, com uma nota entre um valor entre 0 a 10 atribudo pelo professor, caso
o aluno tenha interagido com as mensagens de outros colegas, alm de enviar a sua.
Portanto, a nota final do aluno no Frum MR ser calculada a partir da Equao 3.1:

MR =

{[ Peso1 ( IP)] + [ Peso2 ( IDI )]}

SVP

(Equao 3.1)

Na Equao 3.1 o IDI ter um peso duas vezes maior do que o IP, pois mesmo
que o aluno tenha participado do frum (IP), em nossa mtrica scio-interacionista, a
quantidade e qualidade de interaes (IDI) com os demais colegas tm uma maior
relevncia para o modelo avaliativo proposto. A varivel SVP corresponde a Soma dos
Valores dos Pesos, para que a Equao 3.1 seja uma mdia aritmtica.
3.2.2. Mtrica Quantitativa do Frum TCT
Para a avaliao do Frum TCT, temos na Equao 3.2, que sua mdia ser calculada a
partir da soma da nota da Interao Participativa (IP), do Domnio Terico (DTE) e da
Intensidade de Interao (IDI).

TCT =

{[ Peso1 ( IP)] + [ Peso3 ( DTE )] + [ Peso2 ( IDI )]}

SVP

(Equao 3.2)

Podemos observar que o Peso 3 de maior valor ser atribudo para o DTE, pois
este tipo de frum o foco principal da avaliao deve ser dado a qualidade do contedo
terico discutido pelo aluno. Entretanto, percebe-se que o Peso 2 ser indicado para o
IDI e no para o IP, pois no modelo ASIBPq a interao de um aluno com as outras
mensagens dos demais discentes no frum mais relevante do que suas participaes
isoladas, mesmo que de forma quantitativa.
3.2.3. Mtrica Quantitativa do Frum Q
Em relao a avaliao do Frum Q, temos na Equao 3.3, que sua mdia ser
calculada a partir da soma da nota do Domnio Terico (DTE) com a Intensidade de
Interao (IDI).

MR =

{[ Peso1 ( DTE )] + [ Peso1 ( IDI )]}

SVP

(Equao 3.3)

Neste caso os Pesos so iguais, pois o Frum Q tem o objetivo de incentivar o

aluno a buscar solues para suas dvidas em relao ao contedo proposto, a fim de
estabelecer uma comunicao interativa com seu professor e os demais colegas. O
objeto principal de avaliao neste frum no deve ser apenas o contedo, mas tambm
a intensidade de interao do discente, tanto com questes e dvidas individuais para o
docente, como com intervenes colaborativas com os demais colegas.
3.3. Caso de Uso da Ferramenta de Avaliao no Modelo ASIBPq

Figura 1. Caso de uso da Ferramenta de Avaliao do Frum.

Com esta nova proposta de avaliao de Frum o professor seleciona uma
mensagem postada pelo aluno e atribui uma nota a partir dos critrios propostos. Para
que esse processo seja executado foi desenvolvido o Caso de Uso com as seguintes
narrativas (Figura 1):
a) Gerar Frum o professor aps logado no AVA, seleciona o frum, curso, turma,
descrio do frum (nome, assunto, data de incio e fim).
b) Atribuir Categoria de Atividade permite ao professor discriminar a categoria de
atividade referente a este frum. Esta categoria esta dividida em trs: Monitoring of
Revenue (MR), Content Theoretical and Conceptual (CTC) e Questions (Q).
c) Categoria de Avaliao - a cada categoria existe uma sub-categoria conforme
Quadro 1.
d) Avaliar Frum propicia o professor avaliar e atribuir uma pontuao a cada
mensagem enviada pelo aluno ao frum.
e) Selecionar Mensagem seleciona uma mensagem postada pelo aluno para
avaliao.
Baseado na descrio qualitativa e quantitativa realizada do modelo ASIBPq
para os Fruns e na descrio do Caso de Uso apresentado acima, na sesso que se
segue iremos apresentar um estudo de sua aplicao em um AVA para a EaD na forma
de uma ferramenta avaliativa modelada em Redes de Petri.

4. Resultados da Modelagem em Redes de Petri do ASIBPq

Com base na proposta de avaliao scio-interacionista descrita, utilizamos Tcnicas de
Descrio Formal (TDF) para propor a implementao e funcionalidade do modelo ASIBPq
em um AVA real. Realizamos um estudo de caso aplicando TDF utilizando Redes de Petri
Coloridas no AVA SOLAR1 (Sistema On-Line de Aprendizagem), utilizado em cursos
de graduao distncia ofertados pela Universidade Federal do Cear (UFC) por meio
do Instituto UFC Virtual [www.virtual.ufc.br].
1

www.solar.virtual.ufc.br

Segundo [Holloway, 1997] as TDF vm sendo utilizadas em diversas reas, tais

como telecomunicaes e engenharia de software, para descrever com preciso os
requisitos dos usurios minimizando assim os erros que podem ocorrer na fase de
validao e verificao e o tempo alocado na fase de implementao e manuteno de
um cdigo. As Redes de Petri (RP) so ferramentas de modelagem grfica e
matemtica, empregadas nas mais diversas reas para auxiliar no entendimento
comportamental e dinmica de um sistema, por meio da modelagem computacional
[Sales, 2007]. Uma RP formada por lugares (estados do sistema), por transies (aes
do sistema), por arcos e fichas representativos da marcao do sistema [Murata, 1989].
Dentre as extenses s RP este trabalho foca nas Redes de Petri Coloridas (RdPC) por
possibilitarem a modelagem de sistemas mais complexos [Jensen, 1997]. Na
modelagem do ASIBPq para o SOLAR foi utilizado o software CPNTools2.
Para a modelagem dos parmetros de avaliao da interao do usurio
(professor ou aluno) utilizando o ASIBPq no SOLAR, iremos fazer uso do modelo
LOCPN (Learning Objects prodution with Colored Petri Net) [Souza et al, 2007]. Este
modelo utilizado como ferramenta de apoio a processo de desenvolvimento de Objetos
de Aprendizagem (OA) e apresenta-se com potencial para especificar e modelar
funcionalidades de softwares em geral, destacando as interaes entre botes e telas em
um programa [Souza et al, 2007].
4.1. Modelagem das Funcionalidades do SOLAR
A modelagem do ASIBPq no ambiente SOLAR foi realizada em duas etapas. Na
primeira, a estrutura geral do AVA foi descrita em termos de telas e suas principais
relaes. Em seguida, considerando a estrutura hierrquica proposta no modelo LOCPN
[Souza et al, 2007], foram realizadas as especificaes detalhadas de cada componente e
a descrio detalha da metodologia de avaliao proposta para Fruns.

Figura 2. Modelagem da Tela Geral do AVA SOLAR.

Na Figura 2 apresentada a especificao geral do AVA SOLAR com todos os

recursos disponveis no ambiente por meio da TelaPrincipal. As transies (retngulos
rosas) representam as principais funcionalidades do ambiente, tais como: TAulas (Tela
de Acesso as Aulas no AVA), TInfCur (Tela de Informaes dos Cursos Disponveis),
TForum (Tela de Acesso aos Fruns de um Curso), TChat (Tela de Acesso ao recurso
de Chat), dentre outros. Os crculos em azul ou verde so lugares, que representam os
conectores de entrada em cada uma destas telas de acesso aos recursos do AVA. J os

http://www.daimi.au.dk/CPNTools

crculos em vermelho tambm so lugares, mas neste caso representam os conectores de

sada em cada uma das telas de acesso aos recursos do AVA.
Neste caso da tela geral todas as transies que representam telas, substituem
sistemas mais complexas e so denominadas no CPNTools de trasies de substituio
(TS) [Jensen, 1997]. Na subseo a seguir iremos apresentar a TAbertura que uma TS
da Tela Geral.
4.2. Modelagem da Tela de Abertura
Na Figura 3 percebe-se que o usurio ao chegar na Tela Abertura, ter a sua disposio
um boto (btEntrar) que representado neste lugar por uma ficha em verde (token)
[Jensen, 1997].

Figura 3. Modelagem da Tela de Abertura do SOLAR.

A outra ficha que identificamos nesta modelagem corresponde interao do

usurio com as telas do AVA. Neste caso, esta ficha a representa o usurio acessando
o SOLAR e escolhendo seu perfil, que neste AVA pode ser como professor titular
(administrador), aluno ou mesmo tutor de um curso.
4.3. Modelagem da Tela de Frum
Nessa especificao (Figura 4) apresentada a modelagem para acessar os recursos de
Frum sem a presena do Modelo ASIBPq.

Figura 4. Modelagem da Tela de Frum do SOLAR.

Percebe-se que o processo de seleo do Frum, tanto para participao (como

aluno ou cursista), como para o processo de avaliao (por parte do professor ou tutor)
semelhante ao de acessar as aulas. O usurio ao sair da Tela Principal por meio do
conector de entrada CF (Conector do Frum), escolhe um dos Fruns disponveis (no
exemplo podemos visualizar 3 fruns) e envia sua mensagem (como por exemplo: no
lugar EnviarMsgF1). Percebe-se nesta modelagem (Figura 4) que o ambiente SOLAR
no apresenta nenhum tipo de recurso de avaliao para que as mensagens enviadas
possam ser contabilizadas no processo de avaliao discente.
4.4. Modelagem da Tela de Frum com o ASIBPq
Considerando o modelo ASIBPq e a metodologia scio-interacionista para a avaliao
do aprendizado apresentada neste trabalho, a Figura 5, mostra as especificaes e
funcionalidades presentes na Tela Frum do SOLAR.

Figura 5. Modelagem da Tela de Frum do SOLAR com o ASIBPq.

Constata-se a insero das novas funcionalidades dentro do Frum, em que alm

de acessar os recursos disponveis nesta ferramenta assncrona no AVA e enviar suas
mensagens de texto, o usurio (professor) ir visualizar as mensagens disponveis em
cada frum e avaliar os alunos.
Cada frum, disponibilizar seus critrios de acordo com os parmetros de
avaliao dispostos no Quadro 1 e o professor poder atribuir uma nota de 0 a 10,
seguindo a proposta descrita na sesso 3.2, de caracterizao quantitativa do frum no
Modelo ASIBPq. Na situao modelada na Figura 5, apenas trs fruns foram criados
para facilitar a visualizao da nossa anlise (Tela Frum 1, 2 e 3). Para cada Frum foi
escolhido respectivamente um tipo diferente de categoria na avaliao: MR, CTC e Q.
Percebe-se agora que aps a mensagem o professor dispor de um uma tela para
AvaliarFMR (lugar - cor azul), que poder ser selecionada em um ComboBox de acordo

com [Souza et al, 2007]. Desta forma fica clara a presena do novo recurso de avaliao
proposto no Frum, dispondo das suas caractersticas qualitativas e quantitativas
baseadas em uma proposta metodolgica scio-interacionista.

5. Consideraes Finais
Os atuais paradigmas de ensino semi-presencial exigem novas prticas avaliativas, de
forma que elas se coloquem a servio da aprendizagem. A EaD apresenta caractersticas
prprias, requerendo processos e estratgias que respondam as suas necessidades e que
permitam uma diversificao na forma de avaliar.
Acredita-se que seguindo a proposta sugerida neste artigo, o tutor/professor
poder valorizar as contribuies coletivas e os desdobramentos de carter colaborativo
elaborados pelos estudantes dentro de fruns de discusso. Destaca-se ainda que a
metodologia proposta pode valorizar a interao e as relaes sociais estabelecidas no
AVA, que podem acrescentar qualitativamente ganhos na aprendizagem de conceitos
em um curso de EaD. Com a introduo da proposta LOCPN como ferramenta de
simulao e modelagem em RdPC possvel visualizar o comportamento dinmico dos
recursos de software propostos neste artigo e realizar os devidos ajustes para a fase final
em linguagem programao [Souza et al, 2007].
Trabalhos futuros apontam para o refinamento dos critrios propostos no modelo
ASIBPq. Tais critrios esto em fase inicial de aplicao e apresentaram-se importantes
no processo de aferio da aprendizagem. Outros trabalhos tambm pretendem ser
desenvolvidos no sentido de modelar as ferramentas de Chats, Portflio e de envio de
Mensagens entre aluno-aluno e aluno-tutor no SOLAR.

Referncias
David, P. B.; Pequeno, M. C.; Silva, A.S.R da.; Souza, C. F.; Jnior, G. S. V.; Castro Filho, J.
A de.; Ventura, P. P. B.; Maia, S.M. (2007). Avaliao da Aprendizagem em Educao a
Distncia numa Perspectiva Scio-Interacionista. XVIII SBIE, So Paulo - SP. ISBN: 97885-7669-157-0.
Freire, P. (1997): Pedagogia da Autonomia. Paz e Terra, So Paulo, 1997.
Holloway C. M. (1997). Why Engineers Should Consider Formal Methods. 16th Digital
Avionics Systems Conference. October.
Jensen, K. (1997), Coloured Petri Nets - Basic Concepts, Analisis Methods and Practical Use
- Vols. 1, 2 and 3, Springer-Verlag Berlin.
Luckesi, C. C. (1999): Avaliao da Aprendizagem Escolar. 9 Ed, So Paulo, 1999.
Martn-Barbero, J. (1998): Nuevos regimes de visualidad y ds-centramientos culturales,
Bogot.
Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE.
Vol. 77, no. 4, 541-580.
Sales G. L., Barroso G. C., Soares, J. M. (2007). O Uso de Vetores como Proposta de Avaliao
Para Ambientes Virtuais de Aprendizagem. XVIII SBIE, Mackenzie, So Paulo (SP).
Silva, M. (2005): Docncia interativa presencial e on-line. In: Aprendizagem em ambientes
virtuais: compartilhando idias e construindo cenrios, Caxias do Sul, RS, 2005.
Souza, M. F. C. S, Gomes, D. G, Barroso G. C, Souza, C. T, Castro, J. A. de, Pequeno, M. C.,
Andrade, R. M. C. (2007). LOCPN: Redes de Petri Coloridas na Produo de Objetos de
Aprendizagem. RIBIE Revista Brasileira de Informtica na Educao, Volume 15,
Nmero 3, SBC.