A methodology for the automatic generation of Java Card software

Java Card platform enables the object-oriented design and implementation of smart card applications. However, only a subset of Java programming language can be used due to limited processing and storage capabilities of these devices. Further, developers are forced to deal with the constraints and details of a low-level communication protocol for the packet transmission between smart cards and host computers. In order to eliminate those difficulties of Java Card software development and support the model-driven development of on-card applications, a domain-specific language, called DSL4JavaCard has been developed in this thesis study. The definition of both a metamodel for the language's abstract syntax and a concrete syntax for checking some contraints during smart card software modelling in the thesis paves the way of automatic generation of Java Card application codes from DSL4JavaCard instance models. In addition, case study-based exemplification of the language usage and evaluation are also provided in the thesis. Achieved results show that DSL4JavaCard differentiates from the previous related work specifically by enabling the model-driven development of Java Card security components. Moreover, it is experienced that operational semantics of the language succeeds in automatic generation of all fundamental Java Card components required in a smart card application while providing the automatic generation of most of the user-defined components and code blocks specific to the bussiness domain of the smart card application.