A Concept for Modelling and Validation of Web Based Presentation Templates
Daniel Fötsch, Andreas Speck, Wilhelm R. Rossak, Jörg Krumbiegel · 2005
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 validation and other security features. Furthermore, the usage of different languages increases the complexity. We present an approach to integrating different programming 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.