Sciweavers

Share
WWW
2006
ACM

A framework for XML data streams history checking and monitoring

12 years 2 months ago
A framework for XML data streams history checking and monitoring
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. Categories and Subject Descriptors D.2.2 [Design Tools and Techniques]: User interfaces; D.2.4 [Software/Program Verification]: Model checking General Terms Verification Keywords XML, semi-structured data, verification
Alessandro Campi, Paola Spoletini
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2006
Where WWW
Authors Alessandro Campi, Paola Spoletini
Comments (0)
books