IDEF0模型的形式化描述与展开模型