Abstract: 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.

Key words: abstract state machine, specification and descriptionlangugage, static semantics, formal method