Validation Of DNAFIDs Model Through Finite State Machine
Yogesh Pal, Santosh D. Kumar, Madhulika Singh, Shweta Shukla Dwivedi · CyberLeninK (CyberLeninka) · 2021
The assurance of quality and reliability of process models and workflows is essential for model driven software development. There are numerous ways to achieve these objectives. One is model checking through which it can be verified that a model satisfies specific logical rules. The model to be checked is usually given as finite state machine. Rules have to be specified at the level required by the model checker. In this work, we develop a model for validating the DNA profiling through finite state.. This enables the research/business process professionals to use model checking techniques and to produce higher quality research/business models for subsequent software development. The approach is demonstrated by validating event-driven process chains.