Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Seamless integration of interactive forms into the Web
Selected papers from the sixth international conference on World Wide Web
A runtime system for interactive Web services
WWW '99 Proceedings of the eighth international conference on World Wide Web
A type system for dynamic Web documents
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Cold Fusion 3.0: Intranet Application Development Toolkit
Cold Fusion 3.0: Intranet Application Development Toolkit
Abstracting application-level web security
Proceedings of the 11th international conference on World Wide Web
ACM Transactions on Internet Technology (TOIT)
Developing Secure Web Applications
IEEE Internet Computing
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating web-based systems from specifications
Proceedings of the 2004 ACM symposium on Applied computing
Using parse tree validation to prevent SQL injection attacks
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
The essence of command injection attacks in web applications
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-oriented construction of web user interfaces
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Putting declarative programming into the web: translating curry to javascript
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Topes: reusable abstractions for validating data
Proceedings of the 30th international conference on Software engineering
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
PIAFF: un outil d'aide à la saisie d'informations personnelles pour les formulaires électroniques
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
A semantic data validation service for web applications
Journal of Theoretical and Applied Electronic Commerce Research
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Plato: a compiler for interactive web forms
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
AdapForms: a framework for creating and validating adaptive forms
ICWE'11 Proceedings of the 11th international conference on Web engineering
An approach and tool support for assisting users to fill-in web forms with personal information
Proceedings of the 29th ACM international conference on Design of communication
iData for the world wide web – programming interconnected web forms
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
A spreadsheet client for web applications
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
A framework for interactively helpful web forms
Journal of Web Engineering
Hi-index | 0.00 |
All uses of HTML forms may benefit from validation of the specified input field values. Simple validation matches individual values against specified formats, while more advanced validation may involve interdependencies of form fields. There is currently no standard for specifying or implementing such validation. Today, CGI programmers often use Perl libraries for simple server-side validation or program customized JavaScript solutions for client-side validation. We present PowerForms, which is an add-on to HTML forms that allows a purely declarative specification of input formats and sophisticated interdependencies of form fields. While our work may be seen as inspiration for a future extension of HTML, it is also available for CGI programmers today through a preprocessor that translates a PowerForms document into a combination of standard HTML and JavaScript that works on all combinations of platforms and browsers. The definitions of PowerForms formats are syntactically disjoint from the form itself, which allows a modular development where the form is perhaps automatically generated by other tools and the formats and interdependencies are added separately. PowerForms has a clean semantics defined through a fixed-point process that resolves the interdependencies between all field values. Text fields are equipped with status icons (by default traffic lights) that continuously reflect the validity of the text that has been entered so far, thus providing immediate feed-back for the user. For other GUI components the available options are dynamically filtered to present only the allowed values. PowerForms are integrated into the system for generating interactive Web services, but is also freely available in an Open Source distribution as a stand-alone package.