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