Model checking
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Technologies for a Web Object Model
IEEE Internet Computing
Quality Attributes of Web Software Applications
IEEE Software
Web Applications Design and Maintenance Using Symbolic Model Checking
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Modeling and Designing Processes in E-Commerce Applications
IEEE Internet Computing
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Model Checking Class Specifications forWeb Applications
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Detecting Anomaly and Failure in Web Applications
IEEE MultiMedia
The application of model checking for securing e-commerce transactions
Communications of the ACM - Hacking and innovation
Web Application Security Assessment Tools
IEEE Security and Privacy
Process modeling in Web applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
YAWL: yet another workflow language
Information Systems
Model checking for design and assurance of e-business processes
Decision Support Systems
Model Checking-based Verification of Web Application
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
International Journal of Electronic Commerce
User Expectations and Rankings of Quality Factors in Different Web Site Domains
International Journal of Electronic Commerce
Specification Patterns for Formal Web Verification
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Market Reactions to Information Security Breach Announcements: An Empirical Analysis
International Journal of Electronic Commerce
Modelling methods for web application verification and testing: state of the art
Software Testing, Verification & Reliability
WAVer: A Model Checking-based Tool to Verify Web Application Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Standards and verification for fair-exchange and atomicity in e-commerce transactions
Information Sciences: an International Journal
Proceedings of the IEEE/ACM international conference on Automated software engineering
Integration of business processes in web application models
Journal of Web Engineering
Assurance Seals, On-Line Customer Satisfaction, and Repurchase Intention
International Journal of Electronic Commerce
Hi-index | 0.00 |
With the increasing popularity of e-commerce, the growth potential of business is extraordinary; however, the path toward success can also be dangerous because of problems of quality control, security breaches, and e-service failures. One of the problems is that business managers generally lack sufficient assurance that the controls over e-processes are effective and efficient and that information announced to customers is correct and reliable. Powerful metamodeling is therefore required. The objective of this research is to develop an e-process audit mechanism by applying automatic model checking to check consistency between e-process flows implemented and those originally designed; to detect errors in the structure and contents of Web applications; and to assist the internal control and assurance managers with their frequent monitoring of the internal controls of Web applications. A prototype has been developed to evaluate the feasibility of the mechanism and has been applied in a real e-commerce case. The results show that it proved useful for the internal control and assurance purposes in the case company.