Abstract-In identifying software requirements from users, the requirements are usually in the form of natural language sentences, which may be ambiguous. Therefore, a language has been developed to model the software in different aspects help solve such problem and communicate between the users and developers, namely, Unified Modeling Language (UML). Using UML for Software designing from natural language sentences may be complicated, and the software developers may not identify the requirements consistently; therefore, software developers should give importance to verifying that the requirements in the natural language sentence format and in the model format have good properties. Therefore, this research proposes rules for verifying that requirements in the natural language sentence format and requirements in the model have good properties according to the IEEE 830 standard, namely, unambiguity, consistency and traceability, Applying the proposed rules is beneficial to ensure that the requirements identified in the model are consistent with the user requirements in the natural language sentence format, allowing the software developers to develop the software according to the user requirements. Index Terms-Software requirement properties, software model, requirements verification.

Natural language sentences are normally used in specifying user requirements. However, the structure of natural language sentences may result in ambiguity or many possible interpretations of meaning. Therefore, the UML language has been used for requirements modeling as a communication medium between the user and the developer and among developers to reduce this problem. However, designing software models using UML from natural language sentences is complicated, and in some projects there are many user requirements, which may result in a designed model that does not completely cover the user requirements. Software engineers should therefore give importance to verification of requirements in the form of natural language sentences and the model to have good characteristics. Therefore, this research presents a method for verifying requirements in natural language sentence form, the software model and the model description to have good characteristics according to the IEEE 830 standard: Unambiguity, Consistency, and Traceability, using rules created from the components of the requirements sentences and UML models, as well as developing a tool for verification, which shows the results as the defects of the requirements obtained from verification for subsequent correction.