Systematic hypermedia application design with OOHDM
Proceedings of the the seventh ACM conference on Hypertext
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
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
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ACM Transactions on Internet Technology (TOIT)
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
Student paper: HaskellDB improved
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Rapid prototyping of web applications combining domain specific languages and model driven design
Proceedings of the 15th international conference on World Wide Web
LINQ: reconciling object, relations and XML in the .NET framework
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Hera-S: web design using sesame
ICWE '06 Proceedings of the 6th international conference on Web engineering
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Preventing injection attacks with syntax embeddings
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
A transformational approach to produce web application prototypes from a web requirements model
International Journal of Web Engineering and Technology
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Deep typechecking and refactoring
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
UWE4JSF: A Model-Driven Generation Approach for Web Applications
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Modeling applications for the semantic web
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
The spoofax language workbench: rules for declarative specification of languages and IDEs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Engineering semantic web information systems in Hera
Journal of Web Engineering
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Declaratively programming the mobile web with Mobl
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |
Modern web application development frameworks provide web application developers with high-level abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these errors are often obscure and hard to trace back to the source of the inconsistency. A major part of this inadequate consistency checking can be traced back to the lack of linguistic integration of these frameworks. Parts of an application are defined with separate domain-specific languages, which are not checked for consistency with the rest of the application. Examples include regular expressions, query languages and XML-based languages for definition of user interfaces. We give an overview and analysis of typical problems arising in development with frameworks for web application development, with Ruby on Rails, Lift and Seam as representatives. To remedy these problems, in this paper, we argue that domain-specific languages should be designed from the ground up with static verification and cross-aspect consistency checking in mind, providing linguistic integration of domain-specific sub-languages. We show how this approach is applied in the design of WebDSL, a domain-specific language for web applications, by examining how its compiler detects inconsistencies not caught by web frameworks, providing accurate and clear error messages. Furthermore, we show how this consistency analysis can be expressed with a declarative rule-based approach using the Stratego transformation language.