JCML - Java Card Modeling Language: Definição e ... - Ifrn

CAPÍTULO 6. TRABALHOS RELACIONADOS 1056.1 B with Optimized Memory - BOMO projeto BOM define uma tradução otimizada de código B para a linguagem Java Card,com o objetivo de prover aplicações para dispositivos com pouca capacidade de memóriae processamento. O projeto tem como foco dividir a aplicação Java Card em duas classes,uma que implementa a lógica de negócio de uma aplicação smart card e outra que implementao código da classe applet. BOM otimiza a geração de código do Atelier B [11].Os objetivos do projeto BOM são:• Otimizar a implementação da linguagem;• Desenvolver um tradutor confiável a partir de uma especificação B, para código Ce Java, na qual a otimização de mémoria é o principal foco;• Prover um tradutor de código Open Source;• Aplicar o método B na arquitetura Java Card;A ferramenta JBtools [41] é um subproduto do projeto BOM, o qual implementa atradução de código B em Java Card. Este projeto define um conjunto de ferramentascomo: um type checker B, uma ferramenta para geração de documentação e um geradorde código de B para Java e C#.A geração de código com o BOM é feita a partir de especificação B, enquanto a especificaçãocom JCML é feita no próprio código Java Card através da inserção de comentáriosde especificação. Diferente do projeto BOM, o JCML ainda não realiza otimizaçãode código. Contudo a aplicação do método B no desenvolvimento (arquitetura) de aplicaçõesJava Card é realizada de forma semelhante ao JCML. Em JCML a verificação decódigo de especificação é realizada durante a execução do programa. No projeto BOM osmétodos da aplicação são gerados a partir da especificação.6.2 BSmartO método BSmart [16] foi desenvolvido no laboratório ConSiste da UFRN, o qual temcomo principal objetivo, fornecer um desenvolvimento rigoroso, a partir de especificações