UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Learning to Coordinate

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. Green open access

[img]
Preview
Text
main.pdf - ["content_typename_Accepted version" not defined]

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 > Provost and Vice Provost Offices
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
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Engineering Science Faculty Office
URI: http://discovery.ucl.ac.uk/id/eprint/10063413
Downloads since deposit
3Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item