Provide a formal basis for understanding the modeling language.

• 为理解建模语言提供一个正式的基础。