Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
[Ahm+01]_Ahmed, K.; Ancha, S.; Cioroianu, A.; Cousins, J.; Crosbie, J.; Davies, J.; Gabhart, K.; Gould, S.; Laddad, R.; Li, S.; Macmillan, B.; Rivers-Moore, D.; Skubal, J.; Watson, K.; Williams, S.; Hart, J.: Professional Java XML. Wrox Press Ltd.: Birmingham, 2001.
Badros, G. J.: JavaML: A Markup Language for Java Source Code. http://www.cs.washington.edu/research/constraints/web/badros-javaml-www9.pdf, 2000, Download 2004-10-01.
[Bra+04]_Bray, T.; Paoli, J.; Sperberg-McQueen, C. M.; Maler, E.; Yergeau, F.: Extensible Markup Language (XML) 1.0 (Third Edition). W3C Recommendation. http://www.w3.org/TR/REC-xml, 2004, Download 2004-10-01.
Clarke, E. M.; Draghicescu, I. A.: Expressibility results for linear-time and branching-time logics. In Proceedings of the Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, School/Workshop. Lecture Notes in Computer Science, Springer: London, 1989, pp. 428–437.
[Cla+01]_Clarke, E. M.; Grumberg, O.; Peled, D. A.: Model Checking. The MIT Press: Cambrige, Massachusetts, 2001.
Clarke, E. M.; Heinle, W.: Modular translation of statecharts to SMV. Technical Report CMU-CS-00-XXX, School of Computer Science, Carnegie Mellon University, Pittsburgh, 2000.
Clarke, E. M.; Kurshan, R. P.: Computer-aided Verification. IEEE Spectrum 33(6), 1996, pp. 151–178.
[Cor+00]_Corbett, J. C.; Dwyer, M. B.; Hatcliff, J.; Laubach, S.; Pasareanu, C. S.; Robby; Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering (ICSE’00), 2000, pp. 439–448.
Emerson, E. A.; Halpern, J. Y.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. Journal of the ACM 33(1), 1986, pp. 151–178.
Fötsch, D.: Modellierung und Validierung von web-basierten Sprachen. Diploma thesis, Computer Science Department, Friedrich Schiller University of Jena and Intershop Research, Jena, 2004.
Holzman, G. J.: The Model Checker SPIN. IEEE Transaction on Software Engineering 23(5), 1997, pp. 279–295.
International Organization for Standardization (ISO). Standard Generalized Markup Language (SGML). ISO 8879:1986. http://www.iso.ch/cate/d16387.html, 1986, Download 2004-10-01.
Intershop Communications AG: Enfinity Content Management. Technical White Paper. http://www.intershop.de/pdf/products/ECM_WhitePaperT_020523.pdf, 2002, Download 2004-10-01.
Katoen, J.-P.: Concepts, Algorithms, and Tools for Model Checking. Lecture Notes of the Course “Mechanised Validation of Parallel Systems”, Course number 10359. Department of Computer Science, Friedrich Alexander University of Erlangen-Nümberg, 1999.
Laster, K.; Grumberg, O.: Modular Model Checking of Software. In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98). Lecture Notes of Computer Science, Springer: London, 1998, pp. 20–35.
McMillan, K. L.: Symbolic Model Checking: An approach to state explosion problem. PhD thesis CMU-CS-92-131, School of Computer Science, Carnegie Mellon University, 1992.
[Mül+02]_Müller, I.; Braun, P.; Rossak, W. R.: Integrating Mobile Agent Technology into an e-Marketplace Solution, the InterMarket Solution. Technical Report No. 2002-06, Computer Science Department, Friedrich Schiller University of Jena, 2002.
Pnueli, A.: The temporal Logic of Programs. In Proceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science (FOCS’77), Providence, Rhode Island. IEEE Computer Society Press: 1977, pp. 46–57.
Schwedler, N.: Prüfung dynamischer Ablaufketten. Diploma thesis, Computer Science Department, Friedrich Schiller University of Jena and Intershop Research, Jena, 2003.
[Spe+02]_Speck, A.; Pulvermüller, E.; Jerger, M.; Francyk, B.: Component Composition Validation. International Journal of Applied Mathmatics and Computer Science 12(4). University of Zielona Gora Press: 2002, pp. 581–589.
Stafford, J.; Wallnau, K.: Predicting Feature Interactions in Component-Based Systems. In Proceedings of the Workshop on Feature Interaction in Composed Systems, in Association with the 15th European Conference on Object-Oriented Programming (ECOOP’01). Technical Report No. 2001-14, University of Karlsruhe, 2001, pp. 35–41.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Physica-Verlag Heidelberg
About this paper
Cite this paper
Fötsch, D., Speck, A., Rossak, W.R., Krumbiegel, J. (2005). A Concept for Modelling and Validation of Web Based Presentation Templates. In: Ferstl, O.K., Sinz, E.J., Eckert, S., Isselhorst, T. (eds) Wirtschaftsinformatik 2005. Physica, Heidelberg. https://doi.org/10.1007/3-7908-1624-8_21
Download citation
DOI: https://doi.org/10.1007/3-7908-1624-8_21
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-1574-0
Online ISBN: 978-3-7908-1624-2
eBook Packages: Business and Economics (German Language)