本發明公開了一種軟件系統的代數構件表示方法和裝置，將軟件系統根據功能區分成不同的模塊，每個模塊表達為一個代數構件；所述表達為：用ADL語言對代數構件進行描述，形成XML文件；以代數構件為節點，以代數構件間的運算關系為邊，獲得軟件系統的代數拓撲圖。本發明適用于面向對象和面向過程程序語言設計開發的軟件系統，且表達清晰，解決了后續開發人員理解上的困擾。

技術領域

本發明涉及一種軟件系統的代數構件表示方法和裝置。

背景技術

為了提高軟件系統的開發效率，改善軟件系統的質量，增加軟件系統的重用率，減少軟件系統開發所需的費用，人們開始逐漸采用構件化的方式來進行軟件系統的開發，基于軟件構件開發的軟件系統的靈活性和標準化程度都得到了極大的提高。

目前，對軟件構件的定義簡單來說指的是具有一定功能，并且能夠獨立工作或與其他構件組裝起來協同進行工作的程序結構體，從結構上說它指的是語義描述、實現代碼和通訊接口的復合體。

為了實現對軟件構件的抽象描述，目前，國際上相關研究機構提出了許多不同的軟件構件模型，主流的三個分別是對象管理集團(OMG)提出的通用對象請求代理結構(CORBA)、微軟提出的分布式構件對象模型(DCOM)和Sun公司提出的EJB模型。這三種模型將軟件構件的接口和實現進行有效地分離，構件之間只通過接口進行交互，從而提高了構件的復用能力。國內許多研究人員也對軟件構件模型進行了相關研究，并取得了一定的研究成果，其中被研究人員廣泛接受的是北京大學楊芙清院士等人提出的一種“青鳥構件模型”，該模型結合了國外三種模型的優點，將構件結構分為外部接口和內部結構兩大部分。

基于楊芙清院士提出的“青鳥構件模型”，湖南大學張友生等人在基于構件運算的軟件演化研究一文中提出了軟件構件的代數表示方法，文中將軟件構件分為功能件和連接件兩大部分，然而這種表示方法以類作為描述對象，并且將軟件系統的功能件和連接件分隔開了，只適用于面向對象程序語言設計開發的軟件系統，并不適用于面向過程程序設計語言開發的軟件系統。

此外，上述方案采用代數表示方式作為軟件構件的最終表達形式，表達不夠清晰，給后續的開發人員造成理解上的困擾。

發明內容

有鑒于此，本發明提供了一種軟件系統的代數構件表示方法和裝置，適用于面向對象和面向過程程序語言設計開發的軟件系統，且表達清晰，解決了后續開發人員理解上的困擾。

為了解決上述技術問題，本發明是這樣實現的。

一種軟件系統的代數構件表示方法，包括如下步驟：

將軟件系統根據功能區分成不同的模塊，每個模塊表達為一個代數構件；所述表達為：用ADL語言對代數構件進行描述，形成XML文件；

以代數構件為節點，以代數構件間的運算關系為邊，獲得軟件系統的代數拓撲圖。

優選地，所述代數構件采用六元組表示：邏輯行為集合、連接關系集合、控制器、內部數據、聚合運算、檢測器。

優選地，所述用ADL語言對模塊進行描述，形成XML文件為：

用<Module>…</Module>標簽對軟件系統所描述的模塊進行表示，然后分別用<component>…</component>標簽和<connector>…</connector>標簽對于模塊中的功能件和連接件進行劃分；