Download - Semântica de Ações
![Page 1: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/1.jpg)
Semântica de AçõesSemântica de Ações
Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais
![Page 2: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/2.jpg)
Semântica Completa de SpecimenSemântica Completa de Specimen
vejam em http://www.cin.ufpe.br/~slp Projeto RAT
Action Semantic Descriptions Directoryhttp://www.cin.ufpe.br/~rat/asd.html
![Page 3: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/3.jpg)
Linguagens e AplicaçõesLinguagens e Aplicações
Linguagens ML, Amber, Joyce, Modula-3, occam Pascal ANDF-FS
Geração de Compiladores Actress (Brown, Moura, Watt) Cantor (Palsberg) Doh’s Thesis Oasis (Orbaek) Abaco (Meneses, Moura)
![Page 4: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/4.jpg)
Um Compilador para a Notação de Um Compilador para a Notação de AçõesAções
Actress é um sistema de geração de compiladores orientado a semântica
o objetivo é gerar compiladores comparáveis com compiladores manuais (tão eficientes quanto)
os compiladores gerados geram código que roda 10 vezes mais lento do que código gerado por código de compiladores manuais
usado com pequenas linguagens (imperativa e funcional) ANC é o principal componente de Actress implementado em Standard ML
![Page 5: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/5.jpg)
Precisamos de um parser...Precisamos de um parser...
EspecificaçãoLéxica dePantanal
AST para oPrograma Fonte
ProgramaFonte em Pantanal
EspecificaçãoSintática de
Pantanal
Parserpara
Pantanal
ML YaccML Lex
![Page 6: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/6.jpg)
Usando o gerador de acionadores...Usando o gerador de acionadores...
Acionadorde
Pantanal
Geradorde
Acionadores
Semânticade Ações de
Pantanal
Ação-programade P
ASTde P
![Page 7: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/7.jpg)
Um Compilador para a Notação de Um Compilador para a Notação de AçõesAções
ANcode
generator
ANparser
ANsortchecker
ANtransformer
sourceaction
actionAST
decoratedaction AST
Ccode
transformedaction AST
![Page 8: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/8.jpg)
Um Compilador para PantanalUm Compilador para Pantanal
ActioneerGenerator
Parserpara
Pantanal
Actioneerfor
PantanalANC
Semântica de Ações de Pantanal
programafonte
AST program-actionAST
códigoC
![Page 9: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/9.jpg)
Ferramentas e GruposFerramentas e Grupos
Ferramentas Action Semantics Description Tools (ASD) Estilos LaTeX Guile Action Notation Interpreter (Ani)
Grupos Aahrus, Peter Mosses Glasgow, David Watt Kansas State, Dave Schmidt
![Page 10: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/10.jpg)
O Projeto RATO Projeto RAT
Prover um ambiente baseado em semântica de ações para projeto e implementação de linguagens de programação
http://www.cin.ufpe.br/~rat
![Page 11: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/11.jpg)
O Sistema RATO Sistema RAT
Útil para projetistas, implementadores, programadores e educadores
WebAni: Ani via Internet (http://www.cin.ufpe.br/~rat) RAT GUI RAT parser RAT semantic analyser The ABACO System: Algebraic Based Action
Compiler
![Page 12: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/12.jpg)
Linhas de PesquisaLinhas de Pesquisa
Geração de compiladores a partir de descrições em semântica de ações
Descrições semânticas de linguagens reais: Haskell, Java, Eiffel, etc.
Descrições semânticas estáticas usando semântica de ações
Tradução de ações Transformações de ações
![Page 13: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/13.jpg)
Linhas de Pesquisa (cont.)Linhas de Pesquisa (cont.)
Inferindo propriedades de linguagens a partir de descrições em semântica de ações
Implementação do RAT (para Windows ou para Internet)
Usando ações na modelagem de processos de negócio Especificando diagramas de ação (Engenharia da
Informação)
![Page 14: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/14.jpg)
Prospectiva (Mosses’96)Prospectiva (Mosses’96)
Muito para ser feito no que se refere a uma teoria para semântica de ações
Inclusão de melhorias na notação de ações Linguagem de especificação algébrica Ferramenta integrada: edição, navegação, teste, etc. Ensino na graduação (subconjunto da notação de
ações)
![Page 15: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/15.jpg)
Informações AdicionaisInformações Adicionais
Action Semantics Home Page http://www.brics.dk/Projects/AS
Action Semantics Mailing List [email protected] [email protected] (inscrição)
Books Action Semantics, Peter D. Mosses, Cambridge University Press,
1992. “The Book”. Programming Languages Syntax and Semantics, David A. Watt,
Prentice-Hall, 1991.
![Page 16: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/16.jpg)
Considerações FinaisConsiderações Finais
Ani: um Interpretador para Ações Semântica de Ações e Geração de Compiladores Transformações de ações Ações comunicativas
![Page 17: Semântica de Ações](https://reader036.vdocuments.com.br/reader036/viewer/2022082712/56813c14550346895da58ac7/html5/thumbnails/17.jpg)
Semântica de AçõesSemântica de Ações
Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais