Analysis of Formal Methods for Specification of E-Commerce Applications
Journal: Mehran University Research Journal of Engineering and Technology (Vol.35, No. 1)Publication Date: 2016-01-01
Authors : Sadiq Ali Khan; Huma Jamshed;
Page : 19-28
Keywords : Formal Methods; E-Commerce Applications; Specification Language; Formal Methods; z-Language; Unified Modelling Language;
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
Other Latest Articles
- A Study of SAAS Model for Security System
- Image Quality Meter Using Compression
- Secured Multi Cloud Storage Using CPDP
- Modified T&U Shape Triangular Microstrip Patch Antenna Array for Communication
- Conceptual Design of Automated Attachment for Positioning Bed of Drilling Machine With Respect To Cad Model
Last modified: 2016-01-09 21:24:19