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

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Barrocas, Samuel Lincoln Magalhães
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Circus
JCSP
JCircus.
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Link de acesso: 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_0244b1e8296092389bfc96bef7b88cbc
oai_identifier_str oai:repositorio.ufrn.br:123456789/18025
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para JavaCircusJCSPJCircus.CircusJCSPJCircus.CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOThis 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.Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da ComputaçãoOliveira, Marcel Vinicius Medeiroshttp://lattes.cnpq.br/3124946268301438http://lattes.cnpq.br/1756952696097255Musicante, Martin Alejandrohttp://lattes.cnpq.br/6034405930958244Barrocas, Samuel Lincoln Magalhães2014-12-17T15:47:56Z2012-01-162014-12-17T15:47:56Z2011-08-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfBARROCAS, 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/18025porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRN2017-11-04T13:16:12Zoai:repositorio.ufrn.br:123456789/18025Repositório InstitucionalPUBhttp://repositorio.ufrn.br/oai/repositorio@bczm.ufrn.bropendoar:2017-11-04T13:16:12Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.none.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.none.fl_str_mv Oliveira, Marcel Vinicius Medeiros

http://lattes.cnpq.br/3124946268301438

http://lattes.cnpq.br/1756952696097255
Musicante, Martin Alejandro

http://lattes.cnpq.br/6034405930958244
dc.contributor.author.fl_str_mv Barrocas, Samuel Lincoln Magalhães
dc.subject.por.fl_str_mv Circus
JCSP
JCircus.
Circus
JCSP
JCircus.
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
topic Circus
JCSP
JCircus.
Circus
JCSP
JCircus.
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.none.fl_str_mv 2011-08-29
2012-01-16
2014-12-17T15:47:56Z
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.uri.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.
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
application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
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
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv repositorio@bczm.ufrn.br
_version_ 1855758831158558720

Registros relacionados