信息系统是在数据库管理系统支持下的一个交互式应用软件，而主动信息系统设计思想是：在信息系统中依照特定的业务环境定义相应的事件与规则集，当规则所需要的事件发生时，信息系统根据规则所定义的动作，主动地完成约定操作，提供满足应用领域主动需求的主动信息处理能力。 本文在研究主动数据库的基础上，引入了主动信息系统概念，将ECA规则机制应用到主动信息系统中，增添实时数据更新模块和主动信息服务模块，提出了一个基于ECA规则的主动信息服务系统架构。 通过定义触发图、活化图和惰化图的形式化方法，研究了规则终止性分析算法，通过对规则的可交换性及执行图的分析，给出了主动规则集汇流性判定定理。在此基础上，本文进而给出了在模块化设计的环境下，以最大私有路径替换触发图中的环路概念，并据此证明主动规则在模块化设计中的终止性算法的可行性，同时应用局部分析方法动态解决模块化设计中汇流性问题。 本文的研究成果扩展了信息系统的主动服务能力，有着广泛的应用前景。