專利名稱：編程支持方法及系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明與在軟件模塊分別開發(fā)時將軟件模塊加以組合和分離的編程方法有關(guān)，具體地說與獨立設(shè)計各個處理模塊從而建立一個整個系統(tǒng)的模塊結(jié)構(gòu)的編程支持方法和編程支持系統(tǒng)有關(guān)。
按照先前工藝技術(shù)的軟件開發(fā)方法，首先要確定整個軟件系統(tǒng)的模塊結(jié)構(gòu)，以該結(jié)構(gòu)為前提，根據(jù)模塊工作順序來設(shè)計各個軟件模塊的內(nèi)部處理，從而完成這些模塊的編程。
因此，如果整個系統(tǒng)軟件的模塊結(jié)構(gòu)中有一部分尚未確定，那末就不能著手對相應(yīng)的這些軟件模塊進行設(shè)計和開發(fā)。而且，在軟件模塊設(shè)計和開發(fā)期間有所變動的話，就會影響整個軟件系統(tǒng)的模塊結(jié)構(gòu)。這在某些情況下可能要求對業(yè)已開發(fā)完畢的一些軟件模塊進行一些修改。
因此，業(yè)已應(yīng)用一種按初始控制流程從上游到下游或從下游至上游的順序?qū)ο鄳?yīng)各個軟件模塊進行編程的方法。這樣，一個軟件模塊的修改(如果有的話)可能影響上游或下游的軟件模塊。按照這種方法，程序編制不能通過獨立和並行設(shè)計各相應(yīng)軟件模塊來完成。
順便說一下，這種與先前工藝技術(shù)有關(guān)的裝置已經(jīng)在例如專利JP-A-61-208540中有所說明。
按照上述的先前工藝技術(shù)，程序設(shè)計按自頂向下的方法進行。亦即首先確定整個系統(tǒng)結(jié)構(gòu)，以便以軟件結(jié)構(gòu)的前提確定模塊，從而根據(jù)控制流程依次編制程序。
所以，在分布式計算機系統(tǒng)中，各個模塊的軟件設(shè)計和開發(fā)很難獨立和並行進行，因而軟件的生產(chǎn)率難以提高。
因此，本發(fā)明的一個目的是提供一種編程方法，使各軟件模塊能獨立和並行進行設(shè)計和開發(fā)。每當(dāng)生成軟件模塊時，就更新整個軟件系統(tǒng)的模塊配置，以便為了提高軟件生產(chǎn)率而自底向上設(shè)計和開發(fā)軟件模塊，從而解決了先前工藝技術(shù)上的問題。
為了達到上述目的，在按照本發(fā)明的用通過消息數(shù)據(jù)交換而被互相組合的一組軟件模塊來構(gòu)成一個分布軟件系統(tǒng)的編程方法中，每當(dāng)產(chǎn)生確定的輸入輸出數(shù)據(jù)項的一個軟件模塊時，就要檢驗該軟件模塊與原來已形成的軟件模塊之間的消息數(shù)據(jù)以檢查消息數(shù)據(jù)的內(nèi)容的完整性，校驗一個產(chǎn)生消息數(shù)據(jù)的軟件模塊與一個應(yīng)用消息數(shù)據(jù)的軟件模塊之間的關(guān)系，以及完成軟件模塊的組合或分離操作，從而構(gòu)成一個分布軟件系統(tǒng)。該方法的特點是消息數(shù)據(jù)項的數(shù)目和構(gòu)成整個分布軟件系統(tǒng)的軟件模塊的數(shù)目能夠隨意調(diào)整。
並且，按照本發(fā)明，在組合軟件模塊時，組合前軟件模塊的輸出數(shù)據(jù)中的不傳送到處理器或處理裝置而是傳送到存貯組合后軟件模塊的處理裝置的輸出數(shù)據(jù)作為一個傳播抑制碼表寄存起來。然后，在執(zhí)行一個以組合后的軟件模塊構(gòu)成的程序時，對于這些寄存的輸出數(shù)據(jù)進行的僅是自接收處理。
再者，按照本發(fā)明，在通過組合軟件模塊構(gòu)成一個程序時，將一個組合前的軟件模塊程序的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊聚集起來形成一個程序碼的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊。
按照本發(fā)明，在核對一個消息數(shù)據(jù)的內(nèi)容時發(fā)現(xiàn)蘊含關(guān)系的情況下，相應(yīng)的數(shù)據(jù)項能相互加以組合。
這就是說，由于所組合的消息數(shù)據(jù)包括組合前的內(nèi)容，而軟件模塊的輸入/輸出數(shù)據(jù)是保證的，因此整個系統(tǒng)中消息數(shù)據(jù)數(shù)目減小而模塊數(shù)目保持不變。
此外，從蘊含關(guān)系中可以將消息數(shù)據(jù)分開。通過將被分開的一個消息數(shù)據(jù)項設(shè)置為一個特殊項，或通過將所分開的消息數(shù)據(jù)項組合起來，為軟件模塊保存輸入/輸出數(shù)據(jù)。這樣，整個系統(tǒng)中消息數(shù)據(jù)數(shù)目增加而模塊數(shù)目保持不變。
還有，從消息數(shù)據(jù)的產(chǎn)生和應(yīng)用之間的關(guān)系出發(fā)，相應(yīng)的軟件模塊可以互相組合。
也就是說，在消息數(shù)據(jù)僅由一個軟件模塊產(chǎn)生並且僅由一個軟件模塊使用的情況下，該數(shù)據(jù)的產(chǎn)生模塊和應(yīng)用模塊可以組合成一個軟件模塊。
在這種情況下，由于這個消息數(shù)據(jù)的刪除，消息數(shù)據(jù)和軟件模塊數(shù)減小。
此外，當(dāng)一個消息數(shù)據(jù)項由一組軟件模塊使用時，就能把這些模塊互相組合起來。
結(jié)果，消息數(shù)據(jù)數(shù)保持不變而軟件模塊數(shù)減小。
還有，當(dāng)希望將所組合的軟件模塊分離成各原軟件模塊時，就實現(xiàn)一個軟件模塊分離操作。
如上所述，通過將構(gòu)成該系統(tǒng)的軟件模塊和消息數(shù)據(jù)進行組合和分離，就能隨意改變整個程序的結(jié)構(gòu)情況。
參照下列說明及附圖就可明白本發(fā)明的各個目的和優(yōu)點。這些附圖有


圖1為本發(fā)明第一個具體實現(xiàn)中模塊結(jié)構(gòu)校驗程序的處理流程圖;
圖2為本發(fā)明第一個具體實現(xiàn)中程序設(shè)計支持系統(tǒng)的功能構(gòu)成圖;
圖3為用來解釋圖2的內(nèi)容碼表的結(jié)構(gòu)的說明圖;
圖4為說明圖2的模塊表的結(jié)構(gòu)的原理圖;
圖5為用來解釋圖2的數(shù)據(jù)項表的配置的說明圖;
圖6為解釋圖2的組合歷程表的配置的說明圖;
圖7為圖2的定義輸入程序的處理流程圖;
圖8為圖2的模塊結(jié)構(gòu)更新程序的處理流程圖;
圖9為本發(fā)明第二具體實現(xiàn)的程序設(shè)計支持系統(tǒng)的功能結(jié)構(gòu)圖;
圖10為解釋圖9的傳播抑制內(nèi)容碼表的結(jié)構(gòu)的說明圖;
圖11為說明在本發(fā)明第二具體實現(xiàn)中執(zhí)行程序時模塊組合操作情況的說明圖;
圖12為圖9的傳播抑制程序的處理流程圖;
圖13為說明圖9的接口的處理情況的流程圖;
圖14A和14B為解釋本發(fā)明第二個具體實現(xiàn)中程序組合操作情況的說明圖;
圖15為圖9的模塊組合程序的處理流程圖。
現(xiàn)參照附圖對本發(fā)明的一個具體實現(xiàn)進行說明。
圖2為本發(fā)明第一個具體實現(xiàn)的一個程序設(shè)計支持系統(tǒng)的功能配置圖。
圖2系統(tǒng)包括處理器或處理裝置1、內(nèi)容碼表2、模塊表3、數(shù)據(jù)項表4、組合歷程表5、定義輸入程序存貯區(qū)6、模塊結(jié)構(gòu)校驗程序存貯區(qū)7、模塊結(jié)構(gòu)更新程序存貯區(qū)8，以及處理模塊存貯區(qū)9。
處理模塊存貯區(qū)9用來存貯一個模塊處理過程程序。
說一下，處理器1連接到顯像管(CRT)，但在圖2中沒有示出。
圖3為解釋圖2中內(nèi)容碼表2的結(jié)構(gòu)的說明圖。
圖3的配置包含內(nèi)容碼21、數(shù)據(jù)項計數(shù)22、以及數(shù)據(jù)項名23。
內(nèi)容碼21指定要由用來識別數(shù)據(jù)項名23的那些軟件模塊進行通信的消息數(shù)據(jù)的內(nèi)容，其數(shù)目由數(shù)據(jù)項計數(shù)22規(guī)定。對各內(nèi)容碼21重復(fù)使用這種格式。
圖4為解釋圖2中模塊表3的結(jié)構(gòu)的說明圖。對于各個模塊都規(guī)定這種格式結(jié)構(gòu)。
圖4的結(jié)構(gòu)包括輸入內(nèi)容碼計數(shù)31、輸入內(nèi)容碼32、輸出內(nèi)容碼計數(shù)33、輸出內(nèi)容碼34、輸入數(shù)據(jù)項計數(shù)35、輸入數(shù)據(jù)項名36、輸出數(shù)據(jù)項計數(shù)37、輸出數(shù)據(jù)項名38、模塊名39、處理模塊存貯地址40、以及處理模塊長度41。
在這個具體實現(xiàn)中，一個由模塊名39所標(biāo)記的軟件模塊包括具有字節(jié)數(shù)為處理模塊長度41並且存貯在由處理模塊存貯地址40指定的地址中的一個處理模塊。
此外，對一個軟件模塊來說必需的輸入內(nèi)容碼32僅是輸入內(nèi)容碼計數(shù)31。對輸出來說，有輸出內(nèi)容碼34，其數(shù)目由輸出內(nèi)容碼計數(shù)33指定。輸入內(nèi)容碼32和輸出內(nèi)容碼34的內(nèi)容代表消息數(shù)據(jù)的數(shù)據(jù)規(guī)格。
軟件模塊處理的前提由一組分別以輸入數(shù)據(jù)項名36(數(shù)目由輸入數(shù)據(jù)項計數(shù)35規(guī)定)和輸出數(shù)據(jù)項名38(數(shù)目由輸出數(shù)據(jù)項計數(shù)37規(guī)定)表示的數(shù)據(jù)確定。
圖5為用來解釋圖2中數(shù)據(jù)項表4的結(jié)構(gòu)的說明圖。
該具體實現(xiàn)的數(shù)據(jù)項表4指明圖3內(nèi)容碼表2的各數(shù)據(jù)項名23的內(nèi)容。它包括規(guī)定數(shù)據(jù)項名23特性的數(shù)據(jù)單元長度42、陣列元數(shù)或陣列元計數(shù)43、數(shù)據(jù)碼44以及有/號標(biāo)記45。對各數(shù)據(jù)項名23都重復(fù)規(guī)定這些項。
圖6為用來解釋圖2中組合歷程表5的結(jié)構(gòu)的說明圖。
圖6的構(gòu)成包括組合前模塊名51和組合后模塊名52。
在這種具體實現(xiàn)中，組合前模塊名51和組合后模塊名52成對處置，以便保存與組合前模塊有關(guān)的模塊表3的適當(dāng)數(shù)據(jù)和通過解除組合狀態(tài)恢復(fù)組合前模塊的狀態(tài)。
圖7為在圖2定義輸入程序存貯區(qū)6中的定義輸入程序的處理流程圖。
在這種具體實現(xiàn)中，當(dāng)要定義軟件模塊的一個輸入/輸出數(shù)據(jù)時，系統(tǒng)搜索一個包括根據(jù)模塊表3的模塊單元格式所提供的輸入、輸出數(shù)據(jù)項名36、38的內(nèi)容碼21(步驟701)。
具體些說，將圖4的各輸入數(shù)據(jù)項名36作為關(guān)鍵字，對圖3的內(nèi)容碼表2進行檢索。
結(jié)果，如果沒有發(fā)現(xiàn)一項與關(guān)鍵字條件符合，則確定一個新的內(nèi)容碼21，將該內(nèi)容碼21與從屬的一個數(shù)據(jù)項名23相配，產(chǎn)生要寄存到內(nèi)容碼表2的數(shù)據(jù)(步驟702)。
此外，如果在圖5的數(shù)據(jù)項表4中遺漏數(shù)據(jù)項名23(步驟703)，則給出包括數(shù)據(jù)項名23、數(shù)據(jù)單元長度42、陣列元計數(shù)43、數(shù)據(jù)44及有/號碼45的一個系(set)，作為定義的輸入，成組寄存到數(shù)據(jù)項表4內(nèi)(步驟704)。
然后，根據(jù)與內(nèi)容碼21有關(guān)的數(shù)據(jù)項名23和輸入、輸出數(shù)據(jù)項名36、38為蘊含關(guān)系進行合理性檢驗(步驟705)。順便說一下，合理性檢驗包括確定輸入、輸出數(shù)據(jù)項名36、38是否包含在從屬于內(nèi)容碼21的數(shù)據(jù)項名23內(nèi)和確定數(shù)據(jù)單元長度42、陣列元計數(shù)43、數(shù)據(jù)碼44和有/無碼45這些屬性之間是否存在不一致。
如果合理性檢驗合格，則更新內(nèi)容碼表2、模塊表3和數(shù)據(jù)項表4(步驟706)。
圖1為圖2的模塊結(jié)構(gòu)檢驗程序7的處理流程圖。
在這種具體實現(xiàn)中，使用內(nèi)容碼表2將從屬于內(nèi)容碼21的數(shù)據(jù)項名23與內(nèi)容碼21相互進行比較，來檢驗蘊含關(guān)系(步驟101)。
例如，設(shè)一些數(shù)據(jù)項名23是一個系的元，而內(nèi)容碼21是這個系的名，如果一些系的一個并關(guān)系成立，則這些內(nèi)容碼21就有可能被組合成這些系的并的一個內(nèi)容碼。
此外，在各內(nèi)容碼21之間，如果發(fā)現(xiàn)由一些數(shù)據(jù)項名23作為元組成的一個子系的一個關(guān)系，則形成這個子系的那些內(nèi)容碼就可以被組合入這些內(nèi)容碼中任一個內(nèi)容碼中去。
這樣，如果存在一種組合可能性(步驟102)，那末這種組合可能性的情況就在CRT(未示出)上顯示(步驟103)。
其次進行分離內(nèi)容碼的檢驗(步驟104)。
這也就是，在含有一些數(shù)據(jù)項名23作為元的系之間，因而也就在內(nèi)容碼21之間成立一種系的并的關(guān)系的情況下，能夠進行分離操作，得到子系的一個并。
分離可能性的情況在CRT上顯示(步驟105、106)。
此后檢查一個模塊組合的可能性(步驟107)。
在模塊表3中，如果一個軟件模塊的各個輸出內(nèi)容碼34與另一個軟件模塊的各個輸入內(nèi)容碼34完全相同，這兩個軟件模塊就有可能互相組合。
軟件模塊組合的可能性也在CRT上顯示(步驟108、109)。
然后，系統(tǒng)對解除模塊組合規(guī)格進行檢驗(步驟110)。
順便說一下，解除模塊組合即分離軟件模塊是指將一個組合了的軟件模塊恢復(fù)為原來的模塊。
因此，當(dāng)模塊組合有可能解除時(步驟111)，組合歷程表5的內(nèi)容就在CRT上顯示(步驟112)。
圖8為在圖2的存貯區(qū)8內(nèi)模塊結(jié)構(gòu)更新程序的處理流程圖。
在這種具體實現(xiàn)中，當(dāng)要更新已建立的軟件模塊的結(jié)構(gòu)時，首先進行檢驗，確定內(nèi)容碼21是要組合還是要分離(步驟801)。
亦即，如果要處理內(nèi)容碼21，則系統(tǒng)確定要進行組合還是進行分離操作(步驟802)，以便根據(jù)這結(jié)果的情況更新內(nèi)容碼表2(步驟803、804)。
當(dāng)處理的目標(biāo)是一個軟件模塊(步驟801)，而且指定要組合操作時(步驟805)，則更新模塊表3(步驟807)，而后將組合前該軟件模塊的內(nèi)容保存入組合歷史表5內(nèi)(步驟808)。
然而，對于組合規(guī)格的分離或解除(步驟805)，就將相應(yīng)的數(shù)據(jù)從組合歷史表5轉(zhuǎn)至模塊表3;以恢復(fù)原來的模塊(步驟806)。
圖9為本發(fā)明第二種具體實現(xiàn)的程序設(shè)計支持系統(tǒng)的功能配置圖。
圖9的系統(tǒng)包括傳播抑制程序存貯區(qū)10、與其它計算機進行通信的接口11、模塊組合程序存貯區(qū)12、傳播抑制內(nèi)容碼表13、傳輸通道14、以及與圖2所示的第一種具體實現(xiàn)相同的其它一些表和程序存貯區(qū)。
在這種具體實現(xiàn)中，當(dāng)在圖1的流程圖中步驟107至109滿足軟件模塊組合條件時，執(zhí)行一個程序完成模塊組合，將模塊組合產(chǎn)生一個程序。
圖10為解釋圖9的傳播抑制內(nèi)容碼表13的結(jié)構(gòu)的說明圖。
在這種具體實現(xiàn)中，在不將由一個軟件模塊產(chǎn)生的一個內(nèi)容碼送到其它計算機以完成自接收處理的情況下，使用傳播抑制內(nèi)容碼表13，將該內(nèi)容碼作為一個傳播抑制內(nèi)容碼61存貯在那里。當(dāng)發(fā)布寄存到傳播抑制內(nèi)容碼表13的內(nèi)容碼的一個數(shù)據(jù)項時，接口11受命完成自接收處理。
圖11為用來解釋本發(fā)明第二種具體實現(xiàn)中執(zhí)行一個程序進行模塊組合操作的說明圖。
該具體實現(xiàn)含有一個組合前模塊P71，該模塊接收送來的內(nèi)容碼數(shù)據(jù)S73作為輸入，產(chǎn)生內(nèi)容碼m75和內(nèi)容碼n76。該系統(tǒng)還有一個組合前模塊Q72，該模塊接收送來的內(nèi)容碼n75和內(nèi)容碼m76的數(shù)據(jù)項作為輸入，產(chǎn)生內(nèi)容碼t74。
在這個操作過程中，當(dāng)在圖1的步驟107至109一個模塊組合條件成立時，執(zhí)行一個程序完成這個處理，使得在將內(nèi)容碼n75和內(nèi)容碼m76作為傳播抑制碼61寄存時，有一個組合后模塊PQ70產(chǎn)生。該模塊在組合操作后接收送來的內(nèi)容碼S73作為輸入，產(chǎn)生內(nèi)容碼t74。
圖12為在圖9的存貯區(qū)10內(nèi)傳播抑制程序的處理流程圖。
按照這種具體實現(xiàn)，當(dāng)在圖1的步驟107至109一個模塊組合條件成立時，傳播抑制程序10以要傳播或發(fā)送的數(shù)據(jù)的內(nèi)容碼作為一個關(guān)鍵字對傳播抑制內(nèi)容碼表13進行檢索(步驟1201)。
結(jié)果，如果在表13內(nèi)還沒有寄存過相應(yīng)的內(nèi)容碼，則接口11就受命通過傳輸通路14向其它各計算機發(fā)出該內(nèi)容碼(步驟1203)。
如果發(fā)現(xiàn)該內(nèi)容碼，就不向外部計算機發(fā)送。
圖13為接口11的處理流程圖。
在這種具體實現(xiàn)中，如果存貯區(qū)10內(nèi)的傳播抑制程序命令由接口11發(fā)出數(shù)據(jù)(步驟1301、1302)，則該數(shù)據(jù)通過傳輸途徑14發(fā)向各外部裝置(步驟1303)。
此外，如果沒有命令發(fā)送數(shù)據(jù)，則不向外部裝置進行這種數(shù)據(jù)發(fā)送。
此后，這相應(yīng)的數(shù)據(jù)作為該系統(tǒng)本身的一個自接收項進行處理(步驟(1304)。
通過上述操作，圖11的組合前模塊P71發(fā)布內(nèi)容碼m75和內(nèi)容碼n76。這二個碼不向其它計算機發(fā)送，僅由組合前模塊Q72接收。
因此，其它計算機只承認(rèn)接收內(nèi)容碼S73、產(chǎn)生內(nèi)容碼t74的組合后模塊PQ71。亦即，不承認(rèn)組合前模塊P71和Q72。
圖14為解釋在本發(fā)明第二種具體實現(xiàn)中程序組合操作的說明圖，而圖15為圖9的模塊組合程序的處理流程圖。
圖14A示出了模塊組合前，后的模塊蘊含關(guān)系。
在這種情況下，組合前模塊A82接收內(nèi)容碼P84的數(shù)據(jù)，產(chǎn)生內(nèi)容碼q85;然而，組合前模塊B83接收內(nèi)容碼P84的數(shù)據(jù)，產(chǎn)生內(nèi)容碼r86。
通過組合這二個軟件模塊，組合后模塊AB81接收內(nèi)容碼P84，產(chǎn)生內(nèi)容碼q85和內(nèi)容碼r86。
此外，圖14B示出了在一個軟件模塊組合前、后的一個程序例子，圖14A的組合前模塊A82和B83組合起來產(chǎn)生一個程序。
當(dāng)圖14A的二個軟件模塊組合起來形成一個程序時，構(gòu)成組合前模塊A的程序98的輸入模塊A92、模塊A的處理模塊93以及輸出模塊A94由模塊組合程序加以處理，以便與構(gòu)成組合前模塊B的程序99的輸入模塊95、模塊B的處理模塊96以及輸出模塊B97進行組合。
這也就是說，如圖15所示，分別進行輸入模塊的指令部分組合(步驟1501)、處理模塊組合(步驟1502)以及輸出模塊組合，從而產(chǎn)生一個構(gòu)成簡單的組合后模塊AB的程序。
按照本發(fā)明，可以為其處理而獨立設(shè)計輸入/輸出數(shù)據(jù)項是確定的各軟件模塊，從而使得整個系統(tǒng)的結(jié)構(gòu)在進行程序設(shè)計的過程中能夠更新。因此能平行生產(chǎn)這些軟件模塊，提高了軟件生產(chǎn)率。
雖然已經(jīng)對本發(fā)明的具體實現(xiàn)作了介紹，精于該技術(shù)的人們顯然可見，可以在頗大的范圍內(nèi)進行各種變更和修改而並不偏離本發(fā)明。
權(quán)利要求
1.一種用一組軟件模塊通過消息數(shù)據(jù)交換互相組合構(gòu)成一個分布軟件系統(tǒng)的程序設(shè)計支持方法，該方法包括檢驗該組軟件模塊間各消息數(shù)據(jù)內(nèi)容的完整性的步驟；及根據(jù)檢驗結(jié)果將這些軟件模塊組合或分離的步驟。
2.一種用一組軟件模塊通過消息數(shù)據(jù)交換互相組合，構(gòu)成一個分布軟件系統(tǒng)的程序設(shè)計支持方法，該方法包括檢驗該組軟件模塊間各消息數(shù)據(jù)內(nèi)容的完整性的步驟;檢驗一個產(chǎn)生消息數(shù)據(jù)的軟件模塊與一個使用消息數(shù)據(jù)的軟件模塊間的關(guān)系的步驟;根據(jù)檢驗結(jié)果將這些軟件模塊組合或分離的步驟。
3.一種按權(quán)利要求1或2的方法，該方法還包括顯示完整性檢驗結(jié)果的步驟。
4.一種按權(quán)利要求2的方法，其中所述關(guān)系檢驗步驟包括檢驗表示一個軟件模塊的一個輸出消息數(shù)據(jù)內(nèi)容的一個輸出內(nèi)容碼與表示另一個軟件模塊的一個輸入消息數(shù)據(jù)內(nèi)容的一個輸入內(nèi)容碼之間的一個關(guān)系的步驟。
5.一種按權(quán)利要求1或2的方法，該方法還包括將組合前、后的這些軟件模塊的歷史數(shù)據(jù)存貯在一個表內(nèi)的步驟。
6.一種按權(quán)利要求5的方法，其中存貯在該表內(nèi)的所述歷史數(shù)據(jù)在要將這些軟件模塊進行分離時用到。
7.一種按權(quán)利要求1或2的方法，這種方法還包括當(dāng)這些軟件模塊在一組處理器中的一個處理器內(nèi)加以組合時，從一個組合前軟件模塊的輸出數(shù)據(jù)中選出只送到所述這個處理器的輸出數(shù)據(jù)，將所選輸出數(shù)據(jù)內(nèi)容寄存到一個表內(nèi)的操作性步驟;以及執(zhí)行以一個組合后的軟件模塊構(gòu)成的一個程序，根據(jù)所寄存輸出數(shù)據(jù)完成只是自接收處理的步驟。
8.一種按權(quán)利要求1或2的方法，其中，當(dāng)組合這些軟件模塊產(chǎn)生一個程序時，將一個組合前軟件模塊的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊互相加以組合，產(chǎn)生一個程序碼的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊。
9.一種用一組軟件模塊通過消息數(shù)據(jù)交換互相連接構(gòu)成一個分布軟件系統(tǒng)的程序設(shè)計支持系統(tǒng)，該系統(tǒng)包括檢驗該組軟件模塊間的消息數(shù)據(jù)內(nèi)容的完整性的裝置;以及根據(jù)檢驗結(jié)果組合或分離這些軟件的裝置。
10.一種用一組軟件模塊通過消息數(shù)據(jù)交換互相連接構(gòu)成一個分布軟件系統(tǒng)的程序設(shè)計支持系統(tǒng)，該系統(tǒng)包括檢驗該組軟件模塊間消息數(shù)據(jù)內(nèi)容的完整性的裝置;檢驗產(chǎn)生該消息數(shù)據(jù)的一個軟件模塊與使用該消息的一個軟件模塊間的關(guān)系的裝置;根據(jù)檢驗結(jié)果組合或分離這些軟件模塊的裝置。
11.一種按權(quán)利要求9或10的系統(tǒng)，該系統(tǒng)還包括在顯示屏幕上顯示完整性檢驗結(jié)果的裝置。
12.一種按權(quán)利要求10的系統(tǒng)，其中所述關(guān)系檢驗裝置包括檢驗表示一個軟件模塊的一個輸出消息數(shù)據(jù)內(nèi)容的一個輸出內(nèi)容碼與表示另一個軟件模塊的一個輸入消息數(shù)據(jù)內(nèi)容的輸入內(nèi)容碼之間的一個關(guān)系的裝置。
13.一種按權(quán)利要求9或10的系統(tǒng)，該系統(tǒng)還包括將組合前、后的這些軟件模塊的歷史數(shù)據(jù)存貯在一個表內(nèi)的裝置。
14.一種按權(quán)利要求13的系統(tǒng)，其中所述存貯在表內(nèi)的歷史數(shù)據(jù)在要將這些軟件模塊分離時用到。
15.一種按權(quán)利要求9或10的系統(tǒng)，該系統(tǒng)還包括;當(dāng)這些軟件模塊在一組處理器中的一個處理器內(nèi)加以組合時，從一個組合前軟件模塊的輸出數(shù)據(jù)中選出只送到所述這個處理器的輸出數(shù)據(jù)、將所選出的輸出數(shù)據(jù)的內(nèi)容寄存到一個表內(nèi)的操作性裝置;以及執(zhí)行組合后軟件模塊構(gòu)成的一個程序、根據(jù)所寄存的輸出數(shù)據(jù)完成只是一個自接收處理的裝置。
16.一種按權(quán)利要求9或10的系統(tǒng)，其中，當(dāng)組合這些軟件模塊產(chǎn)生一個程序時，將一個組合前軟件模塊的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊互相加以組合，產(chǎn)生一個程序碼的一個輸入處理模塊、一個操作處理模塊和一個輸出處理模塊。
全文摘要
在用一組軟件模塊通過消息數(shù)據(jù)交換互相組合構(gòu)成一個分布軟件系統(tǒng)的程序設(shè)計支持方法中，每當(dāng)建立輸入/輸出項是確定的一個軟件模塊時，就要對該軟件模塊與以前產(chǎn)生的一些軟件模塊之間的消息數(shù)據(jù)內(nèi)容進行完整性檢驗。此處，該系統(tǒng)檢驗一個產(chǎn)生消息數(shù)據(jù)的軟件模塊與一個使用消息數(shù)據(jù)的軟件模塊之間的關(guān)系，以便對軟件模塊進行組合或分離。
文檔編號G06F9/45GK1051799SQ8910849
公開日1991年5月29日 申請日期1989年11月11日 優(yōu)先權(quán)日1988年11月11日
發(fā)明者鈴木靖雄, 森欣司, 河野克己, 織茂昌之 申請人:株式會社日立制作所