Static Consistency Checking of Web Applications with WebDSL

Modern web application development frameworks provide web application developers with highlevel 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...

WebDSL: A Domain-Specific Language for Dynamic Web Applications

Preprint of paper published in: OOPSLA 2008 - ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 19-23 October 2008; doi:10.1145/1449814.1449858 WebDSL is a domain-specific language for the implementation of dynamic web applications with a rich data model. It consists of a core language with constructs...

When Frameworks Let You Down: Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages

Preprint of paper published in: DSM 2008 - Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling, Nashville, USA, 19-20 October 2008

Code Generation by Model Transformation: A Case Study in Transformation Modularity

Preprint of paper published in: Theory and Practice of Model Transformations (ICMT 2008), Lecture Notes in Computer Science 5063; doi:10.1007/978-3-540-69927-9_13 The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for...

When Frameworks Let You Down: Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages