Mapeamento da linguagem Nautilus para Java

Detalhes bibliográficos
Autor(a) principal: Fuzitaki, Claudio Naoto
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/5621
Resumo: Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.
id URGS_4d7d2346a6bc7162feb08091208292fc
oai_identifier_str oai:www.lume.ufrgs.br:10183/5621
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Fuzitaki, Claudio NaotoMenezes, Paulo Fernando Blauth2007-06-06T18:48:40Z2004http://hdl.handle.net/10183/5621000473193Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.application/pdfporNAUTILUSTeoria : CategoriasAutomato não-sequencialProgramação concorrenteJava (Linguagem de programação)Mapeamento da linguagem Nautilus para Javainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2004mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000473193.pdf000473193.pdfTexto completoapplication/pdf655166http://www.lume.ufrgs.br/bitstream/10183/5621/1/000473193.pdf69e75868d4dfa5334b3ccaa2d3a01c22MD51TEXT000473193.pdf.txt000473193.pdf.txtExtracted Texttext/plain171177http://www.lume.ufrgs.br/bitstream/10183/5621/2/000473193.pdf.txtad47c36f5c05a5710a3417d70b9a3975MD52THUMBNAIL000473193.pdf.jpg000473193.pdf.jpgGenerated Thumbnailimage/jpeg1017http://www.lume.ufrgs.br/bitstream/10183/5621/3/000473193.pdf.jpg3ce0ab2ebee7afb528bfb05f72e03ac9MD5310183/56212022-02-22 04:53:47.844059oai:www.lume.ufrgs.br:10183/5621Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532022-02-22T07:53:47Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Mapeamento da linguagem Nautilus para Java
title Mapeamento da linguagem Nautilus para Java
spellingShingle Mapeamento da linguagem Nautilus para Java
Fuzitaki, Claudio Naoto
NAUTILUS
Teoria : Categorias
Automato não-sequencial
Programação concorrente
Java (Linguagem de programação)
title_short Mapeamento da linguagem Nautilus para Java
title_full Mapeamento da linguagem Nautilus para Java
title_fullStr Mapeamento da linguagem Nautilus para Java
title_full_unstemmed Mapeamento da linguagem Nautilus para Java
title_sort Mapeamento da linguagem Nautilus para Java
author Fuzitaki, Claudio Naoto
author_facet Fuzitaki, Claudio Naoto
author_role author
dc.contributor.author.fl_str_mv Fuzitaki, Claudio Naoto
dc.contributor.advisor1.fl_str_mv Menezes, Paulo Fernando Blauth
contributor_str_mv Menezes, Paulo Fernando Blauth
dc.subject.por.fl_str_mv NAUTILUS
Teoria : Categorias
Automato não-sequencial
Programação concorrente
Java (Linguagem de programação)
topic NAUTILUS
Teoria : Categorias
Automato não-sequencial
Programação concorrente
Java (Linguagem de programação)
description Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.
publishDate 2004
dc.date.issued.fl_str_mv 2004
dc.date.accessioned.fl_str_mv 2007-06-06T18:48:40Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/5621
dc.identifier.nrb.pt_BR.fl_str_mv 000473193
url http://hdl.handle.net/10183/5621
identifier_str_mv 000473193
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/5621/1/000473193.pdf
http://www.lume.ufrgs.br/bitstream/10183/5621/2/000473193.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/5621/3/000473193.pdf.jpg
bitstream.checksum.fl_str_mv 69e75868d4dfa5334b3ccaa2d3a01c22
ad47c36f5c05a5710a3417d70b9a3975
3ce0ab2ebee7afb528bfb05f72e03ac9
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085055772491776