规定出所设想的管理信息系统应该做些什么，应该具有怎样的功能，以形成新的管理信息系统的逻辑模型，这是( )。