Keywords DNC Three-views Formalized model Class model;

• DNC系统;三视图;形式模型;类表示模型;