| Skip to main content | Skip to navigation |

Register Now!

A framework for XML Data Streams History Checking and Monitoring

  • Alessandro Campi, Politecnico di Milano, Italy
  • Paola Spoletini, Politecnico di Milano, Italy

Full text:

Track: Posters

The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental task. The purpose of this paper is to present a framework, based on the model checker SPIN, for the verification of data streams. The proposed method uses a linear temporal logic, called TRIO, to describe data constraints and properties. Constraints are automatically translated into Promela, the input language of the model checker SPIN in order to verify them.


Campi, A. and Spoletini, P. 2006. A framework for XML data streams history checking and monitoring. In Proceedings of the 15th International Conference on World Wide Web (Edinburgh, Scotland, May 23 - 26, 2006). WWW '06. ACM Press, New York, NY, 983-984.
DOI= http://doi.acm.org/10.1145/1135777.1135976

Organised by

ECS Logo

in association with

BCS Logo ACM Logo

Platinum Sponsors

Sponsor of The CIO Dinner

Become a sponsor or exhibitor
Valid XHTML 1.0! IFIP logo WWW Conference Committee logo Web Consortium logo Valid CSS!