van Heerdt, G;
Jacobs, B;
Kappé, T;
Silva, A;
(2018)
Learning to Coordinate.
In: de Boer, F and Bonsangue, M and Rutten, J, (eds.)
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab.
(pp. 139-159).
Springer: Cham, Switzerland.
Preview |
Text
main.pdf - Accepted Version Download (172kB) | Preview |
Abstract
Reo is a visual language of connectors that originated in component-based software engineering. It is a flexible and intuitive language, yet powerful and capable of expressing complex patterns of composition. The intricacies of the language resulted in many semantic models proposed for Reo, including several automata-based ones. In this paper, we show how to generalize a known active automata learning algorithm—Angluin’s L*—to Reo automata. We use recent categorical insights on Angluin’s original algorithm to devise this generalization, which turns out to require a change of base category.
| Type: | Book chapter |
|---|---|
| Title: | Learning to Coordinate |
| ISBN-13: | 978-3-319-90089-6 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-319-90089-6_10 |
| Publisher version: | https://doi.org/10.1007/978-3-319-90089-6_10 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10063413 |
Archive Staff Only
 |
View Item |
