Uma Metaferramenta de Apoio Tecnologia

Adaptativa
A. R. Camolesi

ResumoEste trabalho tem por objetivo propor um gerador

de ambientes que possibilite a gerao automtica de ambientes
para o projeto de aplicaes adaptativas. Tal gerador
fundamenta-se nos conceitos de Tecnologia Adaptativa e permite
a definio de dispositivos adaptativos dirigidos por regras. No
desenvolvimento deste trabalho, foram propostos um mtodo
para a definio de dispositivos adaptativos e a arquitetura para
um gerador de ambientes para a modelagem de aplicaes
usando um dispositivo adaptativo especfico.
Palavras-chave - Sistemas Adaptativos, Modelagem de
Sistemas, Simulao de Software , Engenharia de Software,
Programao Dinmica.

I. INTRODUO

plicaes complexas so caracterizadas por componentes

e aspectos cuja estrutura e comportamento, comumente,
no podem ser descritos por um nico formalismo, devido
diferena de natureza existente entre os modelos [1].
Ainda em [1], cita-se, por exemplo, a modelagem de um
controlador de temperatura e nvel volume de um
recipiente. O controlador de temperatura pode ser descrito por
um formalismo discreto, como Rede de Petri [2] ou
Statecharts [3]. Considerando que o comportamento do
controlador de lquido deve descrever a variao de volume,
este dever ser descrito com um formalismo contnuo (como,
por exemplo, Equaes Diferenciais Ordinrias).
Uma das tcnicas utilizadas para modelar aplicaes
complexas o uso de uma modelagem que utilize mltiplos
formalismos. Utilizando-se dessa tcnica, as diferentes partes
do sistema so modeladas servindo-se de mais de um
formalismo. Para analisar uma aplicao expressa por
multiformalismo, no basta avaliar cada componente isolado:
o projetista tem que considerar toda a aplicao. Por isso, a
modelagem realizada com multiformalismo deve ser
fundamentada na converso de todos os componentes de cada
formalismo em uma nica representao comum. Dessa
forma, a aplicao ser representada por diferentes
formalismos para ser corretamente analisada ou simulada. No
projeto AToM3 [4], foi desenvolvido um ambiente
multiparadigma para a modelagem e desenvolvimento de
aplicaes utilizando-se de multiformalismos. Tal ambiente
Almir R. Camolesi professor doutor filiado Coordenadoria de
Informtica da Fundao Educacional do Municpio de Assis (FEMA), Caixa
Postal 200, CEP 19807-634, Assis-SP (camolesi@femanet.com.br).

fundamenta-se em uma representao intermediria comum

definida para o mesmo e que permite descrever os diversos
formalismos e aplicaes representados.
Outra caracterstica presente em aplicaes complexas
possibilidade de elas modificarem o seu comportamento em
tempo de execuo. Tais aplicaes possuem um
comportamento inicial definido por um conjunto de aes que
desempenham suas funes elementares, e durante a execuo
podem ter o seu comportamento modificado para dar suporte a
novas funcionalidades. Tais modificaes so decorrentes dos
estmulos de entrada a que so submetidas no sistema e/ou da
ocorrncia de suas aes internas.
Uma tcnica utilizada para auxiliar os projetistas na
modelagem de aplicaes com comportamento modificvel a
tecnologia adaptativa [5]. A tecnologia adaptativa envolve um
dispositivo no-adaptativo (subjacente) j existente em uma
camada adaptativa e permite realizar mudanas no
comportamento da aplicao definida. possvel citar, por
exemplo, trabalhos relacionados a reconhecedores sintticos
adaptativos [6], os Statecharts Adaptativos [7] empregados
na modelagem de sistemas reativos , e modelagem de
aplicaes complexas com base no ISDL Adaptativo [8].
O gerador de ambientes descrito neste artigo utilizar-se-
dos conceitos de multiformalismo e de tecnologia adaptativa
na busca de obteno de ambientes para auxiliar os projetistas
na modelagem de suas aplicaes. Na seqncia, sero
descritas as formas de processo de produo de aplicaes
complexas, suas vantagens, desvantagens e necessidades
encontradas para o projeto e seus respectivos
desenvolvimentos. Tais conceitos fundamentam as
justificativas para a realizao deste trabalho.

II. PROJETO DE APLICAES ADAPTATIVAS

Quando um projetista vier a realizar o projeto de uma nova
aplicao e executar as tarefas definidas para o ciclo de vida
de desenvolvimento de aplicaes utilizando tecnologia
adaptativa e multiformalismo, poder desempenhar o seu
trabalho usando um ambiente que d suporte s tarefas a
serem desenvolvidas.
Com o objetivo de facilitar o trabalho do projetista, sugerese o Processo Integrado para o projeto de aplicaes
utilizando tecnologia adaptativa, representado na Fig. 1.

Fig. 1. Arquitetura do Processo Integrado para o projeto de aplicaes

adaptativas

O Processo Integrado tem por objetivo tornar mais prtica a

realizao do projeto de aplicaes valendo-se de tecnologia
adaptativa e constitui-se das seguintes fases: fase de
especificao; fase de transformao da especificao; e, por
fim, fase de validao, simulao e verificao da
especificao. Na fase de especificao da aplicao,
utilizando-se de uma ferramenta textual ou grfica, ser
realizada a especificao da aplicao desejada. Em seguida,
ocorrer a transformao da especificao produzida para uma
representao intermediria da ferramenta e, com base na
representao obtida, o projetista poder informar seqncias
de entrada e avaliar o comportamento da aplicao que foi
especificada. Ocorrendo inconsistncias ou erros, o projetista
poder realizar as modificaes na especificao e reiniciar o
processo.
Para que o Processo Integrado seja vivel, fazem-se
necessrias modificaes nos ambientes computacionais j
existentes. O trabalho de modificao de tais ferramentas nem
sempre pode ser efetuado pelo fato de as ferramentas
existentes possurem restries de acesso por conta de normas
de proteo propriedade, o que significa dizer que seus
cdigos-fontes no so abertos. Isso tambm ocorre, mesmo
na possibilidade de acesso ao cdigo-fonte de uma ferramenta,
se a arquitetura desta no permitir o acoplamento da camada
adaptativa e de suas funcionalidades. Nesses casos, uma nova
ferramenta deve ser desenvolvida e, para tal, deve ser
empregada uma grande equipe de desenvolvimento e/ou
tambm uma grande quantidade de tempo para a obteno da
mesma. Tem-se observado que a ausncia de ferramentas de
boa qualidade em um pequeno prazo tem dificultado a
utilizao dos formalismos adaptativos em ambientes reais no
desenvolvimento de aplicaes. Neste contexto, prope-se
este trabalho, que consiste na proposta de um gerador de
ambientes para formalismos adaptativos que d suporte a
multiformalismos.

III. DISPOSITIVOS ADAPTATIVOS

Em [9], foi apresentada uma formulao geral para
dispositivos adaptativos. Tal formalizao fundamenta-se em
um mecanismo adaptativo (AM) que envolve o ncleo de um
dispositivo subjacente, no-adaptativo (ND). Dessa forma, um
dispositivo adaptativo (AD) definido formalmente por um

ctuplo AD= (C, AR, S, c0, A, NA, BA, AA).

Nessa formulao, C o conjunto de todas as possveis
configuraes de ND e c0 C a sua configurao inicial. S
o conjunto de todos os possveis eventos de que se compe a
cadeia de entrada de AD, e o conjunto A representa as
configuraes de aceitao para ND.
Os conjuntos BA e AA so conjuntos de aes adaptativas.
NA um conjunto de todos os smbolos que podem ser
gerados com sadas por AD, em resposta aplicao de regras
adaptativas. AR o conjunto das regras adaptativas que
definem o comportamento adaptativo de AD e dado por uma
relao Ar BACSCNAAA, na qual aes adaptativas
modificam o conjunto corrente de regras adaptativas AR de
AD para um novo conjunto AR adicionando e/ou eliminando
regras adaptativas em AR.
Com base nesses conceitos, proposto neste trabalho um
modelo lgico para a representao dos elementos formais
apresentados em [9]. Tal modelo fundamental para o
desenvolvimento de ferramentas que do suporte a uma
metodologia de design de aplicaes adaptativas.

IV. MTODO PARA DEFINIO DE DISPOSITIVOS ADAPTATIVOS

Ao se definir um novo dispositivo adaptativo, faz-se
necessrio um mtodo que traga facilidades aos especialistas
na realizao de seus trabalhos de extenso de seus
dispositivos segundo os conceitos de Tecnologia Adaptativa.
Auxiliar o mtodo para a definio de dispositivos adaptativos
e a realizao da implementao de ferramentas para dar
suporte aos projetistas de aplicaes durante a fase de
modelagem o objetivo deste trabalho, que constitui a
proposta de um gerador de ambientes para a modelagem de
aplicaes usando tecnologia adaptativa. Tal gerador deve
permitir a um especialista em um determinado dispositivo
no-adaptativo, depois de acrescentar a camada adaptativa ao
formalismo, realizar o seu mapeamento para uma
representao intermediria e obter de forma quase automtica
um ambiente para o projeto de aplicaes. Tal ambiente deve
permitir multiformalismos e a possibilidade de representaes
das caractersticas adaptativas das aplicaes. Sua estrutura
deve conter ferramentas que permitam a edio de
especificaes e, posteriormente, a simulao, a verificao e
a implementao das aplicaes projetadas.
A utilizao de um mtodo adequado importante para
facilitar e tornar mais produtivo o trabalho do especialista na
definio de um dispositivo adaptativo. O mtodo proposto foi
fundamentado na anlise dos trabalhos de definio de
dispositivos adaptativos realizados em [5][7][8][10][11][12]
para a definio de dispositivos adaptativos e nas experincias
adquiridas durante a elaborao desses trabalhos. Tal mtodo
constitudo de trs etapas: etapa de definio do modelo
terico (matemtico); etapa de mapeamento para o modelo
lgico (representao intermediria do modelo terico) e etapa
de definio do modelo fsico (programa). A Figura 2 ilustra
as etapas e as relaes existentes entre si.

Fig. 2. Metodologia de extenso de dispositivos adaptativos dirigidos por

regras

Na etapa de definio do modelo terico, representada na

Fig. 2(a), entende-se que um especialista com bons
conhecimentos matemticos sobre determinado dispositivo
no-adaptativo possa acrescentar definio formal do
dispositivo subjacente as funcionalidades providas pelos
mecanismos adaptativos. Em [5] e em [7], so apresentadas
extenses de dispositivos subjacentes pela incluso de
conceitos de dispositivos adaptativos. Nessa fase, realizada a
unio dos conceitos formais de ambos os dispositivos (noadaptativo e adaptativo), pela qual se obtm o novo
dispositivo adaptativo.
A etapa de definio do modelo terico a primeira etapa a
ser realizada ao se definirem dispositivos adaptativos. Tal
etapa fundamenta-se na estrutura para representao geral de
dispositivos adaptativos proposta em [9]. O trabalho a
desenvolvido pode ser considerado a forma mais abrangente
para definio de um dispositivo adaptativo. Sua estrutura
fundamenta-se na existncia de um dispositivo no-adaptativo
por exemplo, Autmato de Estados Finitos, Autmato de
Pilha, Gramtica, Rede de Petri, ISDL, etc., , o qual
envolvido por um mecanismo adaptativo, responsvel por
permitir que a estrutura do mecanismo subjacente seja
dinamicamente modificada. Um autmato de estados finitos,
por exemplo, ao ser envolvido por um mecanismo adaptativo,
passa a poder sofrer em seu comportamento remoes ou
inseres de transies enquanto realiza o processamento da
cadeia de entrada, o que concede um aumento ao seu poder de
expresso. Uma caracterstica fundamental no uso dos
conceitos de tecnologia adaptativa a possibilidade de
utilizao de dispositivos existentes com um aumento do seu
poder de representao ao custo de um pequeno acrscimo na

sua complexidade formal.

Aps a obteno do dispositivo adaptativo, faz-se
necessrio seu mapeamento para o modelo lgico, visando a
representao de dispositivos adaptativos dirigidos por regras
no formato do modelo lgico, ilustrado pela Figura 2(b). Tal
etapa consiste na definio da estrutura de dados (lgica) que
representa os conceitos formais do dispositivo adaptativo. Esta
de fundamental importncia, pois serve como base para a
estrutura de armazenamento de informaes necessrias para o
desenvolvimento de ferramentas, propostas nas prximas
sees deste captulo.
Na etapa de definio fsica, representada pela Figura 2(c),
um projetista com conhecimentos sobre o dispositivo
adaptativo definido pode realizar a especificao de sua
aplicao. Nessa etapa, so produzidas especificaes de
aplicaes que sero, posteriormente, analisadas e
implementadas. Esse trabalho deve ser realizado com o auxlio
de um ambiente para modelagem de aplicaes que use
tecnologia adaptativa.
Ao realizar o seu trabalho, o projetista de aplicaes
instancia os objetos definidos na etapa lgica e define
elementos fsicos que representam o comportamento da
aplicao desejada. Nesta fase, pode-se observar que so
instanciados objetos pertencentes a duas classes distintas: os
que representam o comportamento da aplicao projetada e os
que representam as funes e aes adaptativas responsveis
por modificaes no comportamento da aplicao em tempo
de execuo. Com base no conjunto de objetos definidos nesta
fase, so permitidas a apresentao da especificao, a
simulao do comportamento, a verificao de inconsistncias
e a execuo da aplicao projetada. Durante o processo de
simulao de comportamento e execuo da especificao no
ncleo adaptativo, aes adaptativas podem ser executadas e
regras podem ser adicionadas e/ou removidas do
comportamento, modificando-se sua estrutura.

V. AMBIENTE PARA O PROJETO DE APLICAES ADAPTATIVAS

O projeto de aplicaes exige, em geral, solues
relativamente complexas, nas quais imprescindvel o uso de
um mtodo bem definido que d suporte especificao de
aplicaes adaptativas e, posteriormente, anlise e
implementao das especificaes produzidas. Fundamentado
nos conceitos apresentados em [13], proposto um mtodo
para o projeto de aplicaes adaptativas constitudo de trs
fases: especificao, anlise e implementao.
Na fase de especificao, um projetista utiliza uma
linguagem de especificao e gera modelos da aplicao
desejada. Com base nos modelos obtidos, realizada a fase de
anlise, que tem por objetivo verificar inconsistncias na
aplicao projetada. Nessa fase, o projetista submete estmulos
ao modelo e obtm respostas que lhe permitem validar o
modelo definido. Tambm nessa fase podem ser realizadas
simulaes do modelo, cujas respostas geradas auxiliaro o
projetista na validao e anlise da aplicao projetada. Ao

serem detectadas inconsistncias ou falhas, a especificao

deve ser editada e, na seqncia, novamente analisada.
Finalmente, depois de validada a aplicao, o modelo gerado
poder ser traduzido para uma linguagem de representao
fsica. Para auxiliar o mtodo proposto para o projeto de
aplicaes que use tecnologia adaptativa, faz-se necessria a
utilizao de um ambiente que integre um conjunto de
ferramentas que d suporte aos projetistas na realizao de seu
trabalho. A Fig. 3 ilustra a arquitetura geral de tal ambiente,
que organizado em 3 (trs) grupos de ferramentas que foram
aglutinadas e definidas conforme as caractersticas inerentes
ao mtodo proposto: Ferramentas de Edio, Ferramentas de
Anlise e Ferramenta de Implementao.

desejadas por um projetista. Na Fig. 4, ilustrada a arquitetura

geral para o gerador de ambientes. Tal arquitetura define um
metambiente composto por um framework de um ambiente
geral definio de uma estrutura que contm os elementos
comuns a todos os ambientes e pode ser reaproveitada e por
quatro ferramentas: Ferramenta para Definio dos Elementos
Conceituais, Ferramenta para Definio dos Elementos
Grficos, Ferramenta para Definio da Forma de Operao
de um Dispositivo e Ferramenta para a Gerao de Ambientes.

Fig. 4. Arquitetura geral do gerador de ambientes.

Fig. 3. Ambiente para o projeto de aplicaes usando Tecnologia

Adaptativa.

Valendo-se das Ferramentas de Edio, um projetista de

aplicaes, utilizando um dispositivo adaptativo especfico,
poder realizar a especificao de sua aplicao com o auxlio
de um editor de texto qualquer ou de um editor grfico. Para
possibilitar o intercmbio das especificaes produzidas, os
editores devem gerar objetos no Modelo Lgico. Caso a
especificao seja produzida em um editor textual, esta dever
ser compilada para transformar a codificao realizada no
formato definido para o modelo lgico.
Depois de realizada a especificao, o projetista de
aplicaes poder utilizar as Ferramentas de Anlise. Tais
ferramentas utilizam a codificao da especificao (no
formato do modelo lgico) como base e permitem a realizao
de uma anlise do comportamento da aplicao adaptativa em
desenvolvimento. Por fim, depois de especificada e analisada
a representao de uma aplicao, o projetista pode se utilizar
das Ferramentas de Produo de Representaes Fsicas e
gerar uma representao de uma aplicao em um
determinado padro de linguagem de representao fsica para
obter a aplicao desejada.
VI. UM GERADOR DE AMBIENTES PARA A MODELAGEM DE
APLICAES USANDO TECNOLOGIA ADAPTATIVA

O gerador de ambientes consiste em ferramentas que

permitam a descrio de um dispositivo especfico, suas
definies grficas e a forma de operao. Com base em tais
definies, o gerador de ambientes executado e obtm como
resultado um ambiente para o dispositivo especfico, o qual
permite que sejam desempenhadas as funcionalidades

Na arquitetura proposta, o Framework de um Ambiente

Geral um conjunto de programas (classes) que descreve as
funcionalidades comuns a todos os projetistas de aplicaes
adaptativas. Tal framework permite a obteno de um
ambiente especfico sem a necessidade de refazer a
implementao de todos os componentes pertencentes ao
mesmo. Um programador com bons conhecimentos no
framework e na linguagem para sua representao fsica pode
inserir os cdigos necessrios para que as funcionalidades
especficas com base no dispositivo utilizado possam ser
disponibilizadas no ambiente.
Com o objetivo de facilitar a implementao do ambiente e
o trabalho de realizao no framework que se prope a
utilizao da Ferramenta de Definio dos Elementos
Conceituais de um Dispositivo, que permitir a um
especialista instanciar objetos no modelo lgico e definir a
representao dos elementos conceituais do dispositivo
desejado.
Os objetos grficos associados aos elementos conceituais de
um dispositivo tambm devem ser definidos para poderem ser
utilizados pelas ferramentas de edio e anlise. Para tal,
proposta a Ferramenta para a Definio dos Elementos
Grficos de um Dispositivo, que possibilita a um especialista
definir os objetos grficos no caso da existncia de tal
representao dos elementos conceituais do novo
dispositivo. Os novos elementos definidos comporo,
posteriormente, a barra de ferramentas e os menus de opes
da ferramenta de edio do ambiente especfico para
modelagem, responsveis por permitir a insero de tais
objetos durante a edio da especificao de uma aplicao e
que tambm serviro para a apresentao do modelo da
aplicao quando da sua simulao e verificao.
Alm dos elementos descritos anteriormente, tambm se faz

necessria a descrio da forma de operao de um

dispositivo. Para esse trabalho, apresenta-se a Ferramenta de
Definio da Forma de Operao de um Dispositivo. Tal
ferramenta permite que um especialista descreva as aes que
os simuladores e verificadores devem desempenhar sobre os
elementos de especificao armazenados no modelo lgico
de uma determinada aplicao durante a fase de anlise.
Com base no framework para um ambiente geral e nos
objetos definidos pelas ferramentas para definio de
dispositivos, elementos grficos e forma de operao, executase a Ferramenta de Gerao de Ambientes. Tal ferramenta
realiza de forma automtica a definio de mdulos que sero
anexados ao ambiente geral e uma nova ferramenta para um
dispositivo especfico ser obtida.
VII. CONCLUSO
Inicialmente, foram desenvolvidos estudos com o objetivo
de agregar aos dispositivos no-adaptativos subjacentes os
recursos providos pela camada adaptativa (NETO, 1993).
Valendo-se da representao geral para dispositivos
adaptativos elaborada por Neto (2001), foram definidos dois
novos dispositivos: Rede de Petri Adaptativa (RPAdp) e
Adaptive Interaction System Design Language (ISDLAdp).
Outros dispositivos adaptativos (Autmatos Adaptativos e
Autmato de Estados Finitos, Statechart e Gramtica),
previamente definidos individualmente em outros trabalhos,
foram denotados usando a representao geral para
dispositivos adaptativos. Com base nos dispositivos definidos
e nas denotaes realizadas, foi possvel avaliar a forma geral
para dispositivos adaptativos e verificar que a configurao
corrente (status) de uma aplicao em um determinado
momento no representada de forma adequada em tal
estrutura. Dessa forma, sugere-se que estudos sejam
realizados para o aprimoramento da referida representao, os
quais devero buscar uma melhor formalizao. Tambm se
observou que possvel adicionar novas camadas adaptativas
a dispositivos adaptativos j existentes, passando ento estes a
terem a possibilidade de realizarem modificaes no conjunto
de funes e aes adaptativas.
Com base nos estudos realizados, foi possvel propor uma
estrutura de dados geral (modelo lgico) que permite
representar os elementos conceituais dos dispositivos
subjacentes e/ou adaptativos definidos. O modelo lgico
desenvolvido foi organizado em camadas para facilitar o seu
entendimento e o mapeamento de formalismos e
especificaes para esse tipo de estrutura. Uma outra
vantagem de o modelo lgico ser organizado em camadas a
possibilidade de sua utilizao para a representao de
dispositivos subjacentes e as especificaes de aplicaes
produzidas com base em tais dispositivos apenas sem a
necessidade de usar a camada adaptativa. Uma vez assim
definido, o modelo lgico permite a descrio de dispositivos
adaptativos ou no-adaptativos dirigidos por regras e
prov recursos para que outros dispositivos sejam estudados e
mapeados.

Ainda em relao ao desenvolvimento de aplicaes, por

meio de dispositivos adaptativos, foi detectada a necessidade
de um mtodo para o projeto de aplicaes usando tais
dispositivos. Nesse sentido, foi definida uma metodologia
visando o desenvolvimento de aplicaes, utilizando-se de
tecnologia adaptativa, pela qual pde ser observada, tambm,
a necessidade de um ambiente para auxiliar o projetista no
desenvolvimento de suas aplicaes. Tal ambiente deve dar
suporte ao projetista em todo o ciclo de vida (especificao,
anlise e representao fsica) do desenvolvimento de
aplicaes e permitir que inconsistncias sejam verificadas e
corrigidas durante a realizao do trabalho. O ambiente
proposto fundamenta-se no modelo lgico definido para
descrever os dispositivos definidos e as especificaes
produzidas. A utilizao do modelo lgico mostrou-se de
fundamental importncia, pois permitiu uma maior agilidade e
facilidade na definio de novos dispositivos para suportarem
tecnologia adaptativa. Ainda em relao ao ambiente, tambm
foi proposta uma arquitetura concebida em mdulos. Tal
arquitetura permite que partes da ferramenta (mdulos) sejam
alteradas, inseridas ou removidas sem que ocorram mudanas
na estrutura do ambiente proposto.
Com a realizao dos trabalhos de definio de
dispositivos, de estruturao do modelo lgico e da
proposio do ambiente para a modelagem de aplicaes,
verificou-se que seria importante a concepo de um mtodo
para a definio de dispositivos adaptativos. Tal mtodo tem
por objetivo auxiliar os especialistas na definio de novos
dispositivos e consiste em trs etapas: terica, lgica e fsica.
Na etapa de representao formal (terica), o especialista, com
base na representao geral, faz a definio do dispositivo
subjacente e acrescenta a ele a camada adaptativa. Na
seqncia, realiza o mapeamento do novo dispositivo para o
modelo lgico e, posteriormente, utilizando-se de um
ambiente, pode realizar o projeto de suas aplicaes. Para
tornar mais rpido e eficiente o trabalho do especialista que
utiliza o referido mtodo foi proposta a concepo de um
gerador de ambientes para modelagem com uso da tecnologia
adaptativa. O gerador de ambientes tem por objetivo auxiliar
os especialistas na realizao das etapas do mtodo para
definio de dispositivos adaptativos e obter, quase
automaticamente, os novos dispositivos adaptativos e os seus
respectivos ambientes para a modelagem de aplicaes.
O gerador de ambientes permite que um especialista, depois
de realizar a formalizao de um dispositivo, utilize um
conjunto de ferramentas para auxiliar na descrio do modelo
lgico e dos principais elementos que constituiro o ambiente
de modelagem para o referido dispositivo. Inicialmente, o
especialista define o dispositivo e a descrio dos elementos
necessrios para a gerao do ambiente. Depois de realizadas
essas tarefas, o gerador de ambientes executado e obtm-se
como sada um ambiente para a modelagem de aplicaes
adaptativas para ser utilizado pelos projetistas na realizao de
seu trabalho.
Com o objetivo de validar o gerador proposto, foi definido
um ambiente simplificado para a modelagem de aplicaes

adaptativas. Tal ambiente consiste de duas ferramentas: uma

para descrio de dispositivos e especificao de aplicaes
usando o modelo lgico e outra para simular as aplicaes
especificadas, ambas utilizando-se do modelo lgico e de um
framework para auxiliar os especialistas na implementao de
simuladores para os dispositivos definidos. A realizao
desses trabalhos serviu para demonstrar que a proposta do
gerador consistente e ajudou a validar o modelo lgico
definido. As ferramentas obtidas tambm podem auxiliar um
projetista na especificao de suas aplicaes, apesar de no
possurem uma interface to intuitiva e amigvel ao usurio.
Com o objetivo de avaliar os dispositivos definidos e as
ferramentas desenvolvidas, foram realizados estudos de casos
que empregam o uso da tecnologia adaptativa no seu projeto.
Nesse contexto, foram desenvolvidos trs estudos de caso, que
buscaram mostrar o uso dos dispositivos AEFAdp, RPAdp e
ISDLAdp e as ferramentas desenvolvidas para tais dispositivos.
O estudo de caso realizado em relao ao AEFAdp permitiu
demonstrar a utilizao da tecnologia adaptativa na
modelagem de elementos abstratos. O exemplo apresentado,
no qual foi utilizado o RPAdp, permitiu a demonstrao do
emprego de tal dispositivo na modelagem de aplicaes
telemticas e tambm possibilitou a constatao de que este
pode ser empregado na modelagem de outros tipos de
aplicaes. Em relao ao dispositivo ISDLAdp, este permitiu
avaliar o emprego da tecnologia adaptativa na especificao
de interfaces de aplicaes [14], bem como a sua utilizao no
desenvolvimento de aplicaes complexas [12].
REFERNCIAS
[1]
[2]

J. Lara, H. Vangheluwe, and M. Alfonseca, Meta-modelling and graph

grammars for multi-paradigm modelling AToM3, in Proc. Software and
Systems Modeling. Springer Verlag, vol. 3, number 3, Aug. 2004.
C. A. Petri, Kommunikation mit Automaten, Ph. D thesis, Institut fr
Instrumentelle Mathematik,Schriften, University of Bonn, Bonn,
German, 1962.

[3]

D. Harel et al., On the formal semantics of statecharts, in Proc. 1987

IEEE Symposyum on logic in Computer Science, pp. 54-64.

[4]

AToM 3 Project, Available on: http://atom3.cs.mcgill.ca/, January, 2007.

[5]

J. J. Neto, Contribuies metodologia de construo de

compiladores, Tese de Livre-Docncia, Escola Politcnica,
Universidade de So Paulo, So Paulo, Brasil, 1993.

[6]

J. J. Neto, Uma Soluo Adaptativa para Reconhecedores Sintticos,

in Anais 1998 EPUSP Engenharia de Eletricidade, srie B, vol. 1, pp.
645-657.

[7]

J. R. Almeida, STAD Uma ferramenta para representao e simulao

de sistemas atravs de statecharts adaptativos, Tese de Doutorado,
Escola Politcnica, Universidade de So Paulo, So Paulo, Brasil, 1995.

[8]

A.R. Camolesi, J. J. Neto, Modelagem Adaptativa de Aplicaes

Complexas, in 2004 Anais XXX Conferencia Latinoamericana de
Informtica Sep.

[9]

J. J. Neto, Adaptive Rule-Driven Devices General Formulation and

Case Study, in Proc. 2001 Lecture Notes in Computer Science.
Watson, B.W. and Wood, D. (Eds.): Implementation and Application of

Automata 6th International Conf., Springer-Verlag, Vol.2494, pp. 234250.

[10] H. Pistori, Tecnologia Adaptativa em Engenharia de Computao:
Estado da Arte e Aplicaes, Tese de Doutorado, Escola Politcnica,
Universidade de So Paulo, So Paulo, Brasil, 2003.
[11] M. K. Iwai, Um formalismo gramatical adaptativo para linguagens
dependentes de contexto, Tese de Doutorado, Escola Politcnica,
Universidade de So Paulo, So Paulo, Brasil, 2000.
[12] A. R. Camolesi, J.J. Neto, Representao Intermediria para Dispositivos
Adaptativos Dirigidos por Regras, in Proc. 2004 3rd International
Information and Telecommunication Technologies Symposium, UFSCar,
So Carlos, Brasil.
[13] W. L. Souza et al., Design de Aplicaes Multimdia Distribudas
(DAMD), in Anais do II Seminrio Franco-Brasileiro em Sistemas
Distribudos Conf, Fortaleza CE, novembro de 1997.
[14] A. R. Camolesi, J.J. Neto, An adaptive model for specification of
distributed systems. IX Congreso Argentino de Ciencias de la
Computacin, La Plata, Argentina, 6-10 de Outubro, 2003.
Almir R. Camolesi nasceu em Cndido Mota, So
Paulo, Brasil, em 2 de janeiro de 1972. Graduou-se
em Tecnologia em Processamento de Dados na
Fundao Educacional do Municpio de Assis, em
1992. Recebeu o ttulo de mestre em Cincia da
Computao pela Universidade Federal de So
Carlos, em 2000, e doutorou-se em Engenharia de
Computao e Sistemas Digitais pela Universidade
de So Paulo, em 2007. Atualmente, professor
titular da Fundao Educacional do Municpio de
Assis. Tem experincia na rea de Cincia da Computao, com nfase em
Tecnologias Adaptativas, atuando principalmente nos seguintes temas:
modelagem abstrata, metaferramentas, dispositivos adaptativos, ensino a
distncia, modelagem e desenvolvimento de aplicaes distribudas.