Distinguishing Automata Machine By Using UPPAAL As A Model Checker
Journal: International Journal of Scientific & Technology Research (Vol.3, No. 3)Publication Date: 2014-03-15
Authors : Yogeswaran Nagarathinam; Nor Fazlida Mohd Sani;
Page : 316-325
Keywords : Index Terms model checking; electronic payment; Finite State Automata; Non Deterministic Pushdown Automata; UPPAAL; Online Shopping system; possible traces .;
Abstract
Abstract Upon to the evolvement of technologies electronic commerce and other online businesses are exposed to vulnerability hence invoking damages and untraceable fraud to the end users. Software engineers in the moment by moment tracks the design and the analysis so that they can ensure the safety of the overall process from the root itself. Besides that we have proposed model checking to check on the behavior of a design. Thus our research has identified and differentiate the best of two methods of model checking which is Finite State Automata and Non Deterministic Pushdown automata. For the purpose of simulation UPPAAL tool has been used over a part of Online Shopping system case study.
Other Latest Articles
- Isolation Of Pigmented Marine Bacteria Exiguobacterium Sp. From Peninsular Region Of India And A Study On Biological Activity Of Purified Pigment
- Extending A Consensus Measure To The Fuzzy Sets
- Effect Of Religion Teachers Education And Working Period To Their Efforts In Developing Students Religiosity
- Analysis Of Queuing System Using Single-Line Multiple Servers System A Case Study Of Shoprite Plaza Enugu State Nigeria
- Studies On Apple Seed Germination And Survival Of Seedlings As Affected By Gibberellic Acid Under Cold Arid Conditions.
Last modified: 2015-06-28 03:53:46