graph transformation from window to viewport 窗口到視口的直觀匹配變換
Using attributed graph transformation productions defined on wscg model, the consistency between wscg execution instance and wscg model is guaranteed with a sound formal semantic basis wscg模型的執(zhí)行語義有兩種描述方式,一種是定義在wscg元模型之上的基本的執(zhí)行語義,這是wscg模型進(jìn)行解釋執(zhí)行的基礎(chǔ)。