Then, the issue on consistency checking for the metadata model is reduced to terminology checking and instantiation checking.
将元数据模型的检验抽象为术语检验和实例检验两大问题，并对术语检验和实例检验及其转换问题进行研究。
"Developing secure programs" covers terminology and other basics, and "Validating input discusses checking various data types."
“开发安全的程序”一文介绍了术语和其他基础，“验证输入”一文论述了对各种数据类型的验证。
应用推荐