The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts
Abstract
Web service interface contracts define constraints on the patterns of XML messages exchanged between cooperating peers. The authors provide a translation between Linear Temporal Logic (LTL) and a subset of the XML Query Language XQuery, and show that an efficient validation of LTL formulæ can be achieved through the evaluation of XQuery expressions on message traces. Moreover, the runtime monitoring of interface constraints is possible by feeding the trace of messages to a streaming XQuery processor. This shows how advanced XML query processing technologies can be leveraged to perform trace validation and runtime monitoring in web service production environments.
Related Content
Ruizhe Ma, Azim Ahmadzadeh, Soukaina Filali Boubrahimi, Rafal A Angryk.
© 2019.
19 pages.
|
Zhen Hua Liu.
© 2019.
25 pages.
|
Lubna Irshad, Zongmin Ma, Li Yan.
© 2019.
25 pages.
|
Hao Jiang, Ahmed Bouabdallah.
© 2019.
22 pages.
|
Gbéboumé Crédo Charles Adjallah-Kondo, Zongmin Ma.
© 2019.
22 pages.
|
Safa Brahmia, Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz.
© 2019.
20 pages.
|
Zhangbing Hu, Li Yan.
© 2019.
20 pages.
|
|
|