[發(fā)明專利]需求結(jié)構(gòu)顯示設(shè)備及方法

無效

• 申請?zhí)枺?/td>: 201110129221.5
• 申請日: 2011-05-18
• 公開（公告）號: CN102479066A
• 公開（公告）日: 2012-05-30
• 發(fā)明（設(shè)計(jì)）人: 上野肇;島田利郎;伊東敦;山浦一郎
• 申請（專利權(quán)）人: 富士施樂株式會社
• 主分類號: G06F3/14
• 分類號: G06F3/14;G09G5/36
• 代理公司: 北京天昊聯(lián)合知識產(chǎn)權(quán)代理有限公司 11112
• 代理人: 陳源;張?zhí)焓?/td>

技術(shù)領(lǐng)域

本發(fā)明涉及需求結(jié)構(gòu)顯示設(shè)備和方法。

背景技術(shù)

安全案例(safety?case)是一種公知的描述安全關(guān)鍵領(lǐng)域中的安全需求的文檔格式。安全案例通過使用一種稱為目標(biāo)結(jié)構(gòu)標(biāo)記(Goal?Structuring?Notation)的標(biāo)記系統(tǒng)來描述安全需求之間的關(guān)系(見T.P.Kelly，R.A.Weaver，”The?Goal?Structuring?Notation-A?Safety?Argument?Notation”，Workshop?on?Assurance?Cases(in?DSN2004)，F(xiàn)lorence，Italy，2004)。

D-Case文檔是公知的用于風(fēng)險(xiǎn)承擔(dān)者(諸如系統(tǒng)提供者與系統(tǒng)用戶)之間在系統(tǒng)依存度需求上達(dá)成一致的樹結(jié)構(gòu)論證(argument)(見Yutaka?Matsuno，”D-Case：Sutekuhoruda?to?sisutemu?wo?tsunagu?dokyumento”，Bulletin?JASA，[online]，November?20，2009，Japan?Embedded?Systems?Technology?Association[2010年11月22日搜索得到]，互聯(lián)網(wǎng)地址：http://www.jasa.or.jp/top/activity/bulletin/bulletin034-03.html)(見Jin?Nakazawa，”Kakushinteki?na?dipendabiliti?no?mieruka”，[online]，November?20，2009，Japan?Science?and?Technology?Agency，[2010年11月22日搜索得到]，互聯(lián)網(wǎng)地址：http://www.crest-os.jst.go.jp/topics/file/ET2009-kouen01.pdf)。D-Case還使用目標(biāo)結(jié)構(gòu)標(biāo)記。D-Case逐步將依存度細(xì)化為子樹。D-Case的每個葉均通過末端的證據(jù)節(jié)點(diǎn)證明其依存度的實(shí)現(xiàn)方法。

JP-A-63-228218公開了一種系統(tǒng)，其鑒于顯示整個樹結(jié)構(gòu)需要寬的顯示區(qū)域的事實(shí)而在對準(zhǔn)的條件下顯示葉節(jié)點(diǎn)的文件夾結(jié)構(gòu)和圖像。

已知在JP-A-02-15374和JP-A-02-204863中公開了涉及樹結(jié)構(gòu)顯示的相關(guān)技術(shù)。

發(fā)明內(nèi)容

本發(fā)明的一個目的是使得所感興趣的部分的細(xì)化流程能夠以相比未提供本發(fā)明的結(jié)構(gòu)時更易于理解的方式得到顯示，即使需求數(shù)量巨大。

(1)根據(jù)本發(fā)明的一個方面，提供了一種需求結(jié)構(gòu)顯示設(shè)備，

包括：

圖形顯示信息生成單元，其參照存儲單元生成表示由需求數(shù)據(jù)和策略數(shù)據(jù)之間的父子關(guān)系所構(gòu)成的圖形的圖形顯示信息，所述存儲單元對其中需求數(shù)據(jù)是父而用于細(xì)化需求數(shù)據(jù)的策略數(shù)據(jù)是子的父子關(guān)系以及其中策略數(shù)據(jù)是父而根據(jù)所述策略細(xì)化需求數(shù)據(jù)所得到的至少一段需求數(shù)據(jù)是子的父子關(guān)系的有關(guān)信息進(jìn)行存儲；

第一規(guī)格(specification)接受單元，其接受由圖形顯示信息生成單元生成的圖形顯示信息所表示的圖形中的感興趣對象的需求數(shù)據(jù)或者策略數(shù)據(jù)的規(guī)格；

感興趣部分顯示信息生成單元，其生成感興趣部分顯示信息，所述感興趣部分顯示信息表示在父子關(guān)系方向上的感興趣對象以及根據(jù)存儲在存儲單元中的有關(guān)父子關(guān)系的信息所得到的感興趣對象的直接父和直接子，其中所述感興趣對象的規(guī)格已經(jīng)提供至所述第一規(guī)格接受單元；和

顯示控制單元，其根據(jù)第一規(guī)格接受單元對感興趣對象的需求數(shù)據(jù)或策略數(shù)據(jù)的規(guī)格的接受，來控制顯示單元進(jìn)行的顯示，使得顯示從基于圖形顯示信息生成單元所生成的圖形顯示信息的顯示切換至基于根據(jù)第一規(guī)格接受單元接受的感興趣對象通過感興趣部分顯示信息生成單元生成的感興趣部分顯示信息的顯示。

(2)根據(jù)(1)的需求結(jié)構(gòu)顯示設(shè)備，可以進(jìn)一步包括第二規(guī)格接受單元，其接受由感興趣部分顯示信息所表示的顯示中的感興趣對象的直接父和直接子中的新的感興趣對象的規(guī)格，

其中所述感興趣部分顯示信息生成單元生成感興趣部分顯示信息，所述感興趣部分顯示信息表示在父子關(guān)系方向上的新的感興趣對象以及所述新的感興趣對象的直接父和直接子，其中所述新的感興趣對象的規(guī)格已經(jīng)提供至所述第二規(guī)格接受單元。

(3)在根據(jù)(1)或(2)的需求結(jié)構(gòu)顯示設(shè)備中，存儲單元還存儲其中需求數(shù)據(jù)是父而到對應(yīng)于需求數(shù)據(jù)的設(shè)備或軟件的輸出的鏈接的有關(guān)信息是子的父子關(guān)系的有關(guān)信息，并且