The GOST tool supports goal-driven abstract mediator synthesis.

The tool takes as input two eLTSs, as defined in Chapter 3 of D3.3, and a list of user goals.

Based on this input the tool produces a CONNECTor that enables the communication of the two networked systems described by the input eLTSs.

The synthesis process takes place first finding a common language for the two input eLTSs, through ontology alignment, then feeding as input to Zot, an SMT-based model checker, the eLTSs aligned on the common language and the user goals.