A runtime monitoring and validation framework for Web service interactions

2006 ◽  
Author(s):  
Z. Li ◽  
Y. Jin ◽  
J. Han
Keyword(s):  
Web Service ◽  
Runtime Monitoring ◽  
Validation Framework ◽  
Service Interactions

Developing Process Mediator for Web Service Interactions

2008 ◽  
Author(s):  
Zhangbing Zhou ◽  
Sami Bhiri ◽  
Walid Gaaloul ◽  
Lei Shu ◽  
Laurentiu Vasiliu ◽  
...  
Keyword(s):  
Web Service ◽  
Service Interactions

scholarly journals Runtime monitoring of web service conversations

2007 ◽  
Author(s):  
Yuan Gan ◽  
Marsha Chechik ◽  
Shiva Nejati ◽  
Jon Bennett ◽  
Bill O'Farrell ◽  
...  
Keyword(s):  
Web Service ◽  
Runtime Monitoring

XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts

2010 ◽  
pp. 406-424 ◽  
Author(s):  
Sylvain Hallé ◽  
Roger Villemaire
Keyword(s):  
Query Processing ◽  
Web Service ◽  
Temporal Logic ◽  
Query Language ◽  
Runtime Monitoring ◽  
Query Evaluation ◽  
Processing Technologies ◽  
Service Production ◽  
Production Environments ◽  
Service Interface

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.

Sign in / Sign up

Export Citation Format

Share Document