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

CAPÍTULO 2. SMART CARDS 23Figura 2.2: JCVM - Java Card Virtual Machine.• JCRE (Java Card Runtime Environment) [38] - O JCRE consiste nos componentesdo sistema Java Card que rodam dentro de um smart card. A propriedade maissignificante do JCRE é que este provê uma separação clara entre o smart card e asaplicações desenvolvidas. A JCRE encapsula os detalhes da complexidade de umsmart card, facilitando o desenvolvimento de aplicações. O JCRE define como secomporta o ambiente de execução, incluindo gerenciamento de memória, de aplicações,segurança e outras características da execução [38].• JC-API (API Java Card) [37] - A API Java Card [27] descreve as interfaces dedesenvolvimento para aplicação da tecnologia Java Card. A API contém definiçõesde classe que são necessárias para o suporte da JCVM e JCRE.A JCVM utiliza dois tipos de arquivos, independente de plataforma, que são aplicadosno desenvolvimento de um software Java Card, são eles: Arquivos CAP (ConvertedApplet) e Arquivos Export. Os CAPs contém uma representação binária das classes executáveisJava (arquivos .class) e são como arquivos JAR que contém um conjunto decomponentes. Cada arquivo contém informações de classes, bytecodes executáveis e informaçõesde verificação, como tipos de dados e visibilidade. Após a construção dosarquivos CAP (off-card), estes são inseridos no cartão para serem executados (on-card)como mostra a Figura 2.2.O arquivo Export não é executado pelo interpretador. Este arquivo é utilizado peloconversor para a verificação da estrutura Java Card [8], contendo informações de APIspúblicas de um pacote de classes. Com isso é definido o tipo de acesso e nomes dasclasses. Também é definido neste arquivo, o escopo de acesso e assinatura de métodose atributos de cada classe. O arquivo Export não contém implementação, com isso não