Analysis of Formal Methods for Specification of E-Commerce Applications

Abstract

E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated. Significant research articles reveal that, applying formal methods addressing challenges incumbent with E-commerce based applications, contribute towards reliability and robustness obliging the system. Anticipating and designing sturdy e-process and concurrent implementation, allows application behavior extra strength against errors, frauds and hacking, minimizing program faults during application operations. Programmers find extreme difficulty guaranteeing correct processing under all circumstances, however, not impossible. Concealed flaws and errors, triggered only under unexpected and unanticipated scenarios, pilot subtle mistakes and appalling failures. Code authors utilize various formal methods for reducing these flaws. Mentioning prominent methods would include, ASM (Abstract State Machines), B-Method, z-Language, UML (Unified Modelling Language) etc. This paper primarily focuses different formal methods applied while deliberating specification and verification techniques for cost effective

Authors and Affiliations

Sadiq Ali Khan, Huma Jamshed

Keywords

Related Articles

Effect of Age and Environment on Strength of Old Baked Clay Bricks of Indus Valley Civilization

This paper presents results of experimental investigations conducted on old baked clay bricks of Indus Valley civilization of tenth century. The object of this study is to evaluate the effect of age and environmental con...

A Comprehensive Literature Review of Thermochemical Conversion of Biomass for Syngas Production and Associated Challenge

The interest in the thermochemical conversion of biomass for producer gas production since last decade has increased because of the growing attention to the application of sustainable energy resources. Application of bio...

Methane Production by Anaerobic Digestion of Spent Wash in Continuous Stirred Tank Reactor

DSW (Distillery Spent Wash) is superfluous residual liquid waste produced during the process of alcohol production. It is one of the most critical environmental issues which cause pollution. Despite strictness of standar...

An Evaluation Model for Measuring the Usability of Mobile Office Applications through User Interface Design Metrics

Usage of mobile devices and particularly smart phones has seen an enormous hike due to the advancement of mobile phone technology in recent times. People of different age groups, one way or the other, are now connected t...

Identification of Causes and Minimization of Delays in Highway Projects of Pakistan

The problem of delay in construction industry is a regular phenomenon worldwide, and construction industry of Pakistan has no exception, particularly in highways projects. Delay can be described as the extension of time...

Download PDF file
  • EP ID EP190807
  • DOI -
  • Views 143
  • Downloads 0

How To Cite

Sadiq Ali Khan, Huma Jamshed (2016). Analysis of Formal Methods for Specification of E-Commerce Applications. Mehran University Research Journal of Engineering and Technology, 35(1), 19-28. https://europub.co.uk/articles/-A-190807