Paper Info
Title
A framework for XML data streams history checking and monitoring
Abstract
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.
Year
DOI
Venue
2006
10.1145/1135777.1135976
WWW
Keywords
Field
DocType
data constraint,fundamental task,linear temporal logic,sensible data,model checker spin,xml data streams history,input language,data stream,formal verification,verification,xml,semi structured data
Functional verification,Programming language,Model checking,Intelligent verification,Computer science,Linear temporal logic,Runtime verification,Theoretical computer science,Promela,High-level verification,Formal verification
Conference
ISBN
Citations 
PageRank 
1-59593-323-9
0
0.34
References 
Authors
2
2
Name
Order
Citations
PageRank
Alessandro Campi135730.08
Paola Spoletini259044.88