OCL specifications for Java Card API
javacard.framework.service
BasicService.txt
CardRemoteObject.txt
Dispatcher.txt
RemoteService.txt
RMIService.txt
SecurityService.txt
Service.txt
ServiceException.txt