The assurance of quality and reliability is essential for success in the e- business. However, missing validation mechanisms are a serious problem in web page development. Most web based programming languages do not support vali- dation and other security features. Furthermore, the usage of different languages increases the complexity. We present an approach to integrating different pro- gramming languages in one homogeneous language and further in a formal model, which may be transferred to the specific model used by verification tools. Our concept enables the single analysis and validation of heterogeneous web based languages as well as in combination and interaction.
['Daniel Fötsch', 'Andreas Speck', 'Wilhelm Rossak', 'Jörg Krumbiegel']
A Concept for Modelling and Validation of Web based Presentation Templates