Section: New Results

Interaction

Distributed Control

Thomas Chatain, Paul Gastin, Nathalie Sznajder have defined a new and promising framework to study distributed synthesis. The system is asynchronous and communication is with signals. They proved the decidability of distributed synthesis for strongly connected architectures and external specifications with natural closure properties. In a fascinating domain where most decidability results are negative, this is an interesting step forwards which may open the way to many more positive results for distributed synthesis.

Web Services

Serge Haddad with several other researchers has proposed an extension of the BPEL language in order to mix BPEL specifications with JAVA code in a natural way [3] .