Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A novel approach to the formal description of service con- tracts is presented in terms of automata.  focus on the basic property of guaranteeing that in the multi-party composition of principals each indi- vidual gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously,  construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the individuals responsible for possible violations. To do that in the asyn- chronous case  resort to techniques from Operational Research.
['Davide Basile', 'Pierpaolo Degano', 'Gian Luigi Ferrari']
I am writing a research paper on a idea Automata for Analysing Service Contracts
[{"from": "human", "value": "I am writing a research paper on a idea Automata for Analysing Service Contracts"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A novel approach to the formal description of service con- tracts is presented in terms of automata.  focus on the basic property of guaranteeing that in the multi-party composition of principals each indi- vidual gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously,  construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the individuals responsible for possible violations. To do that in the asyn- chronous case  resort to techniques from Operational Research."}]