Please use this identifier to cite or link to this item: https://repositorio.ufrn.br/handle/123456789/18025
Title: JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Authors: Barrocas, Samuel Lincoln Magalhães
Keywords: Circus;JCSP;JCircus.;Circus;JCSP;JCircus.
Issue Date: 29-Aug-2011
Publisher: Universidade Federal do Rio Grande do Norte
Citation: 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.
Portuguese Abstract: 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.
Abstract: 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.
URI: https://repositorio.ufrn.br/jspui/handle/123456789/18025
Appears in Collections:PPGSC - Mestrado em Sistemas e Computação

Files in This Item:
File Description SizeFormat 
SAMUEL LINCOLNdissertacao_final.pdf2,22 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.