Statická analýza XSLT programů

• Thesis title in Czech: Statická analýza XSLT programů
• Thesis title in English: Static analysis of XSLT programs
• Academic year of topic announcement: 2005/2006
• Thesis type: diploma thesis
• Thesis language: čeština
• Department: Department of Software Engineering (32-KSI)
• Supervisor: RNDr. David Bednárek, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 01.02.2006
• Date of assignment: 01.02.2006
• Date and time of defence: 11.09.2006 00:00
• Date of electronic submission: 11.09.2006
• Date of submission of printed version: 11.09.2006
• Date of proceeded defence: 11.09.2006
• Opponents: RNDr. Kamil Toman

References

- W3C recommendation. XSL Transformations (XSLT) version 1.0
- World Wide Web Consortium. XML Path Language(XPath) Recommendation
- Ce Dong, James Bailey. Static Analysis of XSLT Programs, ACM Proceedings of the fifteenth conference on Australasian database, January 2004
- Akihiko Tozawa. Transformations and Experiences: Towards static type checking for XSLT, Proceedings of the 2001 ACM Symposium on Document engineering

Preliminary scope of work

Cílem práce je navrhnout a implementovat algoritmy, jimiž je možno testovat některé významné vlastnosti daného XSLT programu, a to se znalostí X-Schematu vstupních dokumentů. Mezi takové vlastnosti patří např. dosažitelnost šablon a jejich větví nebo splnitelnost X-Path výrazů v elementech XSLT. Součástí práce je určení podmnožiny jazyka XSLT, na které jsou tyto algoritmy funkční.