System specifications at higher level usually take different domain specific formalizations, which is a part of multi-paradigm modeling.

• 系统高层次的描述往往是由多范型领域相关特定模型描述的,如何使不同层次的系统描述有机集成在一起是一个非常现实的问题。