Use este identificador para citar ou linkar para este item: https://repositorio.ufrn.br/jspui/handle/123456789/18025
Título: JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Autor(es): Barrocas, Samuel Lincoln Magalhães
Palavras-chave: Circus;JCSP;JCircus.;Circus;JCSP;JCircus.
Data do documento: 29-Ago-2011
Editor: Universidade Federal do Rio Grande do Norte
Citação: 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.
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.
metadata.dc.description.resumo: 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.
URI: http://repositorio.ufrn.br:8080/jspui/handle/123456789/18025
Aparece nas coleções:PPGSC - Mestrado em Sistemas e Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
SAMUEL LINCOLNdissertacao_final.pdf2,22 MBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.