In order to study procedure-oriented modelling techniques, a Solid Model defining Language SML is developed.

• 为了研究过程模型技术,开发了实体模型语言SML。