Safety Ontology Modeling And Verification On Mis Of Ship-Building&Repairing

Enterprise information system is usually called management information system(MIS).As an important information management tool,management information system has been widely used in ship enterprises,which not only improves the management efficiency of enterprises,but also saves a lot of human and material costs for enterprises.The safety of management information system is the ability to ensure that no danger occurs in the process of production management.The management information system needs to process and feed back a large number of safety data under the condition of ensuring the stable operation of software and hardware.Although the management information system can not directly damage the software and hardware,the control or decision-making errors sent or received may make the software or hardware fail through the hardware interface,or may cause dangerous judgment to the decision-maker by providing the wrong information,resulting in serious safety accidents.Ship repair and construction enterprises have the characteristics of multiple hazard sources and accidents.With the development of enterprises,the safety requirements of their management information system are constantly improving,so the safety management ability of the management information system must be effectively guaranteed.The verification of safety management ability is a necessary measure to ensure and improve the safety management ability of management information system.Safety verification can not only increase the credibility of the system,but also make an early warning of potential risks,which can effectively avoid the occurrence of major safety accidents.Based on the authoritative standards and manuals in the field of management information system safety at home and abroad,this paper applies the formal modeling and verification method based on ontology to improve the safety of management information system.Firstly,the paper selects the authoritative standards in the field of safety management by taking the ship building enterprise as the demonstration field,and uses "seven steps" to model the safety ontology of management information system,develops a graphical ontology modeling and verification tool,verifies the safety ontology model,discovers the safety problems in the management information system ontology model,and completes the model optimization,regression verification and safety verification comparison test.The formalized modeling and verification process of management information system based on Ontology security embodies the value of formalized theory and method in enterprise security management,and improves the support ability of formalized theory and method for security verification of management information system.The application of formal modeling and verification process in the management information system of ship building enterprise effectively verifies the safety of the management information system,improves the reliability of the management information system,and provides a strong guarantee for the safety production of the enterprise.