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 7Considerações FinaisA plataforma <strong>Java</strong> <strong>Card</strong> fornece um ambiente favorável à aplicação de projeto por contratono desenvolvimento de aplicações. Na sua maioria, as aplicações necessitam defuncionamento correto e de alguma garantia de segurança das informações a serem armazenadas.Geralmente, os códigos de aplicações para smart card são pequenos e possuemaspectos em comum, características que podem ser exploradas para a reutilizaçãode especificações.Os applets <strong>Java</strong> <strong>Card</strong> necessitam de segurança e garantia de que dados armazenadosnão são violados. A aplicação de formalismo no desenvolvimento deste tipo de softwareassegura corretude em relação à sua especificação.Especificacões que gerem código <strong>Java</strong> <strong>Card</strong> a ser verificado em tempo de execuçãovêm ao encontro das necessidades críticas do ambiente smart card e garantir propriedadesimportantes para as aplicações smart card.A JML é uma linguagem de especificação <strong>Java</strong> que é bastante usada e difundida.Apesar de garantir estados desejáveis em tempo de execução em um ambiente <strong>Java</strong>, suaaplicação em um ambiente de desenvolvimento como o <strong>Java</strong> <strong>Card</strong>, não viável. Isso ocorrepelo fato da plataforma <strong>Java</strong> para cartões ser bem mais restrita que a versão standard do<strong>Java</strong>. Dessa forma, existe uma necessidade de se adaptar a linguagem e ferramentas JMLpara que este desenvolvimento seja possível.Este trabalho propôs uma linguagem de especificação para aplicações <strong>Java</strong> <strong>Card</strong>,baseada em projeto por contrato, chamada <strong>Java</strong> <strong>Card</strong> <strong>Modeling</strong> <strong>Language</strong>. A <strong>JCML</strong> é108