Analysis of Formal Methods for Specification of E-Commerce Applications
Journal Title: Mehran University Research Journal of Engineering and Technology - Year 2016, Vol 35, Issue 1
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
- EP ID EP190807
- DOI -
- Views 127
- Downloads 0
Study of Antibacterial Effect of Cerium Oxide Nanoparticles on Escherichia Coli Microorganism
In the present work antibacterial effect of NCO (Nano-Cerium Oxide) particles on E.Coli (Escherichia Coli) Bacteria was studied. NCO (Nano Cerium Oxide) particles were synthesized via microwave induced combustion method....
A Survey of Semantic Computing: General and Islamic Domain Applications
Semantic searching has already received a substantial amount of interest as a way to search specific contents on the web. The development of ontologies has proven their worth in providing interesting solutions to knowled...
Power Flow and Transient Stability Enhancement using Thyristor Controlled Series Compensation
TL (Transmission Line) congestion is a key factor that affects the power system operational cost. In addition of renewable generation in National Grid of Pakistan, transmission line congestion are frequent. Consequently,...
Polycaprolactone-Polydiacetylene Electrospun Fibers for Colorimetric Detection of Fake Gasoline
PCDA (Pentacosadiynoic Acid) monomers were successfully embedded in PCL (Poly ?-Caprolactone) polymer matrix by electrospinning process for the first time. The resultant EFM (Electrospun Fibers Mat) was photo-polymerized...
Effect of Lowering Twist Levels on Quality Parameters of Rotor Spun Cotton Yarn
Investigations were made to explore the influence of lowering twist level on quality characteristics of rotor spun yarn. Three levels of yarn linear density (i.e. 40, 35 and 30 tex) and five levels of twist (i.e. 700, 60...