NFA based formal verification of automatic payroll processing system

With the passage of time the needs of an organization grow, therefore, the operational work and responsibilities are also grown. That is why there is a need of hiring more employees. Calculating salaries of many employees requires a lot of work and chances of occurring errors also increase. Automatic Payroll Processing System (APPS) simplifies the work by reducing errors and saving the time. In this paper, we present a Non-Deterministic Finite Automata (NFA) based on formal model that is an effective approach for describing behavior of systems. Our algorithm presented in this paper depicts the processing of APPS and then it is verifies the system using formal methods which are mathematical statements providing reliable and accurate systems. VDM-SL is used for validating and verification of the system which provides a detailed level examination.

[1]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[2]  Shing-Han Li,et al.  Implement Privacy Protection Act in Human Payroll System , 2011, 2011 International Symposium on Computer Science and Society.

[3]  Lei Zhuang,et al.  Design and Implementation of Accurate Payroll Retroactive Accounting Based on SAP Payroll Architecture , 2012, 2012 International Conference on Computing, Measurement, Control and Sensor Network.

[4]  Muhammad Imran,et al.  Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL , 2015, 2015 13th International Conference on Frontiers of Information Technology (FIT).

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  Kedar S. Namjoshi,et al.  On model checking for non-deterministic infinite-state systems , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[7]  Victor C. Valgenti,et al.  NFA-Based Pattern Matching for Deep Packet Inspection , 2011, 2011 Proceedings of 20th International Conference on Computer Communications and Networks (ICCCN).

[8]  Wenying Feng,et al.  Functional Approach for the Architecture Design of a Payroll System , 2006, 2006 IEEE International Conference on Electro/Information Technology.

[9]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[10]  Hossam A. Gabbar.  Fundamentals of Formal Methods , 2006 .

[11]  Monika Arora,et al.  Application of Business Intelligence: A Case on Payroll Management , 2013, 2013 International Symposium on Computational and Business Intelligence.

[12]  A. Ali,et al.  Linking Finite Automata and Formal Methods Enhancing Modeling Power for Complex Systems , 2008, 2008 International Conference on Computer Science and Information Technology.