Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning

@inproceedings{Bennaceur2013AutomatedMS,
  title={Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning},
  author={Amel Bennaceur and Chris Chilton and Malte Isberner and Bengt Jonsson},
  booktitle={SEFM},
  year={2013}
}
Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of… CONTINUE READING