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 | Size | Format | |
|---|---|---|---|---|
| SAMUEL LINCOLNdissertacao_final.pdf | 2,22 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.