逻辑模型包括哪些