【作者】 李凯；

【导师】 张钢；

【作者基本信息】 天津大学 ， 计算机软件与理论， 2007， 硕士

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

【Abstract】 In recent years, Software Architecture (SA) has become one of the hotspots of the research of Software Engineering and also one of the key techniques during the development of the large software system. The structure and specification of a whole system become more and more important; along with the scale of software system becomes bigger and more complex. The developers gradually realize the importance of the SA during the procedure of development. SA is an effective method on transition from requirement to realization, and software patterns offered an impactful approach for the reuse of successful solution.The purpose of Semantic Web’s research is to provide a kind of semantic support for computation platform, express information that computer can understand, enable semantic interaction between human and computers conveniently, and realize automation. According the lucubrating on Semantic Web, rule engine technology arouses people’s attention again and will play an incomparable role in the information system. Rule engine technology deals the business logic as structural object, transforms the complex business logic into simple rules, and divides business logic from the realization of the system. That makes little influence to the system when the logic changes. And the System can real-time apply these changes into the business transact.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. According to the delamination in SA and representation of the logic in AI area and the theories of the rules layer in Semantic Web, this paper uses business rules to store the business logic, takes logic out of the source code, and implements the representation of formalization to business flow and logic. Based on the formalization of business logic, Mandarax, a Java rule engine, is introduced for consequence of the business rules. The formalization of business logic also provides support for dynamic reconfiguration of business process.The SA as a reusable system architecture integrates the main research achievement of the paper, which builds the rule layer using Prova, implements the reasoning process of business logic. Finally, the Rule-based software system architecture is proved to be feasible and effective, more fit to improve the reusablity and maintenance of software, and more complete in the theory level of software engineering design technique to some extent.更多还原