Experience with a domain specific language for form-based services

Authors:
David Atkins;Thomas Ball;Michael Benedikt;Glenn Bruns;Kenneth Cox;Peter Mataga;Kenneth Rehor
Affiliations:
Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies;Software Production Research Department, Bell Laboratories, Lucent Technologies
Venue:
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Year:
1997

Citing 3
Cited 19

The C++ programming language

The C++ programming language
Tcl and the Tk toolkit

Tcl and the Tk toolkit
Flick: a flexible, optimizing IDL compiler

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Catching the boat with Strudel: experiences with a Web-site management system

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Mawl: A Domain-Specific Language for Form-Based Services

IEEE Transactions on Software Engineering
A type system for dynamic Web documents

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative specification of data-intensive Web sites

Proceedings of the 2nd conference on Domain-specific languages
Hancock: a language for processing very large-scale data

Proceedings of the 2nd conference on Domain-specific languages
The project

ACM Transactions on Internet Technology (TOIT)
PML: A Language Interface to Distributed Voice-Response Units

ICCL'98 Workshop on Internet Programming Languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Declarative specification of Web sites with S

The VLDB Journal — The International Journal on Very Large Data Bases
A typed representation for HTML and XML documents in Haskell

Journal of Functional Programming
An embedded domain-specific language for type-safe server-side web scripting

ACM Transactions on Internet Technology (TOIT)
Declarative specification of data-intensive web sites

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Hancock: a language for processing very large-scale data

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
iTasks: executable specifications of interactive work flow systems for the web

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Better abstractions for secure server-side scripting

Proceedings of the 17th international conference on World Wide Web
An Introduction to iTasks: Defining Interactive Work Flows for the Web

Central European Functional Programming School
An iTask case study: a conference management system

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
iData for the world wide web – programming interconnected web forms

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
The implementation of idata

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

A form-based service is one in which the flow of data between service and user is described by a sequence of query/response interactions, or forms. A form provides a user interface that presents service data to the user, collects information from a user and returns it to the service. Mawl is a domain-specific language for programming form-based services in a device-independent manner. We describe our experience with mawl's form abstraction, which is the means for separating application logic and user interface description, and show how this simple abstraction addresses six issues in service creation, analysis, and maintenance: compile-time guarantees, implementation flexibility, rapid prototyping, support for multiple devices, composition of services, and usage analysis.