|
| 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
| ASCII Text | x | ||
| Alessandro Campi, Paola Spoletini, "History Checking of XML Data Streams," 2012 23rd International Workshop on Database and Expert Systems Applications, pp. 542-546, 17th International Conference on Database and Expert Systems Applications (DEXA'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/DEXA.2006.66, author = {Alessandro Campi and Paola Spoletini}, title = {History Checking of XML Data Streams}, journal ={2012 23rd International Workshop on Database and Expert Systems Applications}, volume = {0}, year = {2006}, issn = {1529-4188}, pages = {542-546}, doi = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2006.66}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 23rd International Workshop on Database and Expert Systems Applications TI - History Checking of XML Data Streams SN - 1529-4188 SP542 EP546 A1 - Alessandro Campi, A1 - Paola Spoletini, PY - 2006 KW - null VL - 0 JA - 2012 23rd International Workshop on Database and Expert Systems Applications ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEXA.2006.66
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.