Logic-based verification of technical documentation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Logic-based verification of technical documentation

Full text

Pdf (390 KB)

Source

Document Engineering archive
Proceedings of the 9th ACM symposium on Document engineering table of contents

Munich, Germany

DEMONSTRATION SESSION: Demo's and posters table of contents

Pages 251-252

Year of Publication: 2009

ISBN:978-1-60558-575-8

Authors

Christian Schönberg	University of Passau, Passau, Germany
Franz Weitl	University of Passau, Passau, Germany
Mirjana Jakšić	University of Passau, Passau, Germany
Burkhard Freitag	University of Passau, Passau, Germany

Sponsors

SIGDOC: ACM Special Interest Group for Design of Communications
SIGWEB: ACM Special Interest Group on Hypertext, Hypermedia, and Web
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

abstract references index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1600193.1600250 What is a DOI?

ABSTRACT

Checking the content coherence of digital documents is the purpose of the Verdikt system which can be applied to different domains and document types including technical documentation, e-learning documents, and web pages. An expressive temporal description logic allows for the specification of content consistency criteria along document paths. Whether the document conforms to the specification can then be verified by applying a model checker. In case of specification violations, the model checker provides counterexamples, locating errors in the document precisely. Based on a sample technical documentation in the form of a web document, the general verification process and its effectiveness, efficiency, and usability are demonstrated.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Resource Description Framework (RDF) Concepts and Abstract Syntax, W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-concepts/. Visited 07/2009.
	2	S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004. http://www. w3.org/TR/owl-ref/. Visited 07/2009.
	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	M. Jakšić and B. Freitag. Temporal patterns for document verification. Technical Report MIP-0805, University of Passau, 2008.
	5	M. Jakšić and B. Freitag. Evaluation der Methode zur Nutzerunterstützung. Technical Report MIP-0906, University of Passau, Germany, 2009.
	6	R. Jelliffe. The schematron assertion language 1.6. http://xml.ascc.net/resource/schematron/Schematron2000.html, 2002. Visited 07/2009.
	7	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.
	8	C. Schönberg and B. Freitag. Extracting and storing document metadata. Technical Report MIP-0907, University of Passau, 2009.
	9	C. Schönberg, M. Jakšić, F. Weitl, and B. Freitag. Verification of web-content: A case study on technical documentation. In Proc. of the 5th International Workshop on Automated Specification and Verification of Web Systems (WWV 09), Linz, Austria, 2009.
	10	F. Weitl. Document Verification with Temporal Description Logics. PhD thesis, Univ. of Passau, 2008.
	11	F. Weitl, M. Jaksic, and B. Freitag. Towards the automated verification of semi-structured documents. Journal of Data & Knowledge Engineering, 68:292--317, 2009.