Requirement Modeling For Intelligent Manufacturing Software Construction

Requirement engineering is a key step in designing and writing industrial software.The manual requirements modeling method is very time-consuming and error-prone.Since most of the existing requirements modeling methods need manual work or automatic modeling based on complete formal or semi-formal requirements specification text,project engineers still need to spend a lot of time and energy in advance to fully understand and edit the system requirements into standardized requirements text.Therefore,there is a need for an automated way to build accurate models in a very short time.In order to realize fast and accurate requirement modeling and be suitable for functional and non-functional requirements in the field of intelligent manufacturing,this paper designs a general requirement model description language oriented to the field of intelligent manufacturing.Because the existing UML requirement modeling language requires professionals to model manually,cannot be automatically generated by programs,and has no flexible extensibility,the proposed new requirement model description language framework is based on object-oriented structural design,and has process description,constraint description and strong extensibility.The requirement description language model framework proposed by the method and the mapping rules and algorithms mutually converted with the UML language can enable project engineers to use the original UML model in the new system,provide convenience for model expansion,and facilitate the integration of the proposed requirement description language and the UML language.In view of the diversity of requirements in the field of intelligent manufacturing,this paper designs a set of algorithms to extract and merge the requirements of text requirements and manufacturing design drawings,which can automatically transform the two forms of original requirements into the requirements model of the system.Project engineers can easily input the original demand text and drawing documents,and quickly obtain the demand model fused by the algorithm.The key to automated requirements modeling for intelligent manufacturing is how to ensure the integrity,feasibility and accuracy of models built from various forms of original requirements materials.Therefore,this paper proposes a software requirement modeling method and an automatic checking method for the completeness,feasibility and accuracy of the requirement model.According to the proposed requirement description language,the template model of the equipment is predefined,and the template model is enriched in the process of requirement fusion.The completeness of the requirement is judged by the completeness of the model filling,and the feasibility and accuracy of the model are checked by the knowledge base.In order to ensure that there is no problem in the operation of the model,a mapping and transformation method from the requirement model to the Event-B formal model is also proposed for deadlock detection and invariant conflict detection of the model.To sum up,this paper proposes and implements information extraction and integration of requirements in intelligent manufacturing field,definition and transformation rules and mapping methods of requirements model description language,model construction of integrated requirements information requirements,and verification and formal verification methods of requirements model.