A formal approach to website maintenance

被引：1
|
作者：
Duan, Lihua [1 ]
Chen, Jessica [1 ]
机构：
[1] Univ Windsor, Sch Comp Sci, Windsor, ON N9B 3P4, Canada
来源：
HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 2007年
关键词：
formal verification; labelled transition systems; tree automata; reverse engineering;
D O I：
10.1109/HASE.2007.52
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The quality of our daily life is getting more and more dependent on the quality of many important web applications running on the Internet. With the rapid evolutions of the web applications, effective maintenance techniques to guarantee the correctness of the evolutions are highly demanded. We present our initial work on exploring automated verification techniques for this purpose, via algebraic reasoning and model checking on the abstract navigational behavior of the evolving web applications expressed in labelled transition systems, against the desired properties expressed in temporal logic formulas combined with tree automata.
引用
收藏
页码：419 / 420
页数：2
相关论文
共 50 条
  • [1] A formal approach for software maintenance
    Waqar, U
    Khendek, F
    Vincent, D
    [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 608 - 617
  • [2] A Formal Approach for Preventive Maintenance Workload Balancing
    Bessam, Ammar
    [J]. PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON DEPENDABILITY AND COMPLEX SYSTEMS DEPCOS-RELCOMEX, 2014, 286 : 59 - 68
  • [3] Zen and the art of website maintenance
    [J]. Haimes, Paul (haimes@tmu.ac.jp), 1600, Association for Computing Machinery (23):
  • [4] Website categorization: A formal approach and robustness analysis in the case of e-commerce detection
    Bruni, Renato
    Bianchi, Gianpiero
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2020, 142
  • [5] Discovering concrete attacks on website authorization by formal analysis
    Bansal, Chetan
    Bhargavan, Karthikeyan
    Delignat-Lavaud, Antoine
    Maffeis, Sergio
    [J]. JOURNAL OF COMPUTER SECURITY, 2014, 22 (04) : 601 - 657
  • [6] Discovering Concrete Attacks on Website Authorization by Formal Analysis
    Bansal, Chetan
    Bhargavan, Karthikeyan
    Maffeis, Sergio
    [J]. 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 247 - 262
  • [7] Ontology and web usage mining for website maintenance
    Benali, Khaled
    [J]. INTERNATIONAL JOURNAL OF DATA MINING MODELLING AND MANAGEMENT, 2022, 14 (04) : 372 - 400
  • [8] FORMAL SIMILARITY AND MAINTENANCE REHEARSAL
    HUANG, MS
    [J]. JOURNAL OF PSYCHOLOGY, 1982, 112 (01): : 87 - 94
  • [9] A formal ontology for industrial maintenance
    Karray, Mohamed Hedi
    Chebel-Morello, Brigitte
    Zerhouni, Noureddine
    [J]. APPLIED ONTOLOGY, 2012, 7 (03) : 269 - 310
  • [10] A formal framework for predictive maintenance
    Araiza, ML
    [J]. AUTOTESTCON 2004, PROCEEDINGS: TECHNOLOGY AND TRADITION UNITE IN SAN ANTONIO, 2004, : 489 - 495
12345