Web应用有效性的模型验证方法  

Model Checking in Web Application Validation

作　　者：王知镕 尤晋元 

出　　处：《计算机工程》2003年第z1期43-44,49,共3页Computer Engineering

基　　金：国家自然科学基金项目(69973032)

摘　　要：Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.

关 键 词：WEB应用 有效性 模型验证 SPIN PROMELA 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]