The project
- 1 May 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Internet Technology
- Vol. 2 (2) , 79-114
- https://doi.org/10.1145/514183.514184
Abstract
We present the results of the project, which aims to design and implement a high-level domain-specific language for programming interactive Web services. A fundamental aspect of the development of the World Wide Web during the last decade is the gradual change from static to dynamic generation of Web pages. Generating Web pages dynamically in dialog with the client has the advantage of providing up-to-date and tailor-made information. The development of systems for constructing such dynamic Web services has emerged as a whole new research area. The language is designed by analyzing its application domain and identifying fundamental aspects of Web services inspired by problems and solutions in existing Web service development languages. The core of the design consists of a session-centered service model together with a flexible template-based mechanism for dynamic Web page construction. Using specialized program analyses, certain Web-specific properties are verified at compile time, for instance that only valid HTML 4.01 is ever shown to the clients. In addition, the design provides high-level solutions to form field validation, caching of dynamic pages, and temporal-logic based concurrency control, and it proposes syntax macros for making highly domain-specific languages. The language is implemented via widely available Web technologies, such as Apache on the server-side and JavaScript and Java Applets on the client-side. We conclude with experience and evaluation of the project.Keywords
This publication has 10 references indexed in Scilit:
- Extending Java for High-Level Web Service ConstructionBRICS Report Series, 2002
- Static validation of dynamically generated HTMLPublished by Association for Computing Machinery (ACM) ,2001
- Language-Based Caching of Dynamically Generated HTMLBRICS Report Series, 2001
- Domain-specific languagesACM SIGPLAN Notices, 2000
- PowerForms: Declarative client-side form field validationWorld Wide Web, 2000
- A runtime system for interactive Web servicesComputer Networks, 1999
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Mawl: a domain-specific language for form-based servicesIEEE Transactions on Software Engineering, 1999
- Hypertext Transfer Protocol -- HTTP/1.0Published by RFC Editor ,1996
- Programmable syntax macrosPublished by Association for Computing Machinery (ACM) ,1993