Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Aug. 15, 2006 to Aug. 17, 2006
David Deharbe , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
Bruno Gurgel Gomes , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
Anamaria Martins Moreira , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
This paper presents a method for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the application logic does not need to take into account the specific aspects of the Java Card platform (in particular, communication between the card acceptance device and the smart card itself). A sequence of preestablished refinements is then applied to the original specification to yield an implementation-level B description of the component, which can then be used to synthesize Java Card code. This method reduces significantly the required amount of user-interaction and improves productivity. An interesting side-effect of this approach is that the specification may be reused with any other platform of implementation.
D. Deharbe, B. G. Gomes and A. M. Moreira, "Automation of Java Card component development using the B method," 11th IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Stanford, CA, 2006, pp. 259-268.