Small OS智能卡操作系统的用伪代码编程

首先,我们要对编程风格和SmallˉOS的编程做一些注释。伪代码是从BASIC推导而来的,原则上它表现为智能卡操作系统Small-OS的半形式化描述。根据ITSEC,类似的操作系统描述经常用于软件 评估。它们被用做评估和检查源代码的基础。于是,本节中所呈现的伪代码,就表现为一个良好的范例说明 智能卡操作系统中的进程是如何形式化描述的,伪代码在此以列表形式给出并附以详细的注释。类似形式的 表述可在EN 1546系列标准中找到,例如,其中智能卡电子钱包的内部进程就是半形式化描述的。 伪代码中所用各个术语均已在本书开始处叙述过了。程序代码是面向标准的BASIC语言的,具有面向对象 的扩充。只采