Engenharia de Linguagens

Análise e Transformação de Software

Programa resumido

• Parsing generalizado e Regras de Desambiguidade:
  • Parsing LL ou LR Generalizado (estudo de sistemas como o SGLR e o HaGLR).
• Aspectos quantitativos de Linguagens de Programação:
  • Métricas para Linguagens de Programação.
  • Métricas para análise de programas (e.g., detecção de código morto, clones, etc).
• Transformação de programas:
  • Programação estratégica.
  • Técnicas de Slicing.
  • Especialização de programas e cálculo parcial.
• Teste de Software.
• Paradigmas para visualização de dados e de conhecimento:
  • visualização vs navegação.
  • visualização/navegação em árvores, grafos, hiper-cubos, petri-nets.
  • visualização/navegação em ontologias.
  • animação de algoritmos.
  • modelos de visualização, visualização com ponto de vista móvel.
  • Exploração de Ambientes de Trabalho usando os paradigmas explicitados nos items acima.

Resultados de Aprendizagem Específicos

• Capacidade de construir front-ends poderosos para a análise de linguagens de programação (ambíguas ou não).
• Capacidade de desenvolver software como uma tarefa de transformar programas e/ou especificações em implementações eficientes.
• Capacidade de utilizar métricas e técnicas de transformação de programas para optimizar programas (e.g. cálculo parcial, detecção de código morto), efectuar debugging de programas (e.g. slicing), melhorar a estrutura dos programas (e.g. refactoring).
• Capacidade para de definir testes para software e testar automaticamente programas em diferentes linguagens de programação.
• Capacidade para criar representações visuais adequadas à compreensão clara do conhecimento complexo detido.

Engenharia de Linguagens

Programação Estruturada de Documentos

Avaliação Final 2007/2008

• PED2007-aval.pdf: Relatório de Avaliação de PED (Exame)

Engenharia de Linguagens

Notas Pedagógicas

Relatórios

• Schema oficial para os relatórios (solicitação de alterações para jcr@di.uminho.pt)
  • report.xsd (versão de 2007-12-10)
  • paragraph.xsd
  • sample-report.xml
• Notas de desenvolvimento
  • o Schema ainda não está documentado (em breve...);
  • além de ser útil o Schema pretende ser didáctico pelo que não será de estranhar a variedade de estruturas internas utilizadas bem como a modularidade através da utilização de grupos de elementos bem como da separação do modelo do parágrafo num Schema à parte;
  • a instância apresentada é um manual para a redacção de relatórios utilizado na Universidade de Aveiro que eu adaptei para XML, o seu conteúdo é didáctico e apropriado ao contexto;
  • as versões HTML e PDF serão geradas com stylesheets construídas pelos alunos sendo que pequenos excertos serão desenvolvidos nas aulas.

Manuais

• SLKoptions: Manual do Gerador de Parsers LL(k): SLK

Documentos Exemplo

• lpTEMPLATE.bib: Template para Ficheiro de Bibliografia BibTeX

Engenharia de Linguagens

Análise e Transformação de Software

Fichas Práticas

Ficha I

A questão está que em SQL1 não existe a instrução UPDATE TABLE para alterar um ou mais campos não-chave de um registo. Isso leva a que a actualização é sempre feita à custa de uma remoção (REMOVE TABLE T WHERE chv="X") seguida de uma inserção (INSERT INTO TABLE T (chv="X", a1=...) ).

O upgrader a implementar deve detectar os pares (REMOVE,INSERT) e substituir por um UPDATE.

Sistematize a implemetação da sua ferramenta de modo a poder gerar automaticamente o máximo de módulos e a poder reaproveitar essas componentes para exercícios análogos. A sua implementação deve ser, sucinta e legível.

• Link útil sobre construção de árvores usando o ANTLR: Tree Construction
• Download do ANTLR (linha de comandos): ANTLR 3
• Configurar CLASSPATH para permitir a invocação via linha de comandos (Windows): set CLASSPATH = %CLASSPATH%;pathANTLR;pathST; onde a pathANTLR/pathST é a respectiva path para o ANTLR/StringTemplate (.jar) para onde descomprimiram a pasta.
• Exemplo para testar as Tree grammars: Expr
• Exemplo para testar o módulo StringTemplate: Exemplo simples de uma atribuição. (em Windows executar o comando "compile")

Ficha II

A questão está que em a nova versão da classe de serviços SUPORTE() introduziu um método designado por setall() que permite actualizar todos os N atributos da classe, dispensando a invocação sequencial dos métodos setAi() para actualização individual dos N atributos.

O upgrader a implementar deve detectar essa sequência de invocações individuais e substituir por uma só invocação ao novo método setall().

A sua implementação deve ser, sucinta e legível e deve reaproveitar ao máximo a bancada construída nas aulas.

Ficha III

• Tabela de identificadores;
• Data Dependence Graph (DDG) usando a técnica de Single Static Assignment (SSA)
• Control Flow Graph (CFG)
• Extra: Program Dependence Graph (PDG).

Material útil:

• Gramática de C-- em ANTLR v3: CMinus
• Capítulo sobre análise de código e slicing

Engenharia de Linguagens

Processamento Estruturado de Documentos

Fichas Práticas

• Ficha I: ...

Engenharia de Linguagens

Horário

A Unidade Curricular de Especialização de Engenharia de Linguagens funcionará no segundo semestre de 2007/2008 às Segundas-Feiras na sala 0.04 do DI, com o seguinte horário:

• 08h30 - 11h30: Scripting no Processamento de Linguagem Natural
  • José João Almeida
• 11h30 - 13h00: Projecto Integrado
  • Alberto Simões
• 14h15 - 17h00: Análise e Transformação de Software
  • Pedro Rangel Henriques e Daniela da Cruz
• 17h00 - 18h30: Projecto Integrado
  • Pedro Rangel Henriques

Projecto de PED2007

Este projecto destina-se a quem quiser aprofundar os seus conhecimentos de uma forma mais prática e desta maneira conseguir também ser avaliado à disciplina.

O projecto deverá ser desenvolvido individualmente ou em grupos de 2 elementos.

Dos enunciados abaixo o grupo deverá seleccionar um para desenvolver.

DBML Browser

Neste projecto, pretende-se desenvolver um browser para DBML (Database Markup Language).

-- JoseCarlosRamalho - 11 Nov 2007

Engenharia de Linguagens

Scripting no Processamento de Linguagem Natural

Programa resumido

• Linguagens de scripting:
  • características, objectivos e conceitos.
  • introdução a uma linguagem de Scripting (e.g. Perl).
• Processadores de linguagens regulares e programação orientada à expressão regular.
• Design Patterns no processamento de linguagens.
• Linguagens baseadas em regras:
  • reescrita textual e DSLs baseadas em regras de reescrita.
  • sistemas de produção.
• Processamento estrutural de árvores e DSLs baseadas nestes processadores.
• Processamento de Linguagem Natural: Análise Morfo-sintáctica de textos em língua natural:
  • Modelos morfológicos.
  • Gramáticas lógicas e DCGs.
  • Parsing robusto.
• Processamento de Linguagem Natural: semântica e pragmática.
• Dicionários (multi-fonte) e Thesaurus.
• Extracção de Conhecimento a partir de Textos.
• Sumarização e Classificação.
• Tradução automática.

Resultados de Aprendizagem Específicos

• Ser capaz de escrever scripts para automatização de uma variedade de tarefas e transformações.
• Ser capaz de resolver problemas usando transformações via Expressões Regulares.
• Ser capaz de compreender as vantagens e o funcionamento de sistemas guiados por regras de produção (condição-reacção).
• Ser capaz de construir Linguagens de Domínio Específico (DSLs) concretas.
• Ser capaz de construir e usar corpora.
• Ser capaz de extrair informação diversa a partir de corpora.
• Ser capaz de construir dicionários electrónicos.
• Ser capaz de construir pequenos protótipos para modelar linguagem natural.

Engenharia de Linguagens

Algumas Referências

• Reference Model for an Open Archival Information System (OAIS)
• Metadata Encoding and Transmission Standard (METS)

-- DanielaCruz - 20 Apr 2008

Engenharia de Linguagens

Engenharia Gramatical

Sumários

• 1 de Outubro de 2007
  • Revisão de alguns conceitos na construção de parsers: análise léxica e análise sintáctica;
  • Considerações básicas sobre desempenho na construção de parsers; * Artigo comparativo de abordagens de parsing em Perl
  • Exercício de manuseamento de gramáticas (Ficha 01, exerc 1a);
• 9 de Outubro de 2007
  • Definição cuidada do objectivo específico deste Módulo: estudar tudo o que tem a ver com:
    • uso de Gramáticas na Especificação de Problemas (enfatizando o caso particular da Especificação de Linguagens);
    • uso de Gramáticas na construção sistemática dos programas que resolvem os Problemas especificados (enfatizando o caso particular da Geração Automática de Procesadores de Linguagens).
  • Leve abordagem ao tema "métricas para aferir a qualidade de uma Gramática" e ao tema "características de uma Linguagem que definem a sua qualidade";
  • Introdução à ferramenta UltraGram;
  • Utilização do UltraGram para estudar a GIC do Exercício 1 da Ficha Prática 1 (Gf1.1):
    • Geração do Autómato Determinista
    • Análise estática: dimensão, função de transição e Conflitos
    • Análise dinâmica: Stack de Parsing e Árvore de Derivação
  • Optimizações na Gramática e implicações na Linguagem; recurso de novo ao UltraGram para avaliar uma série de parâmetros escolhidos para medir a qualidade da Gramática:
    • 1ªTransformação: eliminação de Produções Inúteis
    • 2ªTransformação: alteração da linguagem (para permitir agrupar as orientações de um orientador).
• 15 de Outubro de 2007
  • Elaboração de um relatório sobre métricas de análise/avaliação da qualidade de gramáticas e linguagens;
  • Exercícios com a ferramenta UltraGram.
• 22 de Outubro de 2007
  • Revisão dos parâmetros usados nas aulas anteriores para avaliar a evolução da qualidade e eficiência das Gramáticas quando se fazem alterações:
    • Tamanho da G
    • Tamanho do AD LR de reconhecimento
    • Tamanho das Tabelas de Parsing
    • Tempo de Geração do Parser
    • Tempo de acesso à Tabelas de Parsing
    • Tempo de Parsing
    • Legibilidade de G (para o eng gra que desenvolve)
    • Legibilidade/Usabilidade de G (para o user final que a utiliza para conhecer a L)
    • Linguagem gerada por G
  • Recapitulação/sumário dos Exercícios feitos com a transformação de Gramáticas e da utilização da ferramenta UltraGram para avaliação:
    • foram feitas 2 transformações a Gf1.1 (eliminação de PInuteis e Melhoria da Linguagem) mas só a 1ª foi medida (anotando-se na tabela acima o sentido da variação) => refazer o último exercício;
    • foram feitas 2 transformações a Gf1.2 (eliminação de PInuteis e Melhoria da Linguagem) mas nenhuma foi medida => refazer todo o exercício.
  • Discussão dos relatórios elaborados na aula anterior sobre métricas de análise/avaliação da qualidade de gramáticas com o intuito de reunir a opinão recolhida pelos vários grupos num quadro de consenso geral. Nesta âmbito foram discutidos os seguintes tipos de Métricas:
    • de Complexidade ou de Tamanho, tendo sido identificados os seguintes parâmetros:
      • #T, #N, #P, #RHS, #Pinuteis, #Alternativas, #Recursividade (ciclos)
    • estruturais, tendo sido identificados os seguintes parâmetros:
      • Profundidade/Peso da àrvore; Balanceamento da árvore; Recursividade
  • Referências Bibliográficas em LaTeX:
    • importância das citações na escrita científica: evitar pleonasmos, reconhecimento ao autor, apresentação da base em que se suporta o trabalho, links para a profundar a leitura
    • o comando \cite{label} no documento
    • a base de dados textual com a bibliografia (fich.bib) no formato @tipo{ label, item=string (, item=string)* }
    • o funcionamento cooperativo dos programas LaTeX e BibTeX (e a interacção via fich.aux)
• 29 de Outubro de 2007
  • Definição dos Critérios para Caracterização de uma Gramática como geradora de programas (processadores/compiladores):
    • eficiência na geração
      • tempo geração
      • tamanho/complexidade das EDs usadas
    • eficiência no processamento (na compilação)
      • tempo Parsing
      • tamanho/complexidade das Tabelas, ou mecanismos, de decisão.
    • clareza/legibilidade para manutenção (perspectiva do EG)
  • Definição dos Critérios para Caracterização de uma Gramática como geradora de linguagens:
    • clareza/legibilidade para derivar frases de L (perspectiva do end-user)
    • características da Linguagem Gerada [mos07]:
      • expressividade
      • abstracção
      • compreensibilidade e documentação???
      • unicidade
      • consistência
      • extensibilidade ???
      • segurança (+comp)
      • realizabilidade (+comp)
      • eficiência dos programas (comp)
      • sinergia (comp)
      • ortogonalidade (comp)
  • Definição dos Parâmetros a medir para avaliar estas características (no âmbito da Geração de Programas):
    • tamanho de G: #T, #N, #P, #Pinuteis, #RHS, #Alt/N, #AltMedia
    • tipo de Recursividade
    • tamanho das Tabelas + tempo Decisão (acesso às Tabs ou aos Casos):
      • tamanho do AD-LR (#Q) ª tamanho Tab-LL
  • Repetição dos Exercícios feitos sobre a transformação de Gramáticas e a utilização da ferramenta UltraGram para avaliação:
    • foram feitas 2 transformações a Gf1.1 (eliminação de PInuteis e Melhoria da Linguagem) de modo a registar em Tabela Comparativa o valor de todos os indicadores (parâmetros) escolhidos para caracterizar o Tamanho de G

                      Gf1.1v1 | Gf1.1v2 | Gf1.1v3 | Gf1.1v3'
                #T:    12        12        12        12
                #N:    11         5        13         6
                #P:    15         9        18        11
                #PI:    6         0         6         0
                RHS (min,max,med):
                     0,9,1.9  0,10,2.3  0,8,1.8   0,9,2.0
                Alt (min,max,med)
                      2,2,2   ......
                Alt/N: 8/11      8/5       10/13     10/6
      
                TRec:  LRec     .......
      
                #Q:    28        22        32        25
            

  • Foram feitos depois alguns testes com a Ferramenta ProGrammar (gerador de parsers LL) para tentar medir os mesmos indicadores numa situação diferente de Parsing (Top-Down em vez de Bottom-Up), tendo-se de novo recorrido a a gramática do 1ºexercício, Gf1.1, a qual teve de ser alterada (como se mostra abaixo) para Eliminar a Recursividade à Esquerda. Infelizmente este exercício, para além de mostrar que o ProGrammar? detectava logo a Recursividade à Esquerda e que, não havendo conflitos, mostrava o processo de parsing e de construção da AD, não trouxe grande ajuda nas medições pretendidas porque não mostrava as tabelas.

           PGs ::=   PGlist "." ;
           PGlist ::= PG [ {";" PGList } ];
           PG ::= IdOrient Tipo CoOrient Aluno "("Titulo")" Inic Fim;
           IdOrient ::= alpha ;
           Tipo ::= "PHD" | "MSC" ;
           CoOrient ::= [ "CO-ORIENT" Nome ] ;
           Aluno ::= Nome ;
           Titulo ::= string;
           Nome ::= string;
           Inic ::= "INI" Ano ;
           Fim ::= [ "FIM" Ano ] ;
           Ano ::= numeric ;
           string ::= quotedstring;       
          

  • Foi introduzido um outro Tópico do Módulo: modelação de sistemas de informação com Gramáticas.
• 05 de Novembro de 2007
  • Identificaram-se as implicações que as 2 transformações T1 e T2 de Gf1.1 tiveram sobre as características a avaliar sobre gramáticas:
    • (C1.1)eficiência na geração: + | -
    • (C1.2)eficiência no processamento: + | -
    • (C1.3)clareza/legibilidade para manutenção: - | x
    • (C2.1)clareza/legibilidade para derivar frases de L: - | x
    • (C2.2)características da Linguagem Gerada: x | +
  • Relacionaram-se as Métricas propostas por Power e Malloy (M1 a M6) com os Parâmetros definidos na última aula para avaliar Gramáticas, tendo-se concluido que as três primeiras (M1 a M3) correspondiam a métricas por nós previstas enquanto que as três últimas (M4 a M6) teriam ainda de ser incluídas pois medem a dependência entre símbolos; a título de exemplo, para clarificar esta última questão, discutiu-se a diferença entre a recurisvidade directa e indirecta em listas. Assim comparando as 2 alternativas abaixo:

            p1: PGList -> PG PGCont
            p2: PGCont -> &
            p3:         | ";" PG PGCont
    
            p1': PGList -> PG PGCont
            p2': PGCont -> &
            p3':         | ";" PGList
           

    verificou-se que a primeira (p1,p2,p3) era preferível por diminuir a dependência entre símbolos.
  • Procurou-se identificar a influêndia que cada parâmetro tem sobre as características, em particular ficou clara a importância do comprimento dos Lados Direitos das Produções na eficiência do parsing.
  • Foram feitos depois alguns testes com a Ferramenta SLK Parser Generator (http://home.earthlink.net/~slkpg/), gerador de parsers LL, para tentar medir os mesmos indicadores numa situação diferente de Parsing (Top-Down em vez de Bottom-Up), tendo-se de novo recorrido à gramática do 1ºexercício, Gf1.1, a qual teve de ser alterada (como se mostra abaixo) para Eliminar a Recursividade à Esquerda. Desta vez obtiveram-se uma série de métricas úteis para o estudo em curso.

           PGs :  PGlist .
           PGlist : PGlist PG
                    _epsilon_ 
           PG : IdOrient Tipo CoOrient Aluno ( Titulo ) Inic Fim 
           IdOrient : ID
           Tipo : PHD 
                  MSC
           CoOrient : _epsilon_
                      CO-ORIENT Nome 
           Aluno : Nome 
           Titulo : STRING
           Nome : STRING
           Inic : INI Ano 
           Fim : _epsilon_
                 FIM Ano 
           Ano : NUMBER
           

  • Fez-se ainda uma revisão completa às estrategias de Parsing Top-Down e Bottom-Up:
    • Relembrou-se a estrutura e conteúdo das Tabelas LL: N * T -> prod | erro
    • Relembrou-se o conteúdo e funcionamento da Stack de Parsing LL, que começa em <S,$> e termina <>
    • Relembrou-se a estrutura e conteúdo das Tabelas LR: Q * N -> Q e Q * T -> skip(Q) | red(P) | erro
    • Relembrou-se o conteúdo e funcionamento da Stack de Parsing LR, que começa em <> e termina <S,$>
  • No fim da aula, apresentou-se o 2ªTrabalho para Casa cujo enunciado se inclui na rubrica Fichas Práticas deste Módulo.
• 12 de Novembro de 2007
  • Discutiu-se a resolução (apresentada por um dos grupos) da Ficha Prática III: Transformações da Gramática Gf1.2, aferição das métricas em cada metamorfose e avaliação do impacto de cada transformação (T1, T2 e T3) sobre as características de uma gramática.
  • Discussão da aplicação do critério (ou métrica) dito "Fenton's Impurity" para avaliação da Dependencia entre os Símbolos Não-terminais: construção do Grafo e cálculo do factor de Fenton; inclusão de mais um critério (C1.4) que mede a facilidade de modularização e manutenção de uma gramática.
  • Continuou-se a trabalhar no segundo tópico do Módulo, Modelação de Sistemas de Informação com Gramáticas, com o início da resolução de um problema concreto: Especificação de um Sistema para Apoio à construção e publicação de Horários (para Alunos, Docentes e Salas) e Sumários das Aulas. Enunciou-se o problema e começou-se a especificar as classes/conceitos: Horários, Horário e Célula do Horário.
• 19 de Novembro de 2007
  • Apresentação sumária das várias opções da ferramenta SKL; e breve introdução ao AnTLR e AnTLR-Works.
  • Discussão da aplicação do critério (ou métrica) dito "Fenton's Impurity" para avaliação da Dependencia entre os Símbolos Não-terminais.
  • Conclusão da resolução de um problema concreto de Modelação de Sistemas de Informação com Gramáticas: Especificação de um Sistema para Apoio à construção e publicação de Horários (para Alunos, Docentes e Salas) e Sumários das Aulas. Continuação da especificação das Classes/conceitos (Sala, Aula, Turno, Disciplina, Aluno, Docente) com a introdução de Invariantes (via Condições Contextuais) e especificação de algumas Operações -- criação de um _Sistema de Gramáticas de 2-Níveis_.
  • Simulação e teste das Classes do SI criando uma Parser para reconhecer frases da Linguagem, recorrendo ao AnTLR.
• 26 de Novembro de 2007
  • Resolução de um segundo problema concreto de Modelação de Sistemas de Informação com Gramáticas: Sistema de Gestão para apoio ao Atendimento e Triagem de Paciêntes num urgência hospitalar. Especificação das Classes/conceitos (Doentes, Doente, Historial-Clinico, Episódio, Triagem, Lista-Espera) com a introdução de Invariantes (via Condições Contextuais) e especificação de algumas Operações -- criação de um _Sistema de Gramáticas de 2-Níveis_.
  • Simulação e teste das Classes do SI criando uma Parser para reconhecer frases da Linguagem, recorrendo ao AnTLR; construção e análise do Grafo de Sucessores (SG) para apreciar a qualidade da especificação.
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 1: Noção de Acção Semântica e de Gramática Tradutora.
  • Criação de uma mailing-list; Discussão e Publicação dos critérios de avaliação da UCE30-EL.
• 03 de Dezembro de 2007
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 2: Noção e Definição formal de Gramática de Atributos.
  • Resolução do exercício 1.2 da Folha de exercícios 1 para consolidação da matéria sobre GT e AS.
  • Início da Resolução do exercício 1.3 da Folha de exercícios 1 para consolidação da matéria sobre GA.
• 10 de Dezembro de 2007
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 2: Noção e Definição formal de Gramática de Atributos.
  • Conclusão da Resolução do exercício 1.3 da Folha de exercícios 1 para consolidação da matéria sobre GA.
  • Início da Resolução do exercício 2.3 da Folha de exercícios 1 para consolidação da matéria sobre GA.
• 17 de Dezembro de 2007
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 2: Noção e Definição formal de Gramática de Atributos.
  • Início da Resolução de um novo exercício (Indice Remissivo) para consolidação da matéria sobre GA -- derivação da GIC Concreta+Abstracta a partir de um exemplo de Txt-Fnt:
    • Construção da Lista de Páginas;
    • Cálculo do Número de Páginas registadas (entradas);
    • Verificação da Ordem Crescente das Páginas;
    • Verificação da Inexistência de Palavras Repetidas.
  • Construção da tabela (N u T)*(AH u AS)
  • Introdução às métricas para Avaliação da Qualidade de uma GA:
    • Número de atributos, absoluto, por tipo e em relação ao total de (N u T)
    • Complexidade do Tipo dos atributos (atómicos ou estruturados)
    • Comprimento dos caminhos dos Grafos de Dependências.
• 07 de Janeiro de 2008
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 2: Noção e Definição formal de Gramática de Atributos.
  • Conclusão da Resolução do exercício (Indice Remissivo) para consolidação da matéria sobre GA:
    • Construção da Lista alfabética de Palavras associadas à lista de Páginas.
  • mostra-se e discute-se abaixo a solução final completa deste exercício:

    p1: Index : INDICE Entradas FINDICE
    p2: Entradas : Entrada
    p3:          | Entradas Entrada
    p4: Entrada  : IdPag ":" LstPals
    p5: LstPals  : pal
    p6:          : LstaPals "," pal
    p7: IdPag    : num
    
    a) criar uma lista de números de páginas
    Rp2: Es0.lp = ins(E1.pg, nil)
    Rp3: Es0.lp = ins(E2.pg, Es1.lp)
    Rp4: E0.pg  = IdPag1.pg
    Rp7: IdPag0.pg = num1.val
    
    b) contar as Entradas
    Rp2: Es0.cnt  = 1
    Rp3: Es0.cnt  = 1 + Es1.cnt
    
    c) garantir que as Páginas aparecem por ordem crescente
    Cp3: ( E2.pg > Es1.ult )
    Rp2: Es0.ult = E1.pg
    Rp3: Es0.ult = E2.pg
    
    d) Garanta que não ha nenhuma Palavra repetida
    Sol d1)
    Cp3: ( testaRepete(Es1.lpal,E2.lpal) )  //operação mt pesada e desnecessaria
    Rp3: Es0.lpal = concat(Es1.lpal,E2.lpal) //operação mt pesada
    Rp4: E0.lpal = LstPals2.lpal
    Pp5/Rp6: LstPals0.lpal = ins(...)
    
    Sol d2)
    Cp5: ( !existe(pal1.val,LstPals0.inlpal) ) //operação mt simples
    Cp6: ( !existe(pal2.val,LstPals1.pal) )
    Pp5: LstPals0.lpal = ins(pal1.val,LstPals0.inlpal) //operação igual/ simples
    Rp6: LstPals0.lpal = ins(pal2.val,LstPals1.lpal); LstPals1.inlpal = LstPals0.inlpal
    Rp4: LstPals2.inlpal = Entrada0.inlpal; Entrada0.lpal = LstPals2.lpal
    Rp2: Entrada1.inlpal = nil; Entradas0.lpal = Entrada1.lpal
    Rp3: Entrada2.inlpal = Entradas1.lpal; Entradas0.lpal = Entrada2.lpal
    
    e) (ignorar restrição da alínea e)criar uma Lista de Pals com uma Lista de Pags
    //de novo se coloca a mm situação da Sol d1)
    //então vamos avançar logo para a Sol do tipo d2) com AHerdados
    Rp4: LstPals2.inpg = IdPag1.pg;
         LstPals2.inlpal = Entrada0.inlpal; Entrada0.lpal = LstPals2.lpal
    Rp5: LstPals0.lpal = update( mkpair(pal1.val,LstPals0.inpg), LstPals0.inlpal)
                         //insere o par se Pal não existe, acrescenta Pag a ListaPags se Pal ja existe
    Rp6: LstPals0.lpal = update( mkpair(pal2.val,LstPals0.inpg), LstPals1.lpal)
         LstPals1.inlpal = LstPals0.inlpal
    Rp2: Entradas0.lpal = Entrada1.lpal; Entrada1.inlpal = nil;
    Rp3: Entradas0.lpal = Entrada2.lpal; Entrada2.inlpal = Entradas1.lpal
          

  • Início da Resolução de um novo exercício (Descrição de Candidaturas; Dados gerais, Entidades proponentes, Projecto e Fases) para consolidação da matéria sobre GA:

    p1: Candidatura : Dados Entidades Proj
    p2: Dados       : IdCand data Eixo Prog
    p3: Entidades   : Entid
    p4:             | Entidades Entid
    p5: Entid       : CodE
    p6: Entid       : NOVA CodE Nome Morad Resp
    p7: Proj        : Desc Inic Fim Fases
    p8: Fases       : Fase
    p9:             : Fases  Fase
    p10: Fase       : CodE Desc Inic Fim Custo
    p..: Eixo       : e1 | e2 | ... en
    p..: Prog       : p1 | p2 | ... pk
          

    • Verificação do Programa seleccionado em função do Eixo escolhido (nos Dados);
    • Tratamento das Entidades -- proponente ja registado (existente na lista das Entidades), ou novo (não existente nessa lista)); identificação das Entidades que participam na Candidatura.
  • Sistematização dos esquemas para escolha dos atributos S e H dos simbolos e localização/escrita das regras de cálculo, condições de contexto e regras de tradução (comparação de alternativas).
  • Discussão/avaliação das métricas para Avaliação da Qualidade de uma GA:
    • Número de atributos, absoluto, por tipo e em relação ao total de (N u T)
    • Complexidade do Tipo dos atributos (atómicos ou estruturados)
    • Comprimento dos caminhos dos Grafos de Dependências.
• 14 de Janeiro de 2008
  • Revisão das noções base associadas à especificação da semântica estática (restrições) e dinâmica (tradução) de Linguagens -- estádio 2: Noção e Definição formal de Gramática de Atributos.
  • Conclusão da Resolução do exercício sobre "Descrição de Candidaturas; Dados gerais, Entidades proponentes, Projecto e Fases" para consolidação da matéria sobre GA:
    • Cálculo do custo total de um Projecto em função do custo de cada Fase;
    • Validação da Entidade Responsável por cada Fase de um Projecto (tem de ser membro da lista de Entidades que integram essa Candidatura).
    • Validação do período de duração de cada Fase (tem de estar contido no período total do Projecto).
  • Sistematização dos esquemas para escolha dos atributos S e H dos simbolos e localização/escrita das regras de cálculo, condições de contexto e regras de tradução (comparação de alternativas).
  • Discussão/avaliação das métricas para Avaliação da Qualidade de uma GA:
    • Número de atributos, absoluto, por tipo e em relação ao total de (N u T)
    • Complexidade do Tipo dos atributos (atómicos ou estruturados)
    • Comprimento dos caminhos dos Grafos de Dependências.

Engenharia de Linguagens

Projecto Integrado

Sumários

Aula 1

• 1 de Outubro de 2007 - 1
  • Apresentação da UCE, e dos módulos intervenientes;
  • Apresentação do Horário e da Equipa Docente;
• 1 de Outubro de 2007 - 2
  • Exercícios Práticos na criação de DTDs;
  • Definição de listas de atributos em DTDs;
  • Exercícios no uso do XMLSpy para a criação de DTDs e documentos XML baseados em DTD;

Aula 2

• 9 de Outubro de 2007 - 1
  • Apresentação sucinta do projecto integrado: Arquivo Digital de Trabalhos Práticos (ADTPs);
  • Noção de Pacote de Submissão e discussão do seu Conteúdo no caso concreto do arquivo de TPs (de ficheiros TeX ou PDF, a código fonte ou executável, passando por imagens e HTMLs);
  • Demonstração de um Arquivo Digital de Artigos Científicos: eprints. Análise do Fluxo associado ao processo de aruivo no caso do eprints e verificação das facilidades de pesquisa e funcionalidades de um sistema deste genéro;
  • Discussão da estrutura de um Arquivo Digital;
  • Classificação de Documentos: taxonomias (CDU), evolução para ISO Thesaurus, e generalização natural para Ontologias;
  • Apresentação do conceito de Manifesto que acompanha o Pacote de Submissão;
• 9 de Outubro de 2007 - 2
  • Elaboração de um DTD para manifestos de pacotes de ficheiros (Submission Information Package, SIP);
  • Discussão do DTD obtido, e comparações com o formato METS;

Aula 3

• 15 de Outubro de 2007 - 1
  • Modelo de referência OAIS: Open Archive Information System;
  • Conceitos de Ingestão, Administração e Disseminação num arquivo digital;
  • Tipos de pacotes SIP, AIP e DIP: Submission Information Package, Archive Information Package e Dissemination Information Package;
  • Análise do Projecto;
• 15 de Outubro de 2007 - 2
  • Exercícios de XPath;

Aula 4

• 22 de Outubro de 2007 - 1
  • Revisões de conceitos de bases de dados: tabelas, normalização, chaves primárias e estrangeiras. (databases.pdf)
• 22 de Outubro de 2007 - 2
  • Exercícios de XSL;

Aula 5

• 29 de Outubro de 2007 - 1
  • Resolução do segundo exercício da ficha de revisões de bases de dados.
  • Discussão sobre a implementação em modelo relacional de taxonomias e ontologias.
• 29 de Outubro de 2007 - 2
  • Exercícios de XSL com geração de índices e travessias multiplas.

Aula 6

• 5 de Novembro de 2007 - 1
  • Discussão do enunciado do projecto integrado e das tarefas a realizar;
  • Discussão da arquitectura do Arquivo Digital de Trabalhos Práticos;
  • Brainstorming sobre várias abordagens para a representação do AIP em sistema relacional;
• 5 de Novembro de 2007 - 2
  • Exercícios de construção de Schemas, e processamento de documentos XML com base em XSL;

Aula 7

• 12 de Novembro de 2007 - 1
  • Aula usada para trabalho em grupo no projecto integrado;
  • Criação de um ambiente de trabalho em servidor partilhado;
• 12 de Novembro de 2007 - 2
  • Descrição em Schema de um tipo de documento para relatórios;
  • Criação de grupos e elementos como aliases em documentos recorrentes;

Aula 8

• 19 de Novembro de 2007 - 1
  • Brainstorming sobre a interface Web para submissão de trabalhos práticos;
  • Brainstorming sobre a estrutura da base de dados e repositório de trabalhos;
  • Início da criação de uma base de dados;
• 19 de Novembro de 2007 - 2
  • Análise do Schema 'report' para relatórios de trabalhos práticos;
  • Início do desenvolvimento de uma XSL para a transformação do formato report em HTML;
  • Algumas noções sobre HashTables e Contadores;

Aula 9

• 26 de Novembro de 2007 - 1
  • Discussão sobre a metodologia de avaliação da UCE e Projecto Integrado;
  • Definição de metas/milestones para etapas do Projecto Integrado;
  • Desenvolvimento da base de dados do Projecto Integrado;
• 26 de Novembro de 2007 - 2
  • Continuação do desenvolvimento de uma XSL para a transformação do formato report para HTML;
  • Uso de xsl:document-result para a geração de mais do que uma página;
  • Algumas experiências com eixos.

Aula 10

• 3 de Dezembro de 2007 - 1
  • Dada a participação do docente no Simpósio Doutoral do 13º Encontro Português de Inteligência Artificial (EPIA), foi sugerido aos alunos o uso da aula para o desenvolvimento do Projecto Integrado;
• 3 de Dezembro de 2007 - 2
  • ...

Aula 11

• 10 de Dezembro de 2007 - 1
  • Discussão do trabalho prático, com ênfase em algumas dúvidas sobre a estrutura da base de dados.
• 10 de Dezembro de 2007 - 2
  • Exercícios de construção de um Topic Map a partir de um XML de uma árvore genealógica.

Aula 12

• 17 de Dezembro de 2007 - 1
  • Análise por grupos das estruturas de base de dados propostas por outros grupos.
• 17 de Dezembro de 2007 - 2
  • Exercícios de geração de XSL-FO a partir de um relatório em XML (Report2007).

Aula 13

• 7 de Janeiro de 2008 - 1
  • Discussão sobre a evolução dos trabalhos práticos: definição da interface para upload de trabalhos práticos.
• 7 de Janeiro de 2008 - 2
  • Exercícios de geração de website a partir de vários documentos XML usando XSL.

Aula 14

• 14 de Janeiro de 2008 - 1
  • Discussão sobre a evolução dos trabalhos práticos. Análise de alguns trabalhos.
• 14 de Janeiro de 2008 - 2
  • Exercícios de revisão

Aula 15

• 21 de Janeiro de 2008 - 1
  • Revisões de Processamento estruturado de documentos
• 21 de Janeiro de 2008 - 2
  • Revisões de Processamento estruturado de documentos

Aula 16 (Início do 2ºSemestre)

• 03 de Março de 2008 - 1
  • Tendo por base as deficiências e dificuldades identificadas aquando da avaliação intermédia (fim do 1ºSem.) do Projecto Integrado, esta parte da aula foi totalmente dedicada à
    • Resolução de um exercício de modelação em UML de um sistema de informação -- Gestão de Contas Bancárias, Clientes, Cartões e Movimentos -- para sedimentar esta componente essencial do projecto (a modelação do sistema).
• 03 de Março de 2008 - 2
  • A 2ªparte desta aula de recomeço foi essencialmente dedicada a analisar as conclusões retiradas da 1ª avaliação intermédia e a replanear a actividade de cada grupo, face ao que já fizeram e ao que tem agora de fazer para:
    • (a) cumprir integralmente os objectivos de um Arquivo Digital, estabelecidos para o 1ºSem.;
    • (b) incluir agora uma nova funcionalidade para Recuperção de Informação (vulgo, Information Retrieval) que misture os conceitos de pesquisa estrutural em XML com a noção de similaridade textual.
  • Nesse sentido foi solicitado aos Grupos que troussessem na próxima aula um planeamento rigoroso de todo o projecto (incluindo as fases já percorridas).

Aula 17

• 10 de Março de 2008 - 1 e 2
  • Análise da situação concreta do estado de desenvolvimento do projecto de cada grupo; discussão do relatório e replaneamento.

Aula 18

• 31 de Março de 2008 - 1 e 2
  • Apresentação detalhada (discussão) dos 5 novos requisitos funcionais (4 obrigatórios e 1 alternativo) a acrescentar ao sistema.

Aula 19

• 07 de Abril de 2008 - 1 e 2
  • Apresentação detalhada do conceito de DIP: informação e funcionalidade associadas.

Aula 20

• 14 de Abril de 2008 - 1 e 2
  • Implementação do DIP;
  • Discussão com cada grupo das alternativas estudadas e das decisões tomadas.

Aula 21

• 21 de Abril de 2008 - 1
  • Introdução a Recolha de Informação
    • Modelo Booleano: Information Retrieval -- Boolean Model
• 21 de Abril de 2008 - 2
  • Conclusão da implementação da criação e disponibilização de DIPs

Aula 22

• 28 de Abril de 2008 - 1 e 2
  • Avaliação Q1: Criação e disponibilização de DIPs

Aula 23

• 05 de Maio de 2008 - 1 e 2
  • Discussão e Implementação do sistema de recolha de informação (Q2)

Aula 24

• 19 de Maio de 2008 - 1
  • Conclusão da Implementação das Componentes (Q1) e (Q2); aperfeiçoamento do relatório.

Aula 25

• 26 de Maio de 2008 - 1
  • Avaliação Q2: sistema de recolha de informação
• 26 de Maio de 2008 - 2
  • Discussão e início da implementação do (Q4)

Aula 26

• 2 de Junho de 2008 - 1
  • Implementação Cliente/Servidor SOAP em Perl (soap.pdf: soap.pdf)

Aula 27

• 9 de Junho de 2008
  • Conclusão da Implementação do componente Q4

Aula 28

• 16 de Junho de 2008
  • Avaliação Q4: sistema de pesquisa remota via SOAP

Aula 29

• 23 de Junho de 2008
  • Avaliação Final do Projecto Integrado

Aula 30

• 30 de Junho de 2008
  • Testes aos módulos da UCE

Unidade Curricular de Especialização

Engenharia de Linguagens

Engenharia de Linguagens

• Trabalhos Finais
  • Grupo 2 - Apresentação - Relatório
  • Grupo 3 - Apresentação - Relatório
  • Grupo 4 - Apresentação - Relatório
  • Grupo 6 - Apresentação - Relatório

• Propostas de Dissertação
  • Em Processamento de Linguagem Natural

• Responsável pela UCE: Pedro Rangel Henriques
• Avaliação
• Resultados de Avaliação
• Alunos/Grupos
• Horário Primeiro Semestre
• Horário Segundo Semestre

Módulos

• Engenharia Gramatical
  • Responsável: Pedro Rangel Henriques
  • Programa
  • Sumários
  • Fichas Práticas
  • Avaliação Final

• Processamento Estruturado de Documentos
  • Responsável: José Carlos Ramalho
  • Dossier da disciplina
  • Fichas Práticas
  • Programa
  • Aulas Teóricas
  • Avaliação Final

• Análise e Transformação de Software
  • Responsável: Pedro Rangel Henriques
  • Programa
  • Sumários
  • Fichas Práticas

• Scripting no Processamento de Linguagem Natural
  • Responsável: José João Almeida
  • Programa
  • Sumários

• Projecto Integrado
  • Equipa Docente: Daniela da Cruz Alberto Simões
  • Objectivos e Estrutura de Funcionamento
  • Enunciado do Projecto Integrado
  • Sumários

Material Didáctico

• Algumas referências
• Material de Apoio

Education/EL0708 Web Utilities

• Education/EL0708 Web
• Create New Topic
• Index
• Search
• Changes
• Notifications
• Statistics
• Preferences

• Main Webs

•  DI
•  EL
•  Education
•  Events
•  JoseLuisSilva
•  Personal
•  Research

Education/EL0708 Web Preferences

The following settings are web preferences of the Education.EL0708 web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

• List of topics of the Education/EL0708 web:
  • #Set WEBTOPICLIST = Changes | Index | Search | Go

• Web-specific background color: (Pick a lighter one of the StandardColors).
  • Set WEBBGCOLOR = #D0D0D0
  • Note: This setting is automatically configured when you create a web

• Image, URL and alternate tooltip text of web's logo.
  Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
  • #Set WEBLOGOIMG = /twiki/pub/Main/LocalLogos/um_eengP.jpg
  • #Set WEBLOGOURL = http://di.uminho.pt/
  • #Set WEBLOGOALT = DIUM

• List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/EL0708.Topic links.
  Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
  
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = Engenharia Linguagens
  • Set SITEMAPUSETO = Engenharia Linguagens
  • Note: Above settings are automatically configured when you create a web

• Exclude web from a web="all" search: (Set to on for hidden webs).
  • Set NOSEARCHALL =
  • Note: This setting is automatically configured when you create a web

• Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
  • #Set NOAUTOLINK =
  • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

• Default template for new topics for this web:
  • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default topic template

• Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the Education/EL0708 web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
  • Set DENYWEBVIEW =
  • Set ALLOWWEBVIEW =
  • Set DENYWEBCHANGE =
  • Set ALLOWWEBCHANGE = JoseCarlosRamalho,Main.AlbertoSimoes,Main.PedroRangelHenriques,Main.DanielaCruz
  • Set DENYWEBRENAME =
  • Set ALLOWWEBRENAME = JoseCarlosRamalho,Main.AlbertoSimoes,Main.PedroRangelHenriques,Main.DanielaCruz

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • Set ALLOWTOPICCHANGE = JoseCarlosRamalho,Main.AlbertoSimoes
  • Set ALLOWTOPICRENAME = JoseCarlosRamalho,Main.AlbertoSimoes

• Web preferences that are not allowed to be overridden by user or topic preferences:
  • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

• A preference setting is defined by:
  3 or 6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  
  • #Set DENYWEBCHANGE = UnknownUser
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
• You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

• TWiki.TWikiPreferences, Main.TWikiPreferences - site-level preferences
• TWikiUsers - list of user topics. User topics can have optional user preferences
• TWikiVariables - list of common %VARIABLES%
• TWikiAccessControl - explains how to restrict access by users or groups

Tools

• Rename, move or delete this web:
  • Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

Web Search

Search: \.*