Abstract:
Information exchange between organizations, associates, and customers is essential for the success of any type of business. Thus, a web service (can be software, application, or cloud technology) is being used for backing communication between application-to-application and solving the interoperability problem. It offers homogeneous web protocols to interoperate, interconnect, and exchange data messaging with numerous applications with HTML, XML, WSDL, SOAP, and other open standards. In this study, we develop a framework to demonstrate how the idea of web services can be utilized for online airline reservations by utilizing the finite automata computational model. The model is a fundamental computing model that presents sufficient behaviour of the service based on its user consideration or inquiries. To express the transition flow of an online airline reservation with the given desired input, the nondeterministic finite automata (NFA) is being used. For the validation, the NFA is being converted to the Deterministic Finite Automata (DFA) to make out the anticipated patterns. The entire framework process was carried out using the Java Formal Languages and Automata Package (JFLAP) simulation tool and was tested with precise and valid simulating inputs.