[發明專利]生成表示計算機程序的語義流圖有效
| 申請號: | 201910517121.6 | 申請日: | 2019-06-14 |
| 公開(公告)號: | CN110659029B | 公開(公告)日: | 2023-03-24 |
| 發明(設計)人: | I·M·巴爾迪尼·索爾斯;A·默杰西洛維克;E·帕特森;K·R·瓦爾什尼 | 申請(專利權)人: | 國際商業機器公司 |
| 主分類號: | G06F8/41 | 分類號: | G06F8/41 |
| 代理公司: | 北京市金杜律師事務所 11256 | 代理人: | 酆迅 |
| 地址: | 美國紐*** | 國省代碼: | 暫無信息 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 生成 表示 計算機 程序 語義 | ||
本公開的實施例涉及生成表示計算機程序的語義流圖。一種計算機實現的方法包括基于程序的執行生成原始流圖。基于原始流圖并且基于與程序相關聯的主題域中的本體來生成語義流圖。語義流圖示出程序的一個或多個語義概念。
背景技術
本發明涉及計算機編程,并且更具體地涉及生成表示計算機程序的語義流圖。
在計算中,程序是計算機要執行的一組特定的有序操作。在John von Neumann于1945年概述的現代計算機中,程序包含計算機遵循的一系列指令。通常,程序被放入計算機可訪問的存儲區域。存儲區域或存儲器還可以包含指令對其進行操作的數據。計算機程序包括源代碼,源代碼通常由計算機程序員用編程語言編寫。從源代碼中,編譯器可以得到機器代碼,機器代碼由計算機可以直接執行的指令組成。
發明內容
本發明的實施例涉及一種用于生成語義流圖的計算機實現的方法。計算機實現的方法的非限制性示例包括使用處理器以基于程序的執行來生成原始流圖?;谠剂鲌D并且基于與程序相關聯的主題域中的本體生成語義流圖。語義流圖示出程序的一個或多個語義概念。
本發明的實施例涉及一種用于生成語義流圖的系統。該系統的非限制性示例包括具有計算機可讀指令的存儲器和用于執行計算機可讀指令的一個或多個處理器。計算機可讀指令使得一個或多個處理器基于程序的執行來生成原始流圖。計算機可讀指令還使得一個或多個處理器基于原始流圖并且基于與程序相關聯的主題域中的本體來生成語義流圖。語義流圖示出程序的一個或多個語義概念。
本發明的實施例涉及一種用于生成語義流圖的計算機程序產品,該計算機程序產品包括計算機可讀存儲介質,該計算機可讀存儲介質中包含有程序指令。這些程序指令由處理器可執行以使得處理器執行方法。該方法的非限制性示例包括基于程序的執行生成原始流圖。進一步根據該方法,基于原始流圖并且基于與程序相關聯的主題域中的本體來生成語義流圖。語義流圖示出程序的一個或多個語義概念。
通過本發明的技術實現了附加的技術特征和益處。本發明的實施例和各方面在本文中詳細描述,并且被認為是所要求保護的主題的一部分。為了更好地理解,參考具體實施方式和附圖。
附圖說明
本文中描述的專有權的細節在說明書結論的權利要求中特別指出并且清楚地要求保護。通過以下結合附圖的詳細描述,本發明的實施例的前述和其他特征和優點將變得很清楚,在附圖中:
圖1是根據本發明的一些實施例的用于從程序生成語義流圖的富集系統的框圖;
圖2A示出了根據本發明的一些實施例的用于表示本體中的抽象函數的組合的圖形語法;
圖2B示出了根據本發明的一些實施例的用于表示本體中的抽象函數的乘積(product)的圖形語法;
圖3A示出了第一示例程序;
圖3B示出了根據本發明的一些實施例的表示圖3A的第一示例程序的原始流圖;
圖4A示出了第二示例程序;
圖4B示出了根據本發明的一些實施例的表示圖4A的第二示例程序的原始流圖;
圖5是根據本發明的一些實施例的表示圖3A的第一示例程序和圖4A的第二示例程序兩者的示例語義流圖;
圖6是根據本發明的一些實施例的用于生成表示程序的語義流圖的方法的流程圖;以及
圖7是根據本發明的一些實施例的用于實現富集系統的一些或所有方面的計算機系統的框圖。
本文中描繪的圖是說明性的。在不脫離本發明的精神的情況下,可以對圖或其中描述的操作進行很多變化。例如,可以以不同的順序執行動作,或者可以添加、刪除或修改動作。而且,術語“耦合”及其變形描述在兩個元件之間具有通信路徑,而并不表示元件之間的直接連接而在它們之間沒有中間元件/連接。所有這些變化都被認為是本說明書的一部分。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于國際商業機器公司,未經國際商業機器公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201910517121.6/2.html,轉載請聲明來源鉆瓜專利網。





