Temporal Patterns for Document Verification

16 pages•Published: July 28, 2013

Abstract

In this paper we present a novel user-friendly high-level approach to the specification of temporal properties of web documents which can be used for verification purposes. The method described is based on specification patterns supporting an incremental construction of commonly used consistency criteria. We show that our approach fills the gap between a temporal logic such as CTL as a powerful tool for specifying consistency criteria for web documents and users that maintain documents but have no or very limited knowledge about the specification formalism. An empiric assessment of the usability of specification patterns for web documents confirms that a pattern based specification shows significantly better results than the direct specification with CTL.

Keyphrases: document management, document verification, temporal specification patterns, web documents

In: Laura Kovacs and Temur Kutsia (editors). WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems, vol 18, pages 3-18.

Links:	https://easychair.org/publications/paper/kGx
	https://doi.org/10.29007/dclv

BibTeX entry

@inproceedings{WWV2010:Temporal_Patterns_Document_Verification,
  author    = {Mirjana Jaksic and Burkhard Freitag},
  title     = {Temporal Patterns for Document Verification},
  booktitle = {WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems},
  editor    = {Laura Kovacs and Temur Kutsia},
  series    = {EPiC Series in Computing},
  volume    = {18},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kGx},
  doi       = {10.29007/dclv},
  pages     = {3-18},
  year      = {2013}}

Download PDF Open PDF in browser