The language with compound types of parameters includes sequential and nesting rules, and processes process mode description capability.

• 提出了具有复合类型参数、支持有序嵌套规则并同时具备过程式描述能力的解释型知识语言设计方法。