[单选]  描述信息系统逻辑模型的主要工具是