发送短信 : A data definition facility for programming languages /