摘要： 针对目前软件系统面向大规模和复杂业务处理的要求，研究对业务流程和逻辑进行形式化的逻辑描述和逻辑处理，引入Mandarax规则引擎进行业务逻辑的推理处理，实现业务逻辑的集中处理。作为一个可复用的系统构架设计的基于规则的软件体系结构，使用Prova建立规则层，利用规则引擎实现业务逻辑的推理处理，通过规则层应用实验的实现证明基于规则的软件系统结构的可行性和有效性，在一定程度上完善了软件工程设计技术的理论层次。

关键词: 语义Web, Prova 语言, 规则层, Mandarax规则引擎

Abstract: This paper aims at the need of large scale and complex business processes of current software system, focuses on formalizing the logical description and disposal of business flow and logic. Mandarax, a Java rule engine, is introduced for consequence of the business rules. As a reusable system architecture integrates the main research achievement which builds the rule layer using Prova, implements the reasoning process of business logic. The rule-based software system architecture is proved to be feasible and effective, more complete in the theory level of software engineering design technique at some extent.

Key words: semantic Web, Prova language, layer of rules, Mandarax rule engine

中图分类号: 

• TP311