本课题旨在用π-演算对openMosix的一些基本特征进行解释，选取了进程迁移作为切入点，重点研究在进程迁移的情况下，进程间的互操作关系，用π-演算给予了形式化的描述。 本文的主要工作有： 1. 通过一个简化了的模型，描述了openMosix集群系统中进程迁移的实现过程，并给出了其π-演算模型，既反映了其进程迁移的特点，又充分表现了进程间通信的特性。 2. 针对openMosix集群系统透明性，选取一些具体的例子给出其π-演算语义，因此可能以进程代数的角度研究openMosix集群的行为与动作。 本课题的创新之处在于将系统中涉及到的进程间通信方法映射到π-演算中的通道的概念。这个假设是合理的，因为无论进程间通信方法或是π-演算中的通道，本质上反映的都是连接的概念。在这样的假设下，π-演算可以传输通道名的特点，恰巧可以体现迁移进程间通讯行为的变化，这在模型中得到了充分的体现。