随着网络技术的发展，Internet已逐渐成为人们生活、工作中不可缺少的一部分，成为全球经济、生活的重要组成部分。Internet用户正在急剧的膨胀，用户对网络所能提供的服务种类和服务质量有着各自不同的要求。虽然计算机技术、通信技术和各种新型软件技术的出现和逐步完善为计算机网络的发展提供了技术支撑，但是到目前为止网络的发展速度仍然很慢，各种新的技术在目前的网络中得不到充分的运用。为了解决这个问题，DARPA研究协会于1994年提出了主动网络的概念。认为主动网络是解决目前Internet问题的可行方案，是未来网络发展的方向之一。 主动网络为传统网络中存在问题的解决提出了新的途径。主动网络打破传统网络的存储—转发模式，将程序代码的运行嵌入其中，使得网络具有一定的计算能力，并且这种计算可以是基于用户或应用的，从而使网络服务的定制成为可能。建立一个类似因特网的全新的主动网络是不切实际的，本文的重点是研究如何利用现有的因特网来传输携带程序代码的主动包，使得主动包能顺利通过传统节点到达主动节点，在主动节点上得以识别并执行。 主动网络中最为重要的组成部分就是网络中传输的主动包和能对传送的主动包进行处理的主动节点。本文主要围绕主动网络中的主动包展开，研究原IP协议，提出了一种基于IP选项的主动包结构和基于此结构的主动节点软件体系结构。这种方案利用IP协议本身的一个特殊域：选项域，将IP选项域中的值设置为一个特殊值，利用这个特殊值使主动节点能识别该包中携带有程序代码和数据。为了准确描述这种结构，为进一步研究打下基础，本文用RSL(RAISE Specification Language)进行了部分形式化描述。RAISE(Rigorous Approach to Industrial Software Engineering)是在一个广谱的规约语言的基础上，提供一系列工具和转换技术，形成一种开发软件的严格方法。RSL(RAISE Specification Language)既可以用于书写非常抽象的规范，也可以用于书写易于转换到程序语言的更具体的规范。本文还将原有的IP软件进行了部分改进以便可以得到一个处理主动包的IP软件，由此软件可以过滤出主动数据包，以便在主动节点上实现对主动包中程序代码的执行。