基于規(guī)則的軟件體系結(jié)構(gòu)研究.pdf

1、近年來，軟件體系結(jié)構(gòu)已經(jīng)成為軟件工程領域的研究熱點以及大型軟件系統(tǒng)開發(fā)中的關鍵技術之一。隨著軟件系統(tǒng)規(guī)模越來越大、越來越復雜，整個系統(tǒng)的結(jié)構(gòu)和規(guī)格說明顯得越來越重要。人們逐漸認識到軟件體系結(jié)構(gòu)在軟件開發(fā)中的重要地位，軟件體系結(jié)構(gòu)是解決系統(tǒng)需求向最終實現(xiàn)進行平坦過渡的有效方法，軟件模式為重用成功經(jīng)驗提供了一條有效的途徑。 語義Web研究的目的就是要提供一種具有語義支持的計算平臺，以一種機器可以處理的方式來表示信息，使得人機之間、計

2、算機之間的語義交互變得暢通，自動處理得以實現(xiàn)。隨著語義Web研究的深入，規(guī)則引擎技術再一次被人們提起并將在信息系統(tǒng)中發(fā)揮它不可比擬的作用。規(guī)則引擎技術將業(yè)務邏輯當作結(jié)構(gòu)化的對象進行處理，使復雜的業(yè)務邏輯變成簡單的業(yè)務規(guī)則，將業(yè)務邏輯與系統(tǒng)實現(xiàn)分離開來，使業(yè)務改變能夠不影響系統(tǒng)的正常應用，并且能實時地將變化的業(yè)務規(guī)則應用在業(yè)務處理中。 本文針對目前軟件系統(tǒng)面向大規(guī)模和復雜業(yè)務處理的要求，研究重點在于對業(yè)務流程和邏輯進行形式化的邏輯

3、描述和邏輯處理。本文根據(jù)軟件工程領域的分層思想和人工智能領域的邏輯表示方法和處理理論，結(jié)合語義Web中邏輯層的概念，使用業(yè)務規(guī)則對業(yè)務邏輯進行形式化的描述和存儲，將業(yè)務規(guī)則的實現(xiàn)從具體的程序代碼中抽取出來，實現(xiàn)了業(yè)務流程和業(yè)務邏輯的形式化和邏輯表示。在業(yè)務邏輯形式化的基礎上，引入Mandarax規(guī)則引擎進行業(yè)務邏輯的推理處理，實現(xiàn)業(yè)務邏輯的集中處理。業(yè)務邏輯的形式化和標準化的描述，提供了業(yè)務流程配置的支持。 本文設計的基于規(guī)則的