edge-node graph 中文意思是什麼

edge-node graph 解釋
邊界結點圖
  • edge : n 1 刀口，（刀）刃；鋒；端；銳利。2 邊，棱，邊緣，邊界，界線，界限。3 優勢，優越條件。4 （聲調、...
  • node : n 1 節；結；瘤；【蟲類】結脈。2 【植物；植物學】莖節；【醫學】硬結腫；結，節結；【天文學】交點。3...
  • graph : n. 1. 【數學】曲線圖；坐標圖，圖表。2. 統計曲線。vt. 用圖表表示，把…繪入圖表。n. 膠版。vt. 用膠版印刷。n. 【語言學】1. 詞的拼法。2. 表示音素的最小字母單位。
  1. To ensure the well - formed of wscg model, we have developed an algorithm to check the type - safety of wscg model, in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node, and to determine whether the import messages of a node is self - contained. we also develop another algorithm, which is based on wscg dependence graph that simulates the wscg dynamic behaviors, to eliminate the deadlock of wscg model

    在wscg模型的基礎上，針對目前web服務復合模型缺乏良構性驗證的問題，在wscg模型的靜態特性驗證方面，我們定義了wscg模型的類型安全性，並給出了相應的wscg模型全局類型安全性的驗證演算法，解決了驗證wscg模型中輸入輸出消息集合的類型是否匹配以及輸入消息是否是完備的問題；在wscg模型的動態特性方面，我們主要分析了wscg模型的可達性、活鎖和死鎖問題。
分享友人
分享到 Line

分享到臉書