近年来,软件体系结构已经成为软件工程领域的研究热点以及大型软件系统开发中的关键技术之一。随着软件系统规模越来越大、越来越复杂,整个系统的结构和规格说明显得越来越重要。人们逐渐认识到软件体系结构在软件开发中的重要地位,软件体系结构是解决系统需求向最终实现进行平坦过渡的有效方法,软件模式为重用成功经验提供了一条有效的途径。语义Web研究的目的就是要提供一种具有语义支持的计算平台,以一种机器可以处理的方式来表示信息,使得人机之间、计算机之间的语义交互变得畅通,自动处理得以实现。随着语义Web研究的深入,规则引擎技术再一次被人们提起并将在信息系统中发挥它不可比拟的作用。规则引擎技术将业务逻辑当作结构化的对象进行处理,使复杂的业务逻辑变成简单的业务规则,将业务逻辑与系统实现分离开来,使业务改变能够不影响系统的正常应用,并且能实时地将变化的业务规则应用在业务处理中。本文针对目前软件系统面向大规模和复杂业务处理的要求,研究重点在于对业务流程和逻辑进行形式化的逻辑描述和逻辑处理。本文根据软件工程领域的分层思想和人工智能领域的逻辑表示方法和处理理论,结合语义Web中逻辑层的概念,使用业务规则对业务逻辑进行形式化的描述和存储,将业务规则的实现从具体的程序代码中抽取出来,实现了业务流程和业务逻辑的形式化和逻辑表示。在业务逻辑形式化的基础上,引入Mandarax规则引擎进行业务逻辑的推理处理,实现业务逻辑的集中处理。业务逻辑的形式化和标准化的描述,提供了业务流程配置的支持。本文设计的基于规则的软件体系结构,作为一个可复用的系统构架,整合了本文的主要研究成果,使用Prova建立了规则层,使用规则引擎实现业务逻辑的推理处理。最后本文证明了基于规则的软件系统结构的可行性和有效性,并且更有利于提高软件的可复用性和易维护性,在一定程度上完善了软件工程设计技术的理论层次。