Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: b services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables the application integration within and across business organizations. One of the important features of the b services is the choreography aspect which allows to capture collaborative processes involving multiple services. In this context, one of the important investigations is the choreography compatibility analysis.  mean by the choreography compatibility the capability of a set of b services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties such as timed properties. ,  investigate a model checking based approach that deals with checking the compatibility of a choreography in which the b services support asynchronous timed communications. Particularly, in this paper  are using the model checker UPPAAL.  propose a set of required abstractions that allow to use the model checker UPPAAL to deal with timed asynchronous communicating services.
['Nawal Guermouche', 'Claude Godart']
I am writing a research paper on a idea Timed Model Checking Based Approach for Web Services Analysis
[{"from": "human", "value": "I am writing a research paper on a idea Timed Model Checking Based Approach for Web Services Analysis"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: b services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables the application integration within and across business organizations. One of the important features of the b services is the choreography aspect which allows to capture collaborative processes involving multiple services. In this context, one of the important investigations is the choreography compatibility analysis.  mean by the choreography compatibility the capability of a set of b services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties such as timed properties. ,  investigate a model checking based approach that deals with checking the compatibility of a choreography in which the b services support asynchronous timed communications. Particularly, in this paper  are using the model checker UPPAAL.  propose a set of required abstractions that allow to use the model checker UPPAAL to deal with timed asynchronous communicating services."}]