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


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