技術(shù)特征：
1.一種方法，所述方法用于使用具有至少一個非正式需求的注釋的需求文檔來產(chǎn)生正式軟件需求，所述方法包括：在計算機(jī)處理器處從所述注釋的需求文檔的注釋中提取語法，所述注釋與所述注釋的需求文檔的至少一個非正式需求相關(guān)聯(lián)，并且每條所述注釋都包括與所述至少一個非正式需求相關(guān)聯(lián)的語法；以及產(chǎn)生作為所述語法的函數(shù)的工件。2.根據(jù)權(quán)利要求1所述的方法，其中，所述工件選自特定工件的組，所述特定工件的組包括上下文圖和模式圖。3.根據(jù)權(quán)利要求1所述的方法，其中，所述語法包括代理以及使所述代理相關(guān)聯(lián)的信息。4.根據(jù)權(quán)利要求1所述的方法，其中，所述語法包括模式以及使所述模式相關(guān)聯(lián)的信息。5.根據(jù)權(quán)利要求1所述的方法，其中，所述語法包括正式需求。6.根據(jù)權(quán)利要求1所述的方法，其中：所述工件是第一工件；以及所述方法還包括產(chǎn)生作為所述語法的函數(shù)的第二工件。7.根據(jù)權(quán)利要求6所述的方法，其中，所述第二工件包括具有正式需求的轉(zhuǎn)換系統(tǒng)限定。8.根據(jù)權(quán)利要求7所述的方法，還包括：從所述轉(zhuǎn)換系統(tǒng)限定提取所述正式需求以及產(chǎn)生正式模型。9.根據(jù)權(quán)利要求8所述的方法，還包括：產(chǎn)生作為所述正式模型的函數(shù)的錯誤報告。10.根據(jù)權(quán)利要求1所述的方法，還包括：產(chǎn)生與所述注釋的需求文檔中的所述非正式需求相關(guān)聯(lián)的所述注釋；以及將所述注釋添加到所述注釋的需求文檔中。11.一種系統(tǒng)，所述系統(tǒng)用于產(chǎn)生正式軟件需求，所述系統(tǒng)包括：處理器；從注釋的需求文檔中的注釋來提取語法的模塊，所述注釋與所述注釋的需求文檔的至少一個非正式需求相關(guān)聯(lián)，并且每條所述注釋都包括與所述至少一個非正式需求相關(guān)聯(lián)的語法；以及產(chǎn)生作為所述語法的函數(shù)的工件的模塊；其中，所述處理器控制所述從注釋的需求文檔中的注釋來提取語法的模塊和所述產(chǎn)生作為所述語法的函數(shù)的工件的模塊的動作。12.根據(jù)權(quán)利要求11所述的系統(tǒng)，其中，所述工件選自特定工件的組，所述特定工件的組包括上下文圖和模式圖。13.根據(jù)權(quán)利要求11所述的系統(tǒng)，其中，所述語法包括代理以及使所述代理相關(guān)聯(lián)的信息。14.根據(jù)權(quán)利要求11所述的系統(tǒng)，其中，所述語法包括模式以及使所述模式相關(guān)聯(lián)的信息。15.根據(jù)權(quán)利要求11所述的系統(tǒng)，其中，所述語法包括正式需求。16.根據(jù)權(quán)利要求11所述的系統(tǒng)，其中：所述工件是第一工件；以及所述系統(tǒng)還包括第二工件應(yīng)用，所述第二工件應(yīng)用在由所述處理器執(zhí)行時使得所述處理器產(chǎn)生作為所述語法的函數(shù)的第二工件。17.根據(jù)權(quán)利要求16所述的系統(tǒng)，其中，所述第二工件包括具有正式需求的轉(zhuǎn)換系統(tǒng)限定。18.根據(jù)權(quán)利要求17所述的系統(tǒng)，還包括：正式模型應(yīng)用，所述正式模型應(yīng)用在由所述處理器執(zhí)行時使得所述處理器從所述轉(zhuǎn)換系統(tǒng)限定提取所述正式需求并且產(chǎn)生正式模型；以及模型核查應(yīng)用，所述模型核查應(yīng)用在由所述處理器執(zhí)行時使得所述處理器產(chǎn)生作為所述正式模型的函數(shù)的錯誤報告。19.根據(jù)權(quán)利要求11所述的系統(tǒng)，還包括需求文檔應(yīng)用，所述需求文檔應(yīng)用構(gòu)造成當(dāng)由處理器執(zhí)行時使得所述處理器執(zhí)行包括如下的動作：產(chǎn)生與所述注釋的需求文檔中的所述非正式需求相關(guān)聯(lián)的所述注釋；以及將所述注釋添加到所述注釋的需求文檔中。20.一種方法，所述方法用于使用具有至少一個非正式需求的注釋的需求文檔來產(chǎn)生正式軟件需求，所述方法包括：在計算機(jī)處理器處從所述注釋的需求文檔的注釋中提取語法，所述注釋與所述注釋的需求文檔的至少一個非正式需求相關(guān)聯(lián)，并且每條所述注釋都包括與所述至少一個非正式需求相關(guān)聯(lián)的語法；以及產(chǎn)生作為所述語法的函數(shù)的工件，所述工件選自這樣的組，所述組包括上下文圖、模式圖和系統(tǒng)轉(zhuǎn)換限定。