[發明專利]基于語法制導編輯器生成器的跨界服務長尾變化應變方法

有效

• 申請號: 202110375310.1
• 申請日: 2021-04-08
• 公開（公告）號: CN113126976B
• 公開（公告）日: 2022-06-21
• 發明（設計）人: 張亮;曹紅梅;陳曦
• 申請（專利權）人: 復旦大學
• 主分類號: G06F8/33
• 分類號: G06F8/33;G06F8/41
• 代理公司: 上海正旦專利代理有限公司 31200
• 代理人: 張磊

1.基于語法制導編輯器生成器的跨界服務長尾變化應變方法，其特征在于具體步驟如下：

（1）領域專用語言抽象語法樹定義；

首先，需要對目標代碼進行分析，得出目標代碼分為功能屬性、非功能屬性以及價值交換三個方面；其中：功能屬性指的是屬性值的功能性特性；非功能屬性則是關于調用時間、可靠性、費用、可用性、響應時間QoS 指標，以及質量約束、價值約束和目標；價值交換是經過價值交換轉換后的屬性值需要滿足預設值；其次，根據目標代碼的三個方面的不同功能，采用 IFTTT規則作為構建代碼框架的基石；接著，對三個不同方面的功能對代碼架構進行細化，將變量的定義和調用、服務的定義和調用、topic 的定義和調用以及屬性值大小的比較作為填充 IFTTT 規則的元素，從而通過 IFTTT 規則完成目標代碼的三個方面的不同層次的需求；最后，根據上面的概要設計和詳細設計形成一顆完整的抽象語法樹，抽象語法樹從根節點開始向下擴展，每一層都是屬于同一個層次上的 token，從最頂上的 topic、function的定義，一直到 topic 和 function 應該使用的元字符，對整個語法結構的形容非常清晰；

（2）語法制導的編輯器生成；

首先，選用基于 Eclipse 提供的開源框架 XText 開發實現語法制導的編輯器，編輯器的實現包括抽象語法樹的使用和語法規則的描述；接著，對抽象語法樹使用Ecore 模型進行描述，將 Ecore 模型導入到 Eclipse 后，工具會跟 Ecore 中描述的 EClass、EAttribute、EReference 以及 EDataType 自動獲取對應的 Token，同時為領域專用語言的開發提供制導；其次，根據領域專家闡明所需的語法規則和使用習慣而形成語法規則的描述，開發者根據需求并依照抽象語法樹的關鍵詞限定開發領域專用語言；領域專用語言的描述是基于 XText 進行描述的，語法描述主要分為三個層次，第一是領域專用語言中使用的關鍵詞；第二是自定義變量中使用的字母、數字以及特殊字符；第三則是將關鍵字和變量進行組合使用，從而定義出所需要的語法規則；最后，對開發的編輯器進行驗證測試；

（3）合規專用語言語法規則的流程注釋；

在生成器的開發過程中，首先需要基于抽象語法樹來實現生成器，并且文法的設計也是基于抽象語法樹，所以在構建生成器的時候，可以自動忽略具體領域專用語言中的特殊字符以及關鍵詞排序方式；接著，代碼的解析經歷詞法分析、語法分析和代碼生成這三個步驟；使用Eclipse 提供的工具來完成 Token 的提取和抽象語法樹的構建，最后的代碼生成是基于抽象語法樹來完成的；在代碼生成中，需要對定義的變量進行分析，將間接引用變成直接引用；在對每一行代碼的讀取過程中，遇到變量的定義和使用就將變量對照表進行更新，從而使得對照表中儲存的變量名對應存儲的值都是最新的；

（4）合規專用語言語法規則的流程注釋；

為了能夠在案例分析中實現對抽象語法樹的使用以及使用語法制導的編輯器后情況的調查，通過抽象語法樹自定義了 Anno，首先將 IFTTT 框架結構進行設計，大致結構為IF 之后接布爾表達式，THEN 之后接要做的動作；即在某個事件中，需要增加對某個條件的判斷，就使用布爾表達式對條件進行篩選，如果滿足條件則繼續跑完整個流程，否則的話，則需要對作出某種回應；接下來，需要具體化布爾表達式和動作；布爾表達式主要包括關鍵字 TRUE、關鍵字 FALSE、AND 和 OR 表達式以及布爾表達式本身，而動作主要就包括topic 和 function 兩種應對措施，topic 為拋出某種信息并結束整個流程，而 function表示調用某種服務并結束整個流程；最后則是具體到 AND 和 OR 表達式的表達，需要使用基本的字母、數字和特殊字符來定義和表示。