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

Capítulo 5JCML - Java Card Modeling LanguageEste trabalho propõe a JCML (Java Card Modeling Language), uma linguagem de especificaçãode classes e interfaces Java Card. A linguagem foi definida a partir de um subconjuntoJML. A partir de uma especificação JCML é possível gerar código compatível comas restrições da plataforma Java Card, para verificação em tempo de execução.Como visto no capítulo 4, o compilador JML gera código que não pode ser inseridono cartão. Isto ocorre porque o arquivo gerado pelo compilador JMLc pode ultrapassar olimite de memória permitido pelo cartão e gerar, também, código que não é reconhecidopela plataforma Java Card. Com isso, além da definição de um subconjunto JML compatívelcom Java Card (JCML), é necessária a implementação de um compilador que dêsuporte a esta nova linguagem.Este capítulo irá apresentar a estrutura da linguagem JCML e seu respectivo compilador,o qual gera código de verificação em tempo de execução para especificações JCML.5.1 Descrição da Gramática JCMLA gramática da linguagem JCML segue a estrutura da JML descrita em [21], manual dereferência. Para definição das regras da gramática é usado o formalismo EBNF (ExtendedBackus-Naur Form) [32]. As regras JCML são adaptadas, quando necessário, às restriçõesJava Card. Cláusulas JML não compatíveis com Java Card são excluídas da linguagemJCML e o motivo de sua não utilização é apresentado. A estrutura, para o lado direito dasregras da gramática JCML, é:74