The Architecture of SYNAPSE

The architecture of SYNAPSE is very obvious from the technical details of the underlying synthesis mechanism (see Chapters 12 and 13) synthesis is achieved by a sequence of 7 non-deterministic procedures, each implementing one of the 7 synthesis steps. The implementation is actually based on version 4 of the divide-and-conquer schema, unlike the presentation in this book, which is restricted to version 3. This means that arbitrary A2-ary predicates can be handled, rather than only binary ones. 

The synthesis mechanism does not prescribe any mandatory dialogue with the specifier. But we concluded with the recommendation that any serious implementation of that mechanism should interact with the specifier whenever it applies one of the listed heuristics. The corresponding dialogues have however not yet been fully worked out (according to the guidelines of Section 11.1), and should be the object of future research for extending the current SYNAPSE prototype. 

---