JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

Detalhes bibliográficos
Autor(a) principal: Barrocas, Samuel Lincoln Magalhães
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/jspui/handle/123456789/18025
Resumo: This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.
id UFRN_c0a70a4fb5bb3d13c82dbe0dffd74cc7
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/18025
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Barrocas, Samuel Lincoln Magalhãeshttp://lattes.cnpq.br/3124946268301438http://lattes.cnpq.br/1756952696097255Musicante, Martin Alejandrohttp://lattes.cnpq.br/6034405930958244Oliveira, Marcel Vinicius Medeiros2014-12-17T15:47:56Z2012-01-162014-12-17T15:47:56Z2011-08-29BARROCAS, Samuel Lincoln Magalhães. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java. 2011. 129 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2011.https://repositorio.ufrn.br/jspui/handle/123456789/18025This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.Esta dissertação tem como objetivo estender a ferramenta JCircus, um tradutor de especificações formais para código que recebe uma especificação em Circus como entrada, e traduz a especificação para código Java. Circus é uma linguagem formal cuja sintaxe é baseada nas sintaxes das linguagens Z e CSP. O código gerado por JCircus faz uso de JCSP, que é uma API de Java que implementa primitivas de CSP. O fato de JCSP não implementar CSP completamente faz com que a estratégia de tradução de Circus para Java seja não-trivial. Algumas primitivas de CSP, como paralelismo, escolhas externa e interna, comunicação, e multi-sincronização são implementadas em JCSP de forma parcial. Nesta dissertação, estendemos a tradução destas primitivas. Além disso, esta dissertação também desenvolverá uma ferramenta para fazer testes em processos JCSP, chamada JCSPUnit.application/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoCircusJCSPJCircus.CircusJCSPJCircus.CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOJCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Javainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALSAMUEL LINCOLNdissertacao_final.pdfapplication/pdf2269762https://repositorio.ufrn.br/bitstream/123456789/18025/1/SAMUEL%20LINCOLNdissertacao_final.pdff3ae8e1d8966bfbf455c79b080c96cc2MD51TEXTSAMUEL LINCOLNdissertacao_final.pdf.txtSAMUEL LINCOLNdissertacao_final.pdf.txtExtracted texttext/plain239793https://repositorio.ufrn.br/bitstream/123456789/18025/6/SAMUEL%20LINCOLNdissertacao_final.pdf.txt761bed31a289f85326c4dc7c36cb8a0dMD56THUMBNAILSAMUEL LINCOLNdissertacao_final.pdf.jpgSAMUEL LINCOLNdissertacao_final.pdf.jpgIM Thumbnailimage/jpeg3705https://repositorio.ufrn.br/bitstream/123456789/18025/7/SAMUEL%20LINCOLNdissertacao_final.pdf.jpgc255ceeb09cbd19f37c0532ba0ec990bMD57123456789/180252017-11-04 10:16:12.452oai:https://repositorio.ufrn.br:123456789/18025Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-04T13:16:12Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.por.fl_str_mv JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
title JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
spellingShingle JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Barrocas, Samuel Lincoln Magalhães
Circus
JCSP
JCircus.
Circus
JCSP
JCircus.
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
title_full JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
title_fullStr JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
title_full_unstemmed JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
title_sort JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
author Barrocas, Samuel Lincoln Magalhães
author_facet Barrocas, Samuel Lincoln Magalhães
author_role author
dc.contributor.authorID.por.fl_str_mv
dc.contributor.authorLattes.por.fl_str_mv http://lattes.cnpq.br/3124946268301438
dc.contributor.advisorID.por.fl_str_mv
dc.contributor.advisorLattes.por.fl_str_mv http://lattes.cnpq.br/1756952696097255
dc.contributor.referees1.pt_BR.fl_str_mv Musicante, Martin Alejandro
dc.contributor.referees1ID.por.fl_str_mv
dc.contributor.referees1Lattes.por.fl_str_mv http://lattes.cnpq.br/6034405930958244
dc.contributor.author.fl_str_mv Barrocas, Samuel Lincoln Magalhães
dc.contributor.advisor1.fl_str_mv Oliveira, Marcel Vinicius Medeiros
contributor_str_mv Oliveira, Marcel Vinicius Medeiros
dc.subject.por.fl_str_mv Circus
JCSP
JCircus.
topic Circus
JCSP
JCircus.
Circus
JCSP
JCircus.
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
dc.subject.eng.fl_str_mv Circus
JCSP
JCircus.
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
description This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.
publishDate 2011
dc.date.issued.fl_str_mv 2011-08-29
dc.date.available.fl_str_mv 2012-01-16
2014-12-17T15:47:56Z
dc.date.accessioned.fl_str_mv 2014-12-17T15:47:56Z
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.citation.fl_str_mv BARROCAS, Samuel Lincoln Magalhães. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java. 2011. 129 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2011.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/18025
identifier_str_mv BARROCAS, Samuel Lincoln Magalhães. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java. 2011. 129 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2011.
url https://repositorio.ufrn.br/jspui/handle/123456789/18025
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.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Sistemas e Computação
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Ciência da Computação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/18025/1/SAMUEL%20LINCOLNdissertacao_final.pdf
https://repositorio.ufrn.br/bitstream/123456789/18025/6/SAMUEL%20LINCOLNdissertacao_final.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/18025/7/SAMUEL%20LINCOLNdissertacao_final.pdf.jpg
bitstream.checksum.fl_str_mv f3ae8e1d8966bfbf455c79b080c96cc2
761bed31a289f85326c4dc7c36cb8a0d
c255ceeb09cbd19f37c0532ba0ec990b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802117740256821248

Registros relacionados