The modeling language has its corresponding abstract syntax and semantics. But the semantics are only expressed in the form of textual description. If you want to use some standard mathematics and logic language to define its semantics, what are the alternative expressions?