| Information technology from the Internet and big data applications has been widely used in new agriculture,which has promoted transformation of agricultural production methods.In the new type of agriculture,the solar greenhouse vegetable system uses sensor technology to collect agricultural information.Capture various environmental parameters helps producers to detect the growth environment of vegetables in time,and provide good environmental conditions for the growth and development of vegetables through the solar greenhouse.The various intelligent models constructed in the greenhouse vegetable system require reasonable management and operation.Therefore,it is of great research value and application prospect to establish UML model and model consistency checking for the greenhouse vegetable system.This paper focuses on the key issues of UML modeling and model detection for solar greenhouse vegetable systems.The specific research work is as follows:This paper first analyzes need of the greenhouse greenhouse vegetable system and studies the current status and development trend of UML modeling and model consistency checking.Then it describes UML modeling method and the type of model consistency checking and summarizes the UML commonly used modeling tools.The system module components and subsystems of each module are designed,and UML modeling is performed on the subsystem.This paper proposes a UML model consistency checking method based on abstract rules,which identifies the relationship between classes,class attributes and operations in UML class diagrams,and detects class diagrams.Various relationship issues between the classes.It Aims at the insufficiency of UML model consistency checking method and low checking range.In view of the problem of information redundancy in UML model,this paper transforms UML model into knowledge graph,proposes the redundancy checking method of UML model based on knowledge graph,and realizes the checking of UML model by using knowledge graph.The method first constructs the structure of the knowledge graph,then the UML model with the knowledge graph,transforms the UML model into the knowledge graph,and finally calculates the correlation along different classes by traversing the nodes in the knowledge graph,eliminating the redundancy in the UML model.Theoretical analysis and experimental verification show that the proposed UML model checking method based on abstract rules proposed in this paper can accurately identify the inconsistencies in UML models and has high detection efficiency.Meanwhile,the UML model consistency checking method based on knowledge graph proposed in this paper can effectively detect UML model consistency and improve the efficiency of model checking. |