功能、机能和涌现架构，结构和行为元模型，建模方法逻辑或，条件链接在OPCAT和OPCloud里面的表达缩放与展开折叠关于本体论的讨论关于对象特征，状态，sysml用例，zoom in和Unfold的讨论
