Extending Java for high-level Web service construction
- 1 November 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 25 (6) , 814-875
- https://doi.org/10.1145/945885.945890
Abstract
We incorporate innovations from the project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic construction of XML documents, in particular XHTML. To support program development we provide a suite of program analyses that at compile time verify for a given program that no runtime errors can occur while building documents or receiving form input, and that all documents being shown are valid according to the document type definition for XHTML 1.0.We compare JWIG with Servlets and JSP which are widely used Web service development platforms. Our implementation and evaluation of JWIG indicate that the language extensions can simplify the program structure and that the analyses are sufficiently fast and precise to be practically useful.Keywords
This publication has 12 references indexed in Scilit:
- The projectACM Transactions on Internet Technology, 2002
- Static validation of dynamically generated HTMLPublished by Association for Computing Machinery (ACM) ,2001
- Practical virtual method call resolution for JavaPublished by Association for Computing Machinery (ACM) ,2000
- A type system for dynamic Web documentsPublished by Association for Computing Machinery (ACM) ,2000
- Declarative specification of data-intensive Web sitesPublished by Association for Computing Machinery (ACM) ,1999
- A runtime system for interactive Web servicesComputer Networks, 1999
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Program analysis via graph reachabilityInformation and Software Technology, 1998
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Monotone data flow analysis frameworksActa Informatica, 1977