Formalization of Hostel Management System.

The automation of the processing and activities of Hostel Management System (HMS) can invariably contribute greatly to the success, profitability and customerbased approach of such an organization. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the system. This paper has attempted to give a formal description of the activities of HMS system Using Zed notations. The interaction within the system is visualized using Unified Modeling Language (UML) sequence diagrams.Keywords: HMSp; Z-Notation; UML