[發明專利]基于形式領域融合的計算模型

有效

• 申請號: 200910040498.3
• 申請日: 2009-06-23
• 公開（公告）號: CN101582027A
• 公開（公告）日: 2009-11-18
• 發明（設計）人: 齊德昱;齊啟豪
• 申請（專利權）人: 齊德昱
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種計算機系統的系統開發方法，其特征在于，包括：

將系統劃分為由代表形式領域的場和代表服務化的系統構造資源的格，通過場與格的縱橫交錯的融合而成；

直接利用場融合器構造初始的場，或者將某些場融合器變異后構造場，所構造的場的形式化描述稱為場敘；

將場封裝為格，或者，將外部軟件實體封裝為格，或者將任意兩個格采用格融合器形成新的格，所構造的格的形式化描述稱為格敘。

將場敘和/或格敘加載到既定的場和/或格引擎上，使場和/或格進行工作。

2.如權利要求1所述的方法，其中，所述場是具有領域形式語義的系統成分，建立在傳統的程序設計語言之上，位于類庫之下，所述場實現橫向融合；所述格是具有用戶自定義語義的分布對象，實現縱向融合。

3.如權利要求2所述的方法，其中，所述融合器用于描述對場與格的操作，分兩大類：場融合器和格融合器，其中，基本的場融合器包括庫所、管道、傳感器、開關、服務器、處理器、I/O適配器7大類，作為待構造的系統的基本構件與擴展對象。

4.如權利要求3所述的方法，其中，所述基本的場融合器既可以實現為軟件實體，也可以實現為硬件實體，所述庫所可以“連接”管道、開關、服務器、處理器、I/O適配器的輸入或者輸出；所述傳感器可以寄生在庫所、管道、開關、服務器、處理器、I/O適配器上。

5.如權利要求4所述的方法，其中，所述庫所、管道、傳感器、開關、服務器、處理器、I/O適配器都可以進行三種變異：A)參數配置，B)面向對象的擴展，C)場自相似置換。

6.如權利要求5所述的方法，其中，所述場自相似置換可以用滿足場融合器規范的場替換對應的場融合器；所述格融合實現基于格融合器的模塊級的合成，通過框架化的模塊合成形成更大粒度的格；所述格融合器包括數據-處理融合器、數據-服務融合器、服務-處理融合器、同質融合器四大類。

7.如權利要求6所述的方法，其中，所述格是實現具體功能的服務式的軟件體，可直接作為服務式的計算機系統，或者通過給格配備相應的格客戶端形成了具有交互功能的計算機系統。

8.一種計算機系統的構造方法，包括四個步驟：格融合階段、格構造階段、?場融合階段和場構造階段，其中，

場構造與融合步驟包括：采用場融合器的三種變異對場融合器進行變異，然后按需求形成合適的連接，形成初始場；所述三種變異包括參數配置、面向對象擴展、場自相似置換，所述場自相似置換是指用滿足融合器的基本特性的場替換該融合器；

格構造與格融合步驟包括：直接將外部軟件實體或者場按規范封裝為格，或者通過格融合器對已定義的格進行操作，形成新的格。?