Formal Specification for Online Food Ordering System Using Z Language

Abstract

Natural Language Processing (NLP) directed to ambiguous representation for software requirements. Ambiguity at different levels creates different representation and meaning. This paper reduces the issues of ambiguity levels for the Software Requirements Specification (SRS) using formal methods. The end result shows the effectiveness in specifications through Z language. The Z specification is created for the commercial application of online food ordering system to improve the order details accuracy and efficiency. The stakeholder needs for food ordering system are gathered from the project goal. The system is designed using Unified Modeling Language (UML) illustration of use case diagram. The specification is created for the system behavior to remove the ambiguity. Along with this, Z/EVES tool is used for the evaluation of Z specifications for the demonstration.