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

CAPÍTULO 6. TRABALHOS RELACIONADOS 106B, de aplicações Java Card. O método consiste em uma metodologia de desenvolvimento,uma ferramenta (Plugin Eclipse), fornecendo uma interface gráfica que integra um conjuntode programas que auxilia e automatiza o processo de desenvolvimento Java Card.A ferramenta BSmart possibilita a geração de código para Java Card, utilizando o protocoloAPDU e, da mesma forma, também permite que seja gerado código para invocaçãoremota (RMI) de métodos Java Card.O ciclo de desenvolvimento BSmart tem início com a especificação de uma máquinaB, a qual define a aplicação. Segue-se com os refinamentos, que introduzem os detalhesespecíficos e as características da aplicação Java Card. Por fim, é feita a geração do códigoJava Card com base na implementação dos refinamentos feitos em B.O método BSmart e a linguagem JCML foram desenvolvidos no mesmo ambiente doprojeto Smart (Engineering of Smart Card Applications). O projeto tinha como foco aplataforma Java Card e o desenvolvimento de métodos e tecnologias para smart card.O método BSmart gera código Java e Java Card a partir de especificação B, faz análisede compatibilidade da especificação B e o código Java, inclui edição de especificação Be type checking. Diferente do BSmart, o JCML faz a geração de funções de verificaçãopara as construções inseridas no código da aplicação Java Card. O método BSmart geracódigo para a aplicação a partir da especificação e o JCML gera código de verificação.6.3 C Modeling Language - CMLA CML [13] é uma linguagem de especificação, desenvolvida em parceria entre a UPEe Cin/UFPE. Ela descreve requisitos não-funcionais para aplicações desenvolvidas nalinguagem de programação C. CML também é usável em aplicações com restrição detempo, memória, área e outros recursos limitados.Semelhante a JML e JCML, a especificação CML é feita em blocos de comentário. Opadrão de comentário em CML é entre /*! . . !*/, limitando o início e fim a especificação.O compilador CML traduz a especificação em um arquivo XML. Este arquivo é lidopor uma outra aplicação que entende o formato gerado. A partir do arquivo XML, égerado código C.