An Approach of XML Query Evaluation Based Model Checking
| Autor: | Li Ya, Li Yan-Mei, Huang Shaobin, Xu Li |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Computation tree logic Theoretical computer science General Computer Science computer.internet_protocol Computer science Programming language 0102 computer and information sciences 02 engineering and technology computer.software_genre 01 natural sciences Specification pattern Set (abstract data type) 010201 computation theory & mathematics Formal specification 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Temporal logic computer XML XPath |
| Zdroj: | Cybernetics and Information Technologies. 16:45-54 |
| ISSN: | 1314-4081 |
| Popis: | In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating queries expressed in (a subset of) XPath. Our research consists of query algebra, constraint understanding and expression mapping. The core of research is mapping the XMLquery algebra to an expression collection of temporal logic. We tryanew kind of query execution strategy to enhance the accuracy of semantic description of the XMLquery. For the purpose of supporting the generation of the formal specifications and reducing the mapping processing, the XMLquery constraint can be converted toaspecification of SPS (Specification Pattern System) through which we get the formula set to evaluate path queries directly on CTLformula. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|