现代烟草农业，就是利用先进科学技术，运用科学生产方式通过加大生产要素投入，提高土地产出率、资源利用率和劳动生产率，实现规模化种植、集约化生产、专业化分工和信息化管理，达到保持烟叶生产可持续健康发展目的的烟草农业形态。　　 烟叶生产要实现由传统农业向现代烟草农业转变，就是要打牢一个基础，努力实现“四个化”，即全面推进烟田基础设施建设，实现规模化种植、集约化经营、专业化分工、信息化管理。论文针对现代烟草农业信息化建设要求，深入研究烟草农业生产信息集成与地理信息形式化描述方法，重点在以下方面展开研究：　　 建立现代烟草农业信息集成统一框架。通盘部署异构、多源信息，融合烟草农业人、财、物、产、供、销等多方面生产要素，在统一平台的基础上为生产决策提供信息技术助力支持。通过对“合同种植、入户预检、编码收购、原收原调、委托加工”整个烟叶业务流程梳理，利用形式化描述工具对信息集成接口与地理信息子模块进行形式化描述，为系统正确实施提供正确流程保证。积极探索烟草数据集成、流程集成、应用集成与界面集成等集成方法。　　 论文的创新点主要体现在以下四个方面：　　 1．提出一个新的适用于现代烟草农业的信息集成框架框架涵盖烟草数据集成、流程集成、应用集成以及界面集成等方面，并在该框架中融入人的因素，诸如合作社与各种专业户服务队等因素，丰富了信息集成的内涵。烟草信息背景问题域描述为地理信息问题框架的划分提供理论依据。　　 2．对烟草业务系统与地理信息框架信息集成Alloy形式化粗粒度描述地理信息系统作为烟草企业信息化系统重要组成部分，为两烟生产与专卖专营提供助力。地理空间信息与业务系统在集成整合上包含数据集成、流程服务集成、界面集成与接口集成等内容。通过Alloy粗粒度形式化接口描述与验证，为一体化烟草提供准确无二义描述，为系统实施奠定坚实基础。　　 3．对一体化烟草中地理信息问题框架Alloy形式化细粒度描述论文把地理信息系统划分为一系列子问题，每一个子问题被描述成一个问题框架。特定问题框架包含该问题涉及的背景问题域描述、用户需求描述以及软件规格说明描述。框架是对现实地理信息世界某一角度的概括抽象。本文涉及到的地理信息问题大概可以归纳为两类：一是涉及地图生成与操作类，包括数据采集、数据转换、地图编辑、地图可视化等等；第二类大问题涉及现实问题向地理子问题转换，比如地图测量、分类、资源定位、拓扑计算、路径选择以及空间定义等。　　 Alloy对地理信息子问题描述与验证体现在三个方面：一是可以用于检查地图属性一致性问题；其次是证明某一问题需求是否满足特定软件规格说明以及地图域属性；最后是地理子框架的组合验证问题也可以得到很好的描述。　　 4．以地理信息基础设施规划子模块为案例对形式化描述规则进行验证某地区现代烟草农业基础设施规划模块需求包括：基础设施管理、模拟建设分析、重复建设分析以及经济性分析等四个GIS功能模块，涵盖SiteSelectionFrame、ProximityFrame Taxicab、TopologyFrame、RoutingFrame等主要子框架定义内容，将现代烟草农业对地理信息系统真实需求归纳到地理信息子问题框架，并涉及需求分解、问题子框架组合等一系列工程问题，对地理信息需求形式化定义具有典型示范效益。