王勇，姜懿芮，徐志颖，姜俊

（1.驻马店市农业科学院，河南驻马店 463000；2.郑州大学信息工程学院，河南郑州 450002；3.郑州大学国际学院，河南郑州 450002）

20 世纪90 年代以来，设施农业在我国发展迅速，特别是节能日光温室蔬菜种植面积一直在扩大。随着智能农业信息技术在温室蔬菜生产中的应用，设施农业现代化步伐加快[1-2]。对日光温室蔬菜生产系统进行智能化建模管理，建立统一建模语言（UML）模型，能够实现对蔬菜从种到收的全程智能化控制，为智能化农业生产开辟新的路径，推动精准设施农业的发展[3-6]。

温室系统结构复杂，主要由蔬菜数据采集系统、温室大棚视频监控系统、温室大棚远程控制系统等组成[7-8]，且在智能化建模过程中，不同的子模块中存在不一致的问题，因此探究温室蔬菜系统智能化建模存在的问题，对模型进行检测，处理模型中的一致性问题显得尤为重要，目前这方面的研究较少[10-12]，这对现代农业发展极为不利。鉴于此，本文研究了日光温室蔬菜系统的模型检测原理，利用抽象规则实现了温室蔬菜系统的检测，以期解决日光温室蔬菜系统建模中出现的各类问题，使得模型建立更加高效、便捷。

1 检测原理与方法

模型检测研究基于统一建模语言（UML），在一个项目下的不同UML 图中的相关信息应该是一致的。在模型驱动工程（MDE）中，需要检测图表以及图与图之间的一致性。对于给定的软件项目提出要求，在日光温室蔬菜系统模型中，设计出两个不同温室嵌入式系统的UML 用例图（见图1）和UML 活动图（见图2）。……