Sciweavers

Share
DEXAW
2006
IEEE

History Checking of XML Data Streams

11 years 5 months ago
History Checking of XML Data Streams
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.
Alessandro Campi, Paola Spoletini
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where DEXAW
Authors Alessandro Campi, Paola Spoletini
Comments (0)
books