A type-based analysis for verifying web application

Jung Woosung; Lee Eunjoo; Kim Kapsu; Wu Chisu

A type-based analysis for verifying web application

Jung Woosung
, Lee Eunjoo
, Kim Kapsu
, Wu Chisu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Abstract

Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support.

Original language	English
Title of host publication	Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings
Pages	813-820
Number of pages	8
State	Published - 2007
Event	Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007 - Huang Shan, China Duration: 16 Jun 2007 → 18 Jun 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4505 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007
Country/Territory	China
City	Huang Shan
Period	16/06/07 → 18/06/07

Keywords

Analysis
Verification
Web application model

Cite this

Woosung, J., Eunjoo, L., Kapsu, K., & Chisu, W. (2007). A type-based analysis for verifying web application. In Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings (pp. 813-820). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4505 LNCS).

Woosung, Jung ; Eunjoo, Lee ; Kapsu, Kim et al. / A type-based analysis for verifying web application. Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings. 2007. pp. 813-820 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8eeb14762e284d23b77b05fee157304d,

title = "A type-based analysis for verifying web application",

abstract = "Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support.",

keywords = "Analysis, Verification, Web application model",

author = "Jung Woosung and Lee Eunjoo and Kim Kapsu and Wu Chisu",

year = "2007",

language = "English",

isbn = "9783540724834",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "813--820",

booktitle = "Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings",

note = "Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007 ; Conference date: 16-06-2007 Through 18-06-2007",

}

Woosung, J, Eunjoo, L, Kapsu, K & Chisu, W 2007, A type-based analysis for verifying web application. in Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4505 LNCS, pp. 813-820, Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Huang Shan, China, 16/06/07.

A type-based analysis for verifying web application. / Woosung, Jung; Eunjoo, Lee; Kapsu, Kim et al.
Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings. 2007. p. 813-820 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4505 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A type-based analysis for verifying web application

AU - Woosung, Jung

AU - Eunjoo, Lee

AU - Kapsu, Kim

AU - Chisu, Wu

PY - 2007

Y1 - 2007

N2 - Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support.

AB - Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support.

KW - Analysis

KW - Verification

KW - Web application model

UR - https://www.scopus.com/pages/publications/38049035489

M3 - Conference contribution

AN - SCOPUS:38049035489

SN - 9783540724834

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 813

EP - 820

BT - Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings

T2 - Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007

Y2 - 16 June 2007 through 18 June 2007

ER -

Woosung J, Eunjoo L, Kapsu K, Chisu W. A type-based analysis for verifying web application. In Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings. 2007. p. 813-820. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

A type-based analysis for verifying web application

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this