现代远程教育日益成为当今世界教育技术发展的热点和潮流.目前,作为教学中的一个重要组成部分--实验教学,还不能在远程教育中很好地实现.虚拟实验是解决远程教育中实验教学的最佳选择,但是由于理论和技术上的原因,远程虚拟实验的开发还远远不能满足远程教育的需求,造成这种局面的一个重要原因是远程虚拟实验的开发没有一个统一的系统模型,这就导致虚拟实验开发效率不高、代码重用率低下、进程缓慢、成本过高.针对远程虚拟实验设计中缺乏统一的系统模型问题,该文应用面向对象方法和UML建模语言对远程虚拟实验过程进行了多侧面和多个抽象层次的模型分析和构建,在所建模型基础之上,对远程虚拟实验进行了形式化定义,并提出了用对象Petri网对虚拟实验过程模型进行描述的方法.整个建模过程分为五个主要步骤:一、分析远程虚拟实验系统,抽象出系统的核心部分--虚拟实验过程,进一步总结出虚拟实验过程模型的构成:实验操作、过程变迁、实验对象和实验分组.二、应用UML中的类图和状态图对远程虚拟实验过程的静态结构进行建模,用静态模型描述其中的主要对象和各种对象间的关系.三、应用UML中的系列图和活动图对其动态行为进行建模.主要针对各个对象间的交互和原子实验操作控制过程两个方面进行,详细刻画其动态特征.四、为了实现开发的灵活性和重用性,便于计算机实现,同时并能进行自动性能分析和验证,以所建模型为基础,对远程虚拟实验过程进行形式化描述.五、给出用对象Petri网描述虚拟实验过程的方法.并且用对象Petri网对过程变迁、原子实验操作的控制过程和实验对象内部控制过程进行一般化建模.在第七章中,以远程虚拟实验系统用例模型为基础,设计开发了一个远程虚拟实验系统.该文最后对远程虚拟实验过程模型的建立过程进行了总结,同时对远程虚拟实验的设计和开发进行了展望.