还存在其他方法和形式，但是本文将集中于实体关系建模技术，因为此项技术与稍后将描述的技术更密切相关。
There are other approaches and forms, but this article focuses on the entity-relationship modeling technique because it is more closely related to the technologies described later.
给出DD - RCM模型的图形化和形式化描述实例，并分析DD - R CM建模方法的技术特点。
It gives the graphical and formal describing example of DD-RCM model and the characteristic of DD-RCM technology also.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
应用推荐