This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th International Conference on Database and Expert Systems Applications (DEXA'06)
History Checking of XML Data Streams
Krakow, Poland
September 04-September 08
ISBN: 0-7695-2641-1
Alessandro Campi, Politecnico di Milano, Italy
Paola Spoletini, Politecnico di Milano, Italy
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully exploit its potential XML data streams management systems have to be fully equipped with data verification and analysis capabilities.

In this paper, we propose a solution to this need through a framework for the history checking and model checking of the data. The proposed method uses a linear temporal logic, called TRIO, to describe data constraints and properties. The constraints are automatically translated in Promela, the input language of the model checker SPIN, to verify the properties of sequences of XML data sets.

Citation:
Alessandro Campi, Paola Spoletini, "History Checking of XML Data Streams," dexa, pp.542-546, 17th International Conference on Database and Expert Systems Applications (DEXA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.