Static consistency checking of web applications with WebDSL

Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static consistency checking of web applications with WebDSL. Journal of Symbolic Computation, 46(2):150-182, 2011. [doi]

@article{HemelGKV11,
  title = {Static consistency checking of web applications with {WebDSL}},
  author = {Zef  Hemel and Danny M.  Groenewegen and Lennart C. L. Kats and Eelco Visser},
  year = {2011},
  doi = {http://dx.doi.org/10.1016/j.jsc.2010.08.006},
  tags = {model-to-model transformation, WebDSL, rule-based, application framework, model checking, XML, XML Schema, transformation language, points-to analysis, domain analysis, analysis, language design, static analysis, model-driven development, source-to-source, rules, C++, compiler, model transformation, web applications, consistency, abstraction, design, systematic-approach, open-source, transformation, Ruby on Rails, Stratego, Ruby, query language, domain-specific language},
  researchr = {https://researchr.org/publication/HemelGKV11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {46},
  number = {2},
  pages = {150-182},
}