Verification of web content: A case study on technical documentation

Preliminary Proceedings - Automated Specification and Verification of Web Systems, WWV 2009: 5th International Workshop

Volumn , Issue , 2009, Pages 53-67

  Schönberg, Christian ^a   Jakšić, Mirjana ^a   Weitl, Franz ^a   Freitag, Burkhard ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DOCUMENT VERIFICATION; FORMAL VERIFICATION METHODS; HYPERTEXT DOCUMENTS; TECHNICAL DOCUMENTATIONS; USER CONSTRAINTS; WEB CONTENT; WEB DOCUMENT;

HYPERTEXT SYSTEMS; MODEL CHECKING;

WEBSITES;

EID: 84888319883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. M. Alpuente, D. Ballis, and M. Falaschi. Verdi: An automated tool for web sites verification. In Proc. of JELIA 2004, volume 3299 of LNAI, pages 726-729. Springer, 2004
2. F. Baader and W. Nutt. Basic description logics. In The Description Logic Handbook-Theory, Implementation and Applications, chapter 2, pages 47-100. Cambridge University Press, 2003
3. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An opensource tool for symbolic model checking. In Proc. of CAV 02, volume 2404 of LNCS. Springer, 2002
4. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science: Formal Models and Semantics. 1990
5. U. Egly, B. Schiemann, and J. Schneeberger. Tech. documentation authoring based on semantic web methods. Kunstliche Intelligenz, 2:56-59, 2005
6. S. Flores, S. Lucas, and A. Villanueva. Formal verification of websites. Electronic Notes in Theoretical Computer Science, 200:103-118, 2008
7. R. Gaizauskas, H. Cunningham, Y. Wilks, P. Rodgers, and K. Humphreys. Gate: an environment to support research and development in natural language engineering. In Proc. of the ICTAI 1996, pages 58-66, 1996
8. M. Jaksific. Evaluation eines Ansatzes zur Muster-basierten Spezi-kation von Konsistenzkriterien fur Web-Dokumente. Technical Report MIP-0906, University of Passau, 2009
9. R. Jelli. The schematron assertion language 1. 6. http://xml. ascc. net /resource/schematron/Schematron2000. html, 2002. last visited Feb. 2009
10. M. Jaksific and B. Freitag. Temporal patterns for document verification. Technical Report MIP-0805, University of Passau, 2008
11. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT), 2, 2. 151-185, 2002
12. J. Scheficzyk. Consistent Document Engineering. Dissertation, Universitat der Bundeswehr Munchen, 2004
13. L. Scharinger. ExtraValid-Evaluation von Methoden und Werkzeugen der Informations-Extraktion zur automatischen Annotation von Dokumenten. Diplomarbeit, Universitat Passau, 2008
14. E. Di Sciascio, F. M. Donini, M. Mongiello, R. Totaro, and D. Castelluccia. Design verification of web applications using symbolic model checking. In Proc. of ICWE 2005, volume 3579 of LNCS, pages 69-74. Springer, 2005
15. C. Schonberg and B. Freitag. Evaluating RDF querying frameworks for document metadata. Technical Report MIP-0903, Univ. of Passau, 2009
16. C. Schonberg and B. Freitag. Extracting and storing document metadata. Technical report, University of Passau, 2009. to appear
17. P. D. Stotts, R. Furuta, and C. R. Cabarrus. Hyperdocuments as automata: Verification of trace-based browsing properties by model checking. Information Systems, 16(1):1-30, 1998
18. F. Weitl. Document Verification with Temporal Description Logics. PhD thesis, University of Passau, 2008
19. F. Weitl, M. Jaksific, and B. Freitag. Towards the automated verification of semi-structured documents. Journal of Data & Knowledge Engineering, 68:292-317, 2009.