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

CAPÍTULO 1. INTRODUÇÃO 191.3 Organização do TrabalhoNo capítulo 2 são fornecidos os conceitos e teoria referentes às tecnologias smart card eJava Card. Os smart cards são apresentados segundo sua especificação e estrutura e osJava Card são apresentados de acordo com sua plataforma e arquitetura de desenvolvimento,além de restrições de memória e estrutura de desenvolvimento.No capítulo 3, a JML será detalhada tem termos de estrutura da linguagem, compilação,ferramentas e tipos de especificação. O presente trabalho também apresenta, noCapítulo 4 uma análise da aplicação de construções JML em dispositivos smart card.Como resultado desta análise, uma nova linguagem, baseada na JML, é apresentada nocapítulo 5. A JCML (Java Card Modeling Language) é uma linguagem que traduz especificaçãoem código Java Card, com objetivo de verificar propriedades em tempo deexecução. Neste capítulo, é apresentada a gramática da linguagem e uma versão de seucompilador, finalizando, com um comparativo do código gerado pelo compilador da linguagemJML e o compilador JCML. Por fim são apresentados os trabalhos relacionadose as conclusões do presente trabalho com uma descrição dos trabalhos futuros, nos Capítulos6 e 7 respectivamente.