JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPÍTULO 4. APLICABILIDADE DE JML A JAVA CARD 73necessário a definição de um subconjunto JML compatível com <strong>Java</strong> <strong>Card</strong>. Este subconjuntoconsiste, principalmente, em retirar da gramática JML, recursos <strong>Java</strong> que não sãosuportadas em <strong>Java</strong> <strong>Card</strong>. Foi descrito o que deve ser checado em tempo de execução, apartir da nova gramática, e como estas regras devem ser implementadas, pois a quantidadede código gerado pode gerar problemas relacionados a memória.Por fim, é necessário otimizar o código gerado a partir de uma especificação JML.A descrição de uma nova linguagem, baseada na JML, e respectiva ferramenta de compilaçãofoi a solução proposta para atingir o objetivo que é a aplicação de checagem runtimeem cartões inteligentes. Nossa conclusão é que é possível prover verificação JML a applets<strong>Java</strong> <strong>Card</strong> em tempo de execução. Contudo é necessário retirar construções JML nãocompatíveis com <strong>Java</strong> <strong>Card</strong>. Da mesma forma, a geração de código do novo compiladordeve ir ao encontro das restrições da tecnologia <strong>Java</strong> <strong>Card</strong>, sempre mantendo o significadoda especificação.