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