描述信息系统逻辑模型的主要工具是（ ）。