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 134
- Downloads 0
Antecedents of Enterprise Resource Planning and its Impact on Firm Perfromance with Supply Chain Integration as Mediating factor
In today's knowledge based globalized business world, the contemporary organizations are thriving to apply the innovative as well as modern business techniques and tools in their products and processes regularly. Besides...
Routine of Encryption in Cognitive Radio Network
Today data transmission is very important through different channels. Need of network security comes to secure data transformation from one network to another network. As the complexity of the systems and the networks in...
Effective Image Segmentation using Composite Energy Metric in Levelset Based Curve Evolution
The linguistic corpus of Sindhi language is significant for computational linguistics process, machine learning process, language features identification and analysis, semantic and sentiment analysis, information retriev...
THD Minimization from H-Bridge Cascaded Multilevel Inverter Using Particle Swarm Optimization Technique
In this paper, PSO (Particle Swarm Optimization) based technique is proposed to derive optimized switching angles that minimizes the THD (Total Harmonic Distortion) and reduces the effect of selected low order non-triple...
Artificial Urdu Text Detection and Localization from Individual Video Frames
In current era of technology, information acquisition from images and videos become most important task due to the rapid development of data mining and machine learning.The information can be either textual, visual, or c...