Approach to Define SDL Static Semantics with Basic ASM
Bo Ai · Beijing Youdian Xueyuan xuebao · 2004
A formal method to define the static semantics of SDL (specification and description language) using basic ASM(abstract state machine) is presented. Main features of this method are that elements in syntax domains can be interpreted uniquely as syntax values; transformation rules can be defined as ASM rules; mapping rules can be defined as a series of mapping functions called t-functions.