Oliveira, Marcel Vinicius MedeirosBarrocas, Samuel Lincoln Magalhães2014-12-172012-01-162014-12-172011-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.application/pdfAcesso AbertoCircusJCSPJCircus.CircusJCSPJCircus.JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para JavamasterThesisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO